Jelajahi Circle STARKs
Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan field yang lebih kecil. Implementasi awal STARKs menggunakan field 256-bit, melakukan operasi modulus pada angka besar, yang kompatibel dengan tanda tangan berbasis kurva elips. Namun, desain ini kurang efisien, memanfaatkan daya komputasi secara berlebihan untuk menangani angka besar. Untuk mengatasi masalah ini, STARKs mulai menggunakan field yang lebih kecil: Goldilocks, Mersenne31, dan BabyBear.
Perubahan ini meningkatkan kecepatan pembuktian. Misalnya, Starkware dapat membuktikan 620.000 nilai hash Poseidon2 per detik di laptop M3. Selama Poseidon2 dipercaya sebagai fungsi hash, masalah pengembangan ZK-EVM yang efisien dapat diatasi. Lalu, bagaimana teknologi ini bekerja? Bagaimana membangun pembuktian di bidang kecil? Artikel ini akan membahas detail ini, dengan fokus khusus pada Circle.