Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang yang lebih kecil. Implementasi awal menggunakan bidang 256-bit, tetapi efisiensinya rendah. Untuk mengatasi masalah ini, STARKs mulai beralih ke penggunaan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear. Perubahan ini secara signifikan meningkatkan kecepatan pembuktian.
Salah satu masalah umum saat menggunakan bidang yang lebih kecil adalah bahwa parameter yang dipilih secara acak dapat ditebak oleh penyerang. Solusinya termasuk melakukan pemeriksaan acak berkali-kali atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berbasis pada bidang hingga. Ini memungkinkan operasi yang lebih kompleks dilakukan di atas bidang hingga, meningkatkan keamanan.
Circle STARKs adalah suatu skema cerdas yang dapat mengimplementasikan FRI yang efisien pada bidang kecil seperti Mersenne31. Ini menggunakan sekumpulan titik di lingkaran sebagai grup, di mana titik-titik ini mengikuti aturan penjumlahan tertentu. Cara konstruksi Circle FRI dan Circle FFT mirip dengan FRI biasa, tetapi objek yang diproses adalah ruang Riemann-Roch, bukan polinomial yang ketat.
Dalam menerapkan Circle STARKs, perlu menggunakan beberapa teknik khusus untuk menggantikan operasi aritmetika tradisional dan operasi polinomial yang menghilang. Urutan evaluasi juga perlu disesuaikan menjadi urutan bit terlipat yang khusus.
Secara umum, Circle STARKs tidak jauh lebih kompleks bagi pengembang dibandingkan STARKs konvensional. Ini adalah solusi STARK yang efisien, sangat cocok digunakan pada bidang bilangan prima 31-bit. Dengan menggabungkan teknologi lain seperti Mersenne31, BabyBear, dan sebagainya, kami semakin mendekati batas efisiensi lapisan dasar STARKs.
Arah fokus optimasi STARK di masa depan mungkin termasuk: optimasi aritmetika dari primitif kriptografi dasar, konstruksi rekursif untuk meningkatkan paralelisme, dan mesin virtual aritmetika untuk memperbaiki pengalaman pengembang, dll. Optimasi ini akan lebih meningkatkan kinerja dan kegunaan STARK.
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.
13 Suka
Hadiah
13
8
Bagikan
Komentar
0/400
BanklessAtHeart
· 5jam yang lalu
Bidang kecil memang yyds
Lihat AsliBalas0
NFTRegretter
· 20jam yang lalu
FRI sedikit lebih cepat dibanding sebelumnya.
Lihat AsliBalas0
WalletManager
· 08-04 06:32
Optimisasi bidang kecil adalah hal utama, menyimpan kode tidak ada masalah.
Lihat AsliBalas0
StableBoi
· 08-04 06:32
Benar-benar memberi Goldilocks muka ya
Lihat AsliBalas0
NFTFreezer
· 08-04 06:30
Kecepatan buktinya lebih cepat, lari lebih cepat dari geth?
Lihat AsliBalas0
ColdWalletGuardian
· 08-04 06:30
Tidak jelas tapi terasa hebat, agak sulit dipahami, mohon penjelasan.
Circle STARKs: Solusi baru untuk mengimplementasikan FRI yang efisien pada bidang kecil
Menjelajahi Circle STARKs
Dalam beberapa tahun terakhir, desain protokol STARKs cenderung menggunakan bidang yang lebih kecil. Implementasi awal menggunakan bidang 256-bit, tetapi efisiensinya rendah. Untuk mengatasi masalah ini, STARKs mulai beralih ke penggunaan bidang yang lebih kecil, seperti Goldilocks, Mersenne31, dan BabyBear. Perubahan ini secara signifikan meningkatkan kecepatan pembuktian.
Salah satu masalah umum saat menggunakan bidang yang lebih kecil adalah bahwa parameter yang dipilih secara acak dapat ditebak oleh penyerang. Solusinya termasuk melakukan pemeriksaan acak berkali-kali atau memperluas bidang. Memperluas bidang mirip dengan bilangan kompleks, tetapi berbasis pada bidang hingga. Ini memungkinkan operasi yang lebih kompleks dilakukan di atas bidang hingga, meningkatkan keamanan.
Circle STARKs adalah suatu skema cerdas yang dapat mengimplementasikan FRI yang efisien pada bidang kecil seperti Mersenne31. Ini menggunakan sekumpulan titik di lingkaran sebagai grup, di mana titik-titik ini mengikuti aturan penjumlahan tertentu. Cara konstruksi Circle FRI dan Circle FFT mirip dengan FRI biasa, tetapi objek yang diproses adalah ruang Riemann-Roch, bukan polinomial yang ketat.
Dalam menerapkan Circle STARKs, perlu menggunakan beberapa teknik khusus untuk menggantikan operasi aritmetika tradisional dan operasi polinomial yang menghilang. Urutan evaluasi juga perlu disesuaikan menjadi urutan bit terlipat yang khusus.
Secara umum, Circle STARKs tidak jauh lebih kompleks bagi pengembang dibandingkan STARKs konvensional. Ini adalah solusi STARK yang efisien, sangat cocok digunakan pada bidang bilangan prima 31-bit. Dengan menggabungkan teknologi lain seperti Mersenne31, BabyBear, dan sebagainya, kami semakin mendekati batas efisiensi lapisan dasar STARKs.
Arah fokus optimasi STARK di masa depan mungkin termasuk: optimasi aritmetika dari primitif kriptografi dasar, konstruksi rekursif untuk meningkatkan paralelisme, dan mesin virtual aritmetika untuk memperbaiki pengalaman pengembang, dll. Optimasi ini akan lebih meningkatkan kinerja dan kegunaan STARK.