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.
20 Suka
Hadiah
20
8
Bagikan
Komentar
0/400
PumpDoctrine
· 10jam yang lalu
Field kecil adalah mengorbankan keamanan untuk meningkatkan efisiensi.
Lihat AsliBalas0
WealthCoffee
· 22jam yang lalu
starks lagi menciptakan cara baru bull啊
Lihat AsliBalas0
RunWithRugs
· 08-06 17:16
Wah, berlari lebih cepat dari siapa pun.
Lihat AsliBalas0
ImpermanentLossFan
· 08-05 18:41
Bidang kecil, bidang kecil, jika terjatuh bagaimana cara keluar?
Lihat AsliBalas0
YieldWhisperer
· 08-04 22:37
meh, sudah melihat matematika ini pada tahun 2018... vektor serangan lama yang sama hanya dikemas ulang
Lihat AsliBalas0
GasWrangler
· 08-04 22:29
sebenarnya, pengurangan ukuran lapangan secara matematis lebih unggul tetapi kalian tidur pada bottleneck kebetulan... smh
Lihat AsliBalas0
BlockchainFoodie
· 08-04 22:29
seperti mengurangi saus yang kompleks... bidang yang lebih kecil = profil rasa yang lebih baik fr fr
Lihat AsliBalas0
CryptoCrazyGF
· 08-04 22:28
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.