Analisis Prinsip STARKs Binius dan Pemikiran Optimisasi
1. Pendahuluan
Dalam jalur evolusi STARK, efisiensi pengkodean meningkat secara bertahap tetapi masih ada pemborosan. Binius mencapai pengkodean yang lebih kompak dan efisien melalui operasi bit langsung, diharapkan menjadi STARK generasi ke-4. Binius menggunakan teknik aritmetika bidang biner bertingkat, produk HyperPlonk yang ditingkatkan dan pemeriksaan penggantian, serta komitmen polinomial bidang kecil untuk meningkatkan efisiensi dari berbagai aspek. Masih ada kemungkinan untuk lebih mengoptimalkan dalam hal perkalian bidang biner, ZeroCheck, SumCheck, PCS, dan lainnya untuk meningkatkan kecepatan bukti dan mengurangi ukuran bukti.
2. Analisis Prinsip
Binius menggabungkan HyperPlonk PIOP, Brakedown PCS, dan bidang biner, mencakup lima teknologi kunci:
Aritmetika berbasis domain biner bertingkat
Versi adaptasi pemeriksaan produk dan permutasi HyperPlonk
Bukti Perpindahan Multilinear Baru
Versi yang Diperbaiki dari Teori Pencarian Lasso
Skema komitmen polinomial kecil
2.1 Ruang Terbatas: Aritmetika berdasarkan towers of binary fields
Domain biner bertumpuk mendukung perhitungan yang efisien dan aritmetika yang disederhanakan. Elemen domain biner dapat direpresentasikan secara fleksibel, memungkinkan konversi antar domain dengan ukuran yang berbeda tanpa biaya perhitungan tambahan.
2.2 PIOP: Versi Adaptasi Produk HyperPlonk dan PermutationCheck
Binius menggunakan mekanisme pemeriksaan inti HyperPlonk yang ditingkatkan, termasuk GateCheck, PermutationCheck, LookupCheck, dan lain-lain. Perbaikan utama meliputi:
Optimasi ProductCheck
Penanganan masalah pembagian dengan nol
Dukungan PermutationCheck lintas kolom
2.3 PIOP: argumen pergeseran multilinear baru
Binius memperkenalkan dua metode kunci, yaitu Packing dan operator pergeseran, untuk secara efisien membangun dan memproses polinomial virtual.
2.4 PIOP: versi adaptasi argumen pencarian Lasso
Binius mengadaptasi Lasso untuk operasi bidang biner, memperkenalkan versi perkalian protokol Lasso, dan menangani potensi masalah keamanan.
2.5 PCS: versi modifikasi Brakedown PCS
Binius menyediakan dua skema komitmen polinomial Brakedown berbasis domain biner, menggunakan komitmen polinomial domain kecil dan evaluasi domain yang diperluas, konstruksi umum domain kecil dan teknik pengkodean tingkat blok.
3. Pemikiran yang Dioptimalkan
3.1 PIOP berbasis GKR: Perkalian domain biner berbasis GKR
Dengan menggantikan algoritma Lasso Lookup dengan protokol GKR, biaya komitmen dapat dikurangi secara signifikan.
3.2 ZeroCheck PIOP optimasi
Dengan menyesuaikan alokasi beban kerja antara pihak yang membuktikan dan pihak yang memverifikasi, mengoptimalkan efisiensi operasi ZeroCheck.
3.3 Sumcheck PIOP optimasi
Optimisasi untuk Sumcheck pada bidang kecil, untuk lebih mengurangi beban perhitungan pada bidang kecil.
3.4 PCS optimalisasi:FRI-Binius
FRI-Binius menerapkan mekanisme peliputan FRI biner, yang dapat secara signifikan mengurangi ukuran bukti Binius.
4. Kesimpulan
Binius telah menghapus bottleneck komitmen Prover, bottleneck baru terletak pada protokol Sumcheck. FRI-Binius adalah varian FRI yang dapat menghilangkan overhead penyertaan bukti domain. Binius sedang mengembangkan lapisan rekursif dan bekerja sama dengan beberapa tim untuk membangun implementasi zkVM dan FPGA.
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
7
Bagikan
Komentar
0/400
GasBandit
· 08-03 17:05
Optimasi tidak mungkin dioptimalkan
Lihat AsliBalas0
consensus_failure
· 08-02 22:51
Sekali lagi mengerutkan kinerja ya
Lihat AsliBalas0
Ser_APY_2000
· 08-02 02:57
Kapan benda ini bisa diluncurkan di Mainnet?
Lihat AsliBalas0
MemeKingNFT
· 08-01 02:20
suckers masih melihat pasar, saya sudah Semua stark.
Lihat AsliBalas0
ChainComedian
· 08-01 02:18
Haha stark juga akan terlibat dalam generasi keempat.
Binius: Analisis teknologi STARK generasi keempat yang dioptimalkan untuk domain biner
Analisis Prinsip STARKs Binius dan Pemikiran Optimisasi
1. Pendahuluan
Dalam jalur evolusi STARK, efisiensi pengkodean meningkat secara bertahap tetapi masih ada pemborosan. Binius mencapai pengkodean yang lebih kompak dan efisien melalui operasi bit langsung, diharapkan menjadi STARK generasi ke-4. Binius menggunakan teknik aritmetika bidang biner bertingkat, produk HyperPlonk yang ditingkatkan dan pemeriksaan penggantian, serta komitmen polinomial bidang kecil untuk meningkatkan efisiensi dari berbagai aspek. Masih ada kemungkinan untuk lebih mengoptimalkan dalam hal perkalian bidang biner, ZeroCheck, SumCheck, PCS, dan lainnya untuk meningkatkan kecepatan bukti dan mengurangi ukuran bukti.
2. Analisis Prinsip
Binius menggabungkan HyperPlonk PIOP, Brakedown PCS, dan bidang biner, mencakup lima teknologi kunci:
2.1 Ruang Terbatas: Aritmetika berdasarkan towers of binary fields
Domain biner bertumpuk mendukung perhitungan yang efisien dan aritmetika yang disederhanakan. Elemen domain biner dapat direpresentasikan secara fleksibel, memungkinkan konversi antar domain dengan ukuran yang berbeda tanpa biaya perhitungan tambahan.
2.2 PIOP: Versi Adaptasi Produk HyperPlonk dan PermutationCheck
Binius menggunakan mekanisme pemeriksaan inti HyperPlonk yang ditingkatkan, termasuk GateCheck, PermutationCheck, LookupCheck, dan lain-lain. Perbaikan utama meliputi:
2.3 PIOP: argumen pergeseran multilinear baru
Binius memperkenalkan dua metode kunci, yaitu Packing dan operator pergeseran, untuk secara efisien membangun dan memproses polinomial virtual.
2.4 PIOP: versi adaptasi argumen pencarian Lasso
Binius mengadaptasi Lasso untuk operasi bidang biner, memperkenalkan versi perkalian protokol Lasso, dan menangani potensi masalah keamanan.
2.5 PCS: versi modifikasi Brakedown PCS
Binius menyediakan dua skema komitmen polinomial Brakedown berbasis domain biner, menggunakan komitmen polinomial domain kecil dan evaluasi domain yang diperluas, konstruksi umum domain kecil dan teknik pengkodean tingkat blok.
3. Pemikiran yang Dioptimalkan
3.1 PIOP berbasis GKR: Perkalian domain biner berbasis GKR
Dengan menggantikan algoritma Lasso Lookup dengan protokol GKR, biaya komitmen dapat dikurangi secara signifikan.
3.2 ZeroCheck PIOP optimasi
Dengan menyesuaikan alokasi beban kerja antara pihak yang membuktikan dan pihak yang memverifikasi, mengoptimalkan efisiensi operasi ZeroCheck.
3.3 Sumcheck PIOP optimasi
Optimisasi untuk Sumcheck pada bidang kecil, untuk lebih mengurangi beban perhitungan pada bidang kecil.
3.4 PCS optimalisasi:FRI-Binius
FRI-Binius menerapkan mekanisme peliputan FRI biner, yang dapat secara signifikan mengurangi ukuran bukti Binius.
4. Kesimpulan
Binius telah menghapus bottleneck komitmen Prover, bottleneck baru terletak pada protokol Sumcheck. FRI-Binius adalah varian FRI yang dapat menghilangkan overhead penyertaan bukti domain. Binius sedang mengembangkan lapisan rekursif dan bekerja sama dengan beberapa tim untuk membangun implementasi zkVM dan FPGA.