Dalam beberapa tahun terakhir, tren desain protokol STARKs adalah beralih ke penggunaan bidang yang lebih kecil. Implementasi STARKs paling awal menggunakan bidang 256-bit, namun desain ini kurang efisien. Untuk meningkatkan efisiensi, STARKs mulai menggunakan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan bidang kecil membawa beberapa tantangan, seperti masalah kurangnya keacakan. Untuk mengatasi masalah ini, ada dua solusi: melakukan pemeriksaan acak berkali-kali atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berdasarkan ruang terbatas.
Circle STARKs adalah solusi cerdas. Diberikan bilangan prima p, dapat ditemukan kelompok berukuran p, dengan karakteristik dua ke satu. Kelompok ini terdiri dari sekumpulan titik yang memenuhi kondisi tertentu, seperti himpunan titik yang x^2 mod p sama dengan nilai tertentu.
Circle STARKs menggunakan FFT khusus yang disebut Circle FFT. Objek yang diproses bukanlah polinomial yang ketat, melainkan ruang Riemann-Roch. Pengembang tidak perlu memahami detail spesifik, cukup perlakukan polinomial sebagai kumpulan nilai evaluasi.
Saat mewujudkan Circle STARKs, perlu diperhatikan hal-hal berikut:
Evaluasi perdagangan harus dilakukan di dua titik
Cara konstruksi polinomial yang hilang berbeda
Menilai urutan menggunakan urutan bit terbalik khusus
Circle STARKs sangat efisien pada bidang bilangan prima 31. Dibandingkan dengan SNARKs bidang besar, ia dapat memanfaatkan ruang komputasi dengan lebih baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Masa depan optimasi STARK mungkin akan berfokus pada:
Arsitmetik yang efisien dari primitif kriptografi
Konstruksi rekursif untuk meningkatkan paralelisme
Mesin virtual aritmatika untuk meningkatkan pengalaman pengembangan
Secara keseluruhan, Circle STARKs adalah solusi implementasi STARK yang sederhana dalam konsep tetapi efisien, yang layak untuk dieksplorasi dan diterapkan lebih lanjut.
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.
12 Suka
Hadiah
12
5
Bagikan
Komentar
0/400
ImpermanentLossFan
· 3jam yang lalu
Bidang kecil, bidang kecil, jika terjatuh bagaimana cara keluar?
Lihat AsliBalas0
YieldWhisperer
· 23jam yang lalu
meh, sudah melihat matematika ini pada tahun 2018... vektor serangan lama yang sama hanya dikemas ulang
Lihat AsliBalas0
GasWrangler
· 23jam yang lalu
sebenarnya, pengurangan ukuran lapangan secara matematis lebih unggul tetapi kalian tidur pada bottleneck kebetulan... smh
Lihat AsliBalas0
BlockchainFoodie
· 23jam yang lalu
seperti mengurangi saus yang kompleks... bidang yang lebih kecil = profil rasa yang lebih baik fr fr
Lihat AsliBalas0
CryptoCrazyGF
· 23jam yang lalu
Pacar yang mudah marah dan suka pamer pengetahuan profesional
Circle STARKs: solusi zk-SNARKs baru yang efisien dan ringkas
Menjelajahi Circle STARKs
Dalam beberapa tahun terakhir, tren desain protokol STARKs adalah beralih ke penggunaan bidang yang lebih kecil. Implementasi STARKs paling awal menggunakan bidang 256-bit, namun desain ini kurang efisien. Untuk meningkatkan efisiensi, STARKs mulai menggunakan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.
Penggunaan bidang kecil membawa beberapa tantangan, seperti masalah kurangnya keacakan. Untuk mengatasi masalah ini, ada dua solusi: melakukan pemeriksaan acak berkali-kali atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berdasarkan ruang terbatas.
Circle STARKs adalah solusi cerdas. Diberikan bilangan prima p, dapat ditemukan kelompok berukuran p, dengan karakteristik dua ke satu. Kelompok ini terdiri dari sekumpulan titik yang memenuhi kondisi tertentu, seperti himpunan titik yang x^2 mod p sama dengan nilai tertentu.
Circle STARKs menggunakan FFT khusus yang disebut Circle FFT. Objek yang diproses bukanlah polinomial yang ketat, melainkan ruang Riemann-Roch. Pengembang tidak perlu memahami detail spesifik, cukup perlakukan polinomial sebagai kumpulan nilai evaluasi.
Saat mewujudkan Circle STARKs, perlu diperhatikan hal-hal berikut:
Circle STARKs sangat efisien pada bidang bilangan prima 31. Dibandingkan dengan SNARKs bidang besar, ia dapat memanfaatkan ruang komputasi dengan lebih baik. Meskipun Binius lebih unggul dalam beberapa aspek, konsep Circle STARKs lebih sederhana.
Masa depan optimasi STARK mungkin akan berfokus pada:
Secara keseluruhan, Circle STARKs adalah solusi implementasi STARK yang sederhana dalam konsep tetapi efisien, yang layak untuk dieksplorasi dan diterapkan lebih lanjut.