Circle STARKs: Meningkatkan efisiensi zk-SNARKs menggunakan geometri kelompok lingkaran

Menjelajahi Circle STARKs

Dalam beberapa tahun terakhir, tren desain protokol STARKs adalah beralih ke penggunaan bidang matematika yang lebih kecil. Implementasi STARKs yang paling awal menggunakan bidang 256-bit, tetapi desain ini kurang efisien. Untuk meningkatkan kecepatan pembuktian, STARKs mulai menggunakan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear.

Karya Baru Vitalik: Menjelajahi Circle STARKs

Menggunakan field kecil dapat secara signifikan meningkatkan kecepatan pembuktian, tetapi juga membawa beberapa tantangan keamanan. Masalah utama adalah nilai acak yang dapat dipilih dalam field kecil lebih sedikit, sehingga mudah ditebak oleh penyerang. Untuk mengatasi masalah ini, ada dua solusi: melakukan pemeriksaan acak berkali-kali, atau menggunakan field yang diperluas.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Circle STARKs adalah solusi cerdas yang menerapkan protokol FRI yang efisien pada bidang Mersenne31. Circle STARKs memanfaatkan sifat geometris grup lingkaran untuk membangun sistem bukti yang mirip dengan FRI konvensional.

Karya Baru Vitalik: Menjelajahi Circle STARKs

Poin kunci dari Circle STARKs meliputi:

  1. Menggunakan pemetaan dua-ke-satu pada grup bulat sebagai pengganti pemetaan kuadrat dalam FRI konvensional.
  2. Mengompresi polinomial ke ruang satu dimensi untuk diproses
  3. Dirancang algoritma Circle FFT yang khusus
  4. Menggunakan metode konstruksi polinomial yang berbeda untuk operasi komersial dan penghilangan
  5. Menggunakan urutan bit terbalik yang dimodifikasi

Vitalik Karya Baru: Menjelajahi Circle STARKs

Dibandingkan dengan STARKs biasa, Circle STARKs secara konseptual tidak jauh lebih rumit. Ini menyembunyikan matematika kompleks di baliknya, sehingga pengembang dapat menggunakannya seperti menggunakan STARKs biasa.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Circle STARKs menggabungkan bidang Mersenne31, dapat mewujudkan sistem bukti yang sangat efisien. Ini memanfaatkan keuntungan dari bidang bilangan prima 31-bit, mengurangi pemborosan ruang.

Vitalik Karya Baru: Menjelajahi Circle STARKs

Arah pengoptimalan STARKs di masa depan mungkin termasuk:

  • Mengoptimalkan aritmetika dari fungsi hash dan primitive kriptografi dasar lainnya
  • Meningkatkan paralelisme dengan membangun secara rekursif
  • Meningkatkan aritmetika mesin virtual untuk meningkatkan pengalaman pengembangan

Karya Baru Vitalik: Menjelajahi Circle STARKs

Circle STARKs adalah varian STARK yang cerdas dan efisien, memberikan pendekatan baru untuk membangun sistem bukti nol pengetahuan yang lebih cepat dan lebih praktis.

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
  • 6
  • Bagikan
Komentar
0/400
nft_widowvip
· 07-10 00:25
Bagaimana cara menyeimbangkan efisiensi dan keamanan
Lihat AsliBalas0
gas_fee_traumavip
· 07-09 14:48
Bidang kecil masih memiliki risiko.
Lihat AsliBalas0
GameFiCriticvip
· 07-09 14:45
Keamanan dan kecepatan harus seimbang
Lihat AsliBalas0
tx_pending_forevervip
· 07-09 14:42
Tingkat kesulitan matematiknya agak tinggi
Lihat AsliBalas0
Rugman_Walkingvip
· 07-09 14:39
Solusi yang kreatif
Lihat AsliBalas0
SeasonedInvestorvip
· 07-09 14:23
Peningkatan efisiensi sangat penting
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)