Dalam beberapa tahun terakhir, tren desain protokol STARKs adalah beralih ke penggunaan bidang yang lebih kecil. Implementasi STARKs yang paling awal menggunakan bidang 256-bit, tetapi desain ini kurang efisien. Untuk meningkatkan efisiensi, STARKs mulai menggunakan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan field kecil membawa beberapa tantangan, seperti rentang pemilihan acak yang menjadi lebih kecil. Ada dua solusi: pemeriksaan acak berulang atau memperluas field. Memperluas field mirip dengan bilangan kompleks, tetapi berdasarkan bidang terbatas.
Circle STARKs mengusulkan metode cerdas untuk menemukan grup berukuran p di atas bilangan prima p, dengan sifat dua-ke-satu. Grup ini terdiri dari titik-titik yang memenuhi kondisi tertentu dan mengikuti aturan penjumlahan.
Circle STARKs mendukung FFT, tetapi objek yang diproses bukanlah polinomial yang ketat, melainkan ruang Riemann-Roch. Sebagai pengembang, Anda hampir dapat mengabaikan hal ini, cukup simpan polinomial sebagai kumpulan nilai evaluasi.
Dalam perhitungan bisnis, polinom yang hilang, urutan terbalik, dan aspek lainnya, Circle STARKs memiliki beberapa perbedaan dengan STARKs konvensional, sehingga memerlukan teknik yang berbeda.
Circle STARKs sangat efisien pada bilangan prima 31. Dibandingkan dengan SNARKs bidang besar, ia memanfaatkan ruang komputasi dengan baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Bagi pengembang, Circle STARKs tidak jauh lebih kompleks dibandingkan dengan STARKs konvensional. Memahami Circle FRI dan FFT juga membantu dalam memahami FFT khusus lainnya.
Optimasi STARKs di masa depan mungkin akan berfokus pada:
Optimalkan fungsi hash dan primitive kriptografi dasar
Konstruksi rekursif untuk meningkatkan paralelisme
Meningkatkan mesin virtual untuk meningkatkan pengalaman pengembangan
Secara keseluruhan, Circle STARKs adalah varian STARKs yang menarik, yang meningkatkan efisiensi sambil mempertahankan kesederhanaan.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Circle STARKs: Analisis varian STARKs baru yang meningkatkan efisiensi
Menjelajahi Circle STARKs
Dalam beberapa tahun terakhir, tren desain protokol STARKs adalah beralih ke penggunaan bidang yang lebih kecil. Implementasi STARKs yang paling awal menggunakan bidang 256-bit, tetapi desain ini kurang efisien. Untuk meningkatkan efisiensi, STARKs mulai menggunakan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan field kecil membawa beberapa tantangan, seperti rentang pemilihan acak yang menjadi lebih kecil. Ada dua solusi: pemeriksaan acak berulang atau memperluas field. Memperluas field mirip dengan bilangan kompleks, tetapi berdasarkan bidang terbatas.
Circle STARKs mengusulkan metode cerdas untuk menemukan grup berukuran p di atas bilangan prima p, dengan sifat dua-ke-satu. Grup ini terdiri dari titik-titik yang memenuhi kondisi tertentu dan mengikuti aturan penjumlahan.
Circle STARKs mendukung FFT, tetapi objek yang diproses bukanlah polinomial yang ketat, melainkan ruang Riemann-Roch. Sebagai pengembang, Anda hampir dapat mengabaikan hal ini, cukup simpan polinomial sebagai kumpulan nilai evaluasi.
Dalam perhitungan bisnis, polinom yang hilang, urutan terbalik, dan aspek lainnya, Circle STARKs memiliki beberapa perbedaan dengan STARKs konvensional, sehingga memerlukan teknik yang berbeda.
Circle STARKs sangat efisien pada bilangan prima 31. Dibandingkan dengan SNARKs bidang besar, ia memanfaatkan ruang komputasi dengan baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Bagi pengembang, Circle STARKs tidak jauh lebih kompleks dibandingkan dengan STARKs konvensional. Memahami Circle FRI dan FFT juga membantu dalam memahami FFT khusus lainnya.
Optimasi STARKs di masa depan mungkin akan berfokus pada:
Secara keseluruhan, Circle STARKs adalah varian STARKs yang menarik, yang meningkatkan efisiensi sambil mempertahankan kesederhanaan.