Desain protokol STARKs dalam beberapa tahun terakhir cenderung menggunakan field yang lebih kecil untuk meningkatkan kecepatan pembuktian. Misalnya, Starkware dapat membuktikan 620.000 nilai hash Poseidon2 per detik di laptop M3. Artikel ini akan membahas cara kerja teknologi ini, dengan fokus khusus pada skema Circle STARKs.
Salah satu masalah umum saat menggunakan bidang yang lebih kecil adalah, penyerang mungkin mencoba meretas protokol dengan mencoba nilai kemungkinan yang terbatas. Solusinya termasuk melakukan pemeriksaan acak berkali-kali, atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berdasarkan bidang terbatas.
Kehebatan Circle STARKs terletak pada kemampuannya untuk menemukan kelompok berukuran p, yang memiliki sifat dua-ke-satu yang serupa. Kelompok ini terdiri dari titik-titik yang memenuhi kondisi tertentu, seperti himpunan titik yang dimana x^2 mod p sama dengan nilai tertentu.
Circle STARKs mendukung FFT, tetapi objek yang diproses tidak secara ketat merupakan polinomial, melainkan ruang Riemann-Roch. Sebagai pengembang, Anda hampir dapat mengabaikan hal ini, cukup simpan polinomial sebagai kumpulan nilai evaluasi.
Dalam perhitungan bisnis, Circle STARKs perlu melakukan evaluasi di dua titik untuk membuktikan, menambahkan satu titik virtual. Untuk polinomial yang menghilang, Circle STARKs menggunakan bentuk fungsi tertentu.
Circle STARKs menggunakan urutan bit terbalik yang dimodifikasi untuk mencerminkan struktur lipatan khususnya. Urutan ini membuat FRI lebih hemat ruang.
Efisiensi Circle STARKs sangat tinggi, memanfaatkan ruang dalam pelacakan komputasi dengan baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Secara keseluruhan, Circle STARKs tidak lebih rumit bagi pengembang dibandingkan dengan STARKs biasa. Arah optimasi STARK di masa depan mungkin termasuk: optimasi aritmetika untuk primitif kriptografi dasar, konstruksi rekursif untuk meningkatkan paralelisasi, dan perbaikan aritmetika mesin virtual untuk mengoptimalkan pengalaman pengembangan.
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.
10 Suka
Hadiah
10
3
Bagikan
Komentar
0/400
OnChain_Detective
· 10jam yang lalu
hmm... analisis pola menunjukkan gap mencurigakan dalam implementasi circlestark sejujurnya
Analisis Kedalaman Teknologi Circle STARKs: Arah Baru untuk Verifikasi Efisien
Eksplorasi Circle STARKs
Desain protokol STARKs dalam beberapa tahun terakhir cenderung menggunakan field yang lebih kecil untuk meningkatkan kecepatan pembuktian. Misalnya, Starkware dapat membuktikan 620.000 nilai hash Poseidon2 per detik di laptop M3. Artikel ini akan membahas cara kerja teknologi ini, dengan fokus khusus pada skema Circle STARKs.
Salah satu masalah umum saat menggunakan bidang yang lebih kecil adalah, penyerang mungkin mencoba meretas protokol dengan mencoba nilai kemungkinan yang terbatas. Solusinya termasuk melakukan pemeriksaan acak berkali-kali, atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berdasarkan bidang terbatas.
Kehebatan Circle STARKs terletak pada kemampuannya untuk menemukan kelompok berukuran p, yang memiliki sifat dua-ke-satu yang serupa. Kelompok ini terdiri dari titik-titik yang memenuhi kondisi tertentu, seperti himpunan titik yang dimana x^2 mod p sama dengan nilai tertentu.
Circle STARKs mendukung FFT, tetapi objek yang diproses tidak secara ketat merupakan polinomial, melainkan ruang Riemann-Roch. Sebagai pengembang, Anda hampir dapat mengabaikan hal ini, cukup simpan polinomial sebagai kumpulan nilai evaluasi.
Dalam perhitungan bisnis, Circle STARKs perlu melakukan evaluasi di dua titik untuk membuktikan, menambahkan satu titik virtual. Untuk polinomial yang menghilang, Circle STARKs menggunakan bentuk fungsi tertentu.
Circle STARKs menggunakan urutan bit terbalik yang dimodifikasi untuk mencerminkan struktur lipatan khususnya. Urutan ini membuat FRI lebih hemat ruang.
Efisiensi Circle STARKs sangat tinggi, memanfaatkan ruang dalam pelacakan komputasi dengan baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Secara keseluruhan, Circle STARKs tidak lebih rumit bagi pengembang dibandingkan dengan STARKs biasa. Arah optimasi STARK di masa depan mungkin termasuk: optimasi aritmetika untuk primitif kriptografi dasar, konstruksi rekursif untuk meningkatkan paralelisasi, dan perbaikan aritmetika mesin virtual untuk mengoptimalkan pengalaman pengembangan.