Circle STARKs: Skema baru untuk membangun bukti nol yang efisien di bidang kecil

robot
Pembuatan abstrak sedang berlangsung

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.

Menggunakan field kecil dapat secara signifikan meningkatkan kecepatan pembuktian. Misalnya, Starkware dapat membuktikan 620.000 hash Poseidon2 per detik di laptop M3. Namun, field kecil juga menghadirkan beberapa tantangan, seperti bagaimana mencapai cukup keacakan dalam ruang nilai yang terbatas.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Untuk mengatasi masalah ini, dapat digunakan metode pemeriksaan acak berkali-kali atau memperluas bidang. Bidang yang diperluas mirip dengan bilangan jamak, dengan memperkenalkan nilai baru α sehingga α^2 sama dengan nilai tertentu, untuk menciptakan struktur matematika yang lebih kompleks.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Circle STARKs adalah sebuah skema yang cerdik, yang dapat mengimplementasikan protokol FRI secara efisien pada bidang kecil seperti Mersenne31. Ini menggunakan struktur grup lingkaran khusus yang memiliki sifat mirip pemetaan dua-ke-satu. Struktur ini memungkinkan kita untuk melakukan pengurangan polinomial secara efisien pada bidang kecil.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Circle STARKs juga mendukung operasi FFT serupa, tetapi yang diproses adalah ruang Riemann-Roch dan bukan polinomial yang ketat. Ini membawa beberapa perbedaan dalam detail, seperti cara konstruksi operasi pembagian dan polinomial yang menghilang.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Vitalik Karya Baru: Menjelajahi Circle STARKs

Secara keseluruhan, Circle STARKs memberikan pengembang cara untuk membangun STARKs yang efisien di field kecil, tanpa perlu terlalu memperhatikan detail matematika dasar. Ini menggabungkan efisiensi komputasi dari field kecil dan keamanan yang cukup, merupakan arah optimasi STARK yang sangat menjanjikan.

Vitalik karya baru: menjelajahi Circle STARKs

Optimasi STARK di masa depan mungkin akan berfokus pada: 1) mengoptimalkan aritmetisasi dari primitive kriptografi dasar; 2) meningkatkan paralelisme melalui konstruksi rekursif; 3) memperbaiki aritmetisasi mesin virtual untuk meningkatkan pengalaman pengembang. Kami semakin mendekati batas efisiensi lapisan dasar STARK, dan optimasi di masa depan akan lebih banyak berfokus pada arah-arah ini.

Karya Baru Vitalik: Menjelajahi Circle STARKs

Karya Baru Vitalik: Menjelajahi Circle STARKs

Lihat Asli
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Hadiah
  • 5
  • Bagikan
Komentar
0/400
AirdropHunterZhangvip
· 20jam yang lalu
Sekali lagi membuat popcorn zero-knowledge ya
Lihat AsliBalas0
PumpDetectorvip
· 20jam yang lalu
hmm musim kuat tidak pernah berakhir... terlihat sangat bullish jujur saja
Lihat AsliBalas0
SneakyFlashloanvip
· 21jam yang lalu
zk itu menyenangkan
Lihat AsliBalas0
MetaverseLandladyvip
· 21jam yang lalu
Sudah mulai melakukan trik baru lagi ya
Lihat AsliBalas0
BearMarketGardenervip
· 21jam yang lalu
Kecil bidang STARKs luar biasa ah
Lihat AsliBalas0
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)