Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang matematika yang lebih kecil. Implementasi STARKs yang paling awal menggunakan bidang 256-bit, tetapi desain ini memiliki efisiensi yang lebih rendah. Untuk mengatasi masalah ini, STARKs mulai beralih ke penggunaan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan bidang yang lebih kecil membawa beberapa tantangan, seperti masalah keamanan. Solusi termasuk melakukan pemeriksaan acak berkali-kali dan memperluas bidang. Bidang yang diperluas mirip dengan bilangan kompleks, tetapi berbasis pada bidang terbatas. Ini memungkinkan kita melakukan operasi yang lebih kompleks di atas bidang terbatas, meningkatkan keamanan.
Circle STARKs adalah solusi yang cerdas. Diberikan bilangan prima p, dapat ditemukan grup berukuran p, yang memiliki sifat satu-ke-satu yang serupa. Grup ini terdiri dari himpunan titik yang memenuhi kondisi tertentu, seperti himpunan titik di mana x^2 mod p sama dengan nilai tertentu.
Circle STARKs mendukung algoritma FFT, tetapi objek yang diproses bukanlah polinomial dalam arti ketat, melainkan objek matematis yang disebut ruang Riemann-Roch. Pengembang hampir dapat mengabaikan hal ini sepenuhnya, cukup menyimpan polinomial sebagai kumpulan nilai evaluasi di atas domain tertentu.
Dalam Circle STARKs, metode operasi bisnis tradisional perlu disesuaikan. Kami membuktikan dengan melakukan evaluasi di dua titik, menambahkan satu titik virtual yang tidak perlu diperhatikan.
Circle STARKs menunjukkan kinerja yang luar biasa dalam hal efisiensi. Mereka memanfaatkan ruang dalam pelacakan komputasi untuk melakukan pekerjaan yang berguna, mengurangi ruang kosong. Meskipun Binius lebih unggul dalam beberapa hal, Circle STARKs secara konseptual lebih sederhana.
Secara keseluruhan, Circle STARKs tidak lebih kompleks bagi pengembang dibandingkan STARKs biasa. Meskipun matematika dasar kompleks, kompleksitas ini disembunyikan dengan baik. Di masa depan, optimasi STARKs mungkin akan berfokus pada aritmetisasi primitif kriptografi, konstruksi rekursif, dan peningkatan pengalaman pengembang dari mesin virtual.
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: Teknologi zero-knowledge proof generasi baru yang efisien dan aman
Menjelajahi Circle STARKs
Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang matematika yang lebih kecil. Implementasi STARKs yang paling awal menggunakan bidang 256-bit, tetapi desain ini memiliki efisiensi yang lebih rendah. Untuk mengatasi masalah ini, STARKs mulai beralih ke penggunaan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan bidang yang lebih kecil membawa beberapa tantangan, seperti masalah keamanan. Solusi termasuk melakukan pemeriksaan acak berkali-kali dan memperluas bidang. Bidang yang diperluas mirip dengan bilangan kompleks, tetapi berbasis pada bidang terbatas. Ini memungkinkan kita melakukan operasi yang lebih kompleks di atas bidang terbatas, meningkatkan keamanan.
Circle STARKs adalah solusi yang cerdas. Diberikan bilangan prima p, dapat ditemukan grup berukuran p, yang memiliki sifat satu-ke-satu yang serupa. Grup ini terdiri dari himpunan titik yang memenuhi kondisi tertentu, seperti himpunan titik di mana x^2 mod p sama dengan nilai tertentu.
Circle STARKs mendukung algoritma FFT, tetapi objek yang diproses bukanlah polinomial dalam arti ketat, melainkan objek matematis yang disebut ruang Riemann-Roch. Pengembang hampir dapat mengabaikan hal ini sepenuhnya, cukup menyimpan polinomial sebagai kumpulan nilai evaluasi di atas domain tertentu.
Dalam Circle STARKs, metode operasi bisnis tradisional perlu disesuaikan. Kami membuktikan dengan melakukan evaluasi di dua titik, menambahkan satu titik virtual yang tidak perlu diperhatikan.
Circle STARKs menunjukkan kinerja yang luar biasa dalam hal efisiensi. Mereka memanfaatkan ruang dalam pelacakan komputasi untuk melakukan pekerjaan yang berguna, mengurangi ruang kosong. Meskipun Binius lebih unggul dalam beberapa hal, Circle STARKs secara konseptual lebih sederhana.
Secara keseluruhan, Circle STARKs tidak lebih kompleks bagi pengembang dibandingkan STARKs biasa. Meskipun matematika dasar kompleks, kompleksitas ini disembunyikan dengan baik. Di masa depan, optimasi STARKs mungkin akan berfokus pada aritmetisasi primitif kriptografi, konstruksi rekursif, dan peningkatan pengalaman pengembang dari mesin virtual.