STARKs sirkular adalah sistem bukti nol pengetahuan baru yang menggabungkan keunggulan STARKs tradisional dan karakteristik grup sirkular. Artikel ini akan membahas secara mendalam prinsip dan rincian implementasi STARKs sirkular.
Latar Belakang
Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang matematika yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear. Perubahan ini meningkatkan kecepatan pembuktian, tetapi juga menghadirkan beberapa tantangan, seperti bagaimana menjamin keamanan yang cukup pada bidang yang kecil.
Prinsip STARKs Lingkaran
STARKs melingkar secara cerdas memanfaatkan sifat grup lingkaran, mewujudkan protokol FRI yang efisien di domain Mersenne31. Inti pemikirannya adalah:
Memperluas evaluasi polinomial dari satu dimensi ke titik di lingkaran dua dimensi
Menggunakan sifat pemetaan dua-ke-satu dari grup lingkaran untuk membuktikan secara rekursif
Melakukan perhitungan menggunakan aturan penjumlahan khusus dan rumus penggandaan.
Teknologi Kunci
Lingkaran FRI
Circle FRI adalah inti dari STARKs berbentuk lingkaran, yang memverifikasi derajat polinomial dengan membuktikan secara rekursif pada titik-titik di lingkaran. Setiap putaran akan mengurangi ukuran kumpulan titik menjadi setengah, akhirnya berkumpul pada kumpulan kecil.
Lingkaran FFTs
Circle FFTs memungkinkan transformasi Fourier cepat dilakukan pada grup lingkaran, digunakan untuk operasi seperti perluasan rendah. Objek yang diproses adalah ruang Riemann-Roch, bukan polinomial dalam arti ketat.
Perhitungan komersial dan polinomial yang menghilang
Operasi aritmatika dan konstruksi polinomial menghilang dalam STARKs melingkar memerlukan penanganan khusus untuk menyesuaikan dengan sifat grup lingkaran.
Analisis Efisiensi
STARKs sirkular menunjukkan performa yang luar biasa pada bidang prima 31-bit, mampu memanfaatkan ruang komputasi dengan efektif. Ini sangat efisien dalam logika bisnis, perhitungan kriptografi, dan pencarian parameter.
Kesimpulan
STARKs melingkar memberikan kepada pengembang sebuah sistem bukti nol yang sederhana dalam konsep tetapi kuat dalam fungsi. Ini mewakili arah penting dalam pengoptimalan efisiensi lapisan dasar STARKs, yang meletakkan dasar untuk pengembangan di masa depan.
Arah optimasi di masa depan mungkin termasuk:
Optimisasi aritmatik dari primitif kriptografi dasar
Meningkatkan paralelisme dengan membangun menggunakan rekursi
Meningkatkan aritmetika mesin virtual untuk meningkatkan 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.
12 Suka
Hadiah
12
6
Posting ulang
Bagikan
Komentar
0/400
HashBandit
· 07-05 04:58
dulu di masa pertambangan saya, bukti-bukti ini pasti akan membuat gpu saya meleleh smh
Lihat AsliBalas0
GasFeeBarbecue
· 07-05 02:52
zk Universe menambah satu kekuatan lagi
Lihat AsliBalas0
0xOverleveraged
· 07-05 02:51
Siapa yang benar-benar akan menggunakan barang rumit seperti ini
STARKs Lingkaran: Prinsip dan Analisis Efisiensi Sistem Pembuktian Tanpa Pengetahuan Tipe Baru
Menjelajahi STARKs Lingkaran
STARKs sirkular adalah sistem bukti nol pengetahuan baru yang menggabungkan keunggulan STARKs tradisional dan karakteristik grup sirkular. Artikel ini akan membahas secara mendalam prinsip dan rincian implementasi STARKs sirkular.
Latar Belakang
Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang matematika yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear. Perubahan ini meningkatkan kecepatan pembuktian, tetapi juga menghadirkan beberapa tantangan, seperti bagaimana menjamin keamanan yang cukup pada bidang yang kecil.
Prinsip STARKs Lingkaran
STARKs melingkar secara cerdas memanfaatkan sifat grup lingkaran, mewujudkan protokol FRI yang efisien di domain Mersenne31. Inti pemikirannya adalah:
Teknologi Kunci
Lingkaran FRI
Circle FRI adalah inti dari STARKs berbentuk lingkaran, yang memverifikasi derajat polinomial dengan membuktikan secara rekursif pada titik-titik di lingkaran. Setiap putaran akan mengurangi ukuran kumpulan titik menjadi setengah, akhirnya berkumpul pada kumpulan kecil.
Lingkaran FFTs
Circle FFTs memungkinkan transformasi Fourier cepat dilakukan pada grup lingkaran, digunakan untuk operasi seperti perluasan rendah. Objek yang diproses adalah ruang Riemann-Roch, bukan polinomial dalam arti ketat.
Perhitungan komersial dan polinomial yang menghilang
Operasi aritmatika dan konstruksi polinomial menghilang dalam STARKs melingkar memerlukan penanganan khusus untuk menyesuaikan dengan sifat grup lingkaran.
Analisis Efisiensi
STARKs sirkular menunjukkan performa yang luar biasa pada bidang prima 31-bit, mampu memanfaatkan ruang komputasi dengan efektif. Ini sangat efisien dalam logika bisnis, perhitungan kriptografi, dan pencarian parameter.
Kesimpulan
STARKs melingkar memberikan kepada pengembang sebuah sistem bukti nol yang sederhana dalam konsep tetapi kuat dalam fungsi. Ini mewakili arah penting dalam pengoptimalan efisiensi lapisan dasar STARKs, yang meletakkan dasar untuk pengembangan di masa depan.
Arah optimasi di masa depan mungkin termasuk: