Dalam dua tahun terakhir, kemajuan teknologi zkVM (Zero-Knowledge Virtual Machine) dapat dikatakan sangat pesat, dari "dapat membuktikan" di awal hingga "bukti waktu nyata" saat ini, menandakan lompatan besar di bidang ini.
Sistem SP1 Hypercube yang dirilis oleh perusahaan Succinct pada bulan Mei tahun ini telah menarik perhatian luas di industri. Sistem ini menggunakan arsitektur polinomial multilinear yang inovatif untuk meredesain sistem pembuktian, yang dibandingkan dengan pendahulunya SP1 Turbo, mencapai peningkatan yang signifikan dalam hal latensi dan biaya. Menurut data resmi, hingga 93% blok Ethereum dapat diselesaikan pembuktiannya dalam waktu 12 detik, dengan peningkatan kinerja keseluruhan mencapai 5 kali lipat.
Terobosan ini tidak hanya dapat dicapai melalui optimisasi kode, tetapi juga melibatkan rekonstruksi menyeluruh dari arsitektur sistem. Para insinyur merancang ulang sistem pembatasan dan jalur, memandang blok yang dihasilkan dalam setiap periode waktu sebagai objek waktu nyata yang dapat diproses secara berkelanjutan, sehingga secara signifikan meningkatkan efisiensi sistem.
Pemikiran optimasi inti dari sistem SP1 adalah untuk mengompresi proses "eksekusi → pelacakan → pembatasan → pembuktian" hingga batas ekstrem. Materi kursus terkait dari Universitas Stanford menganalisis secara mendalam proses pembuktian SP1, mulai dari eksekusi instruksi RISC-V hingga pengumpulan pelacakan, kemudian batasan AIR/polinomial, dan akhirnya menghasilkan bukti, menjelaskan dengan rinci pentingnya setiap langkah dan verifikabilitasnya.
Perlu dicatat bahwa optimasi zkVM modern telah melampaui batasan optimasi compiler tradisional. Penelitian terbaru menunjukkan bahwa meskipun optimasi standar LLVM masih memiliki efek signifikan pada zkVM tipe RISC-V (seperti RISC Zero dan SP1) dengan peningkatan kinerja lebih dari 40%, peningkatan ini jauh lebih rendah dibandingkan dengan efek optimasi pada CPU tradisional. Fenomena ini disebabkan oleh fakta bahwa bottleneck kinerja zkVM terutama berasal dari sistem batasan uniknya, bukan dari fitur perangkat keras seperti manajemen cache atau prediksi cabang yang ada pada CPU tradisional.
Dengan perkembangan teknologi zkVM yang terus berlanjut, kita dapat mengharapkan lebih banyak perkembangan inovatif di masa depan, yang akan membawa kemungkinan baru bagi penerapan dan penyebaran teknologi blockchain.
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
5
Posting ulang
Bagikan
Komentar
0/400
RugResistant
· 08-29 11:09
Sekali lagi, orang jenius yang bermain teknologi. Bisakah kita realistis?
Lihat AsliBalas0
AirdropHarvester
· 08-27 22:41
Bull hebat! Selesai dalam dua belas detik!
Lihat AsliBalas0
PumpingCroissant
· 08-27 22:41
Lima kali kinerja Beli beli beli
Lihat AsliBalas0
MoonRocketman
· 08-27 22:34
To da moon mesin telah dipanaskan, kecepatan verifikasi 93% hampir menembus atmosfer.
Lihat AsliBalas0
BearHugger
· 08-27 22:33
bull ah bull ah hanya dalam dua belas detik sudah selesai
Dalam dua tahun terakhir, kemajuan teknologi zkVM (Zero-Knowledge Virtual Machine) dapat dikatakan sangat pesat, dari "dapat membuktikan" di awal hingga "bukti waktu nyata" saat ini, menandakan lompatan besar di bidang ini.
Sistem SP1 Hypercube yang dirilis oleh perusahaan Succinct pada bulan Mei tahun ini telah menarik perhatian luas di industri. Sistem ini menggunakan arsitektur polinomial multilinear yang inovatif untuk meredesain sistem pembuktian, yang dibandingkan dengan pendahulunya SP1 Turbo, mencapai peningkatan yang signifikan dalam hal latensi dan biaya. Menurut data resmi, hingga 93% blok Ethereum dapat diselesaikan pembuktiannya dalam waktu 12 detik, dengan peningkatan kinerja keseluruhan mencapai 5 kali lipat.
Terobosan ini tidak hanya dapat dicapai melalui optimisasi kode, tetapi juga melibatkan rekonstruksi menyeluruh dari arsitektur sistem. Para insinyur merancang ulang sistem pembatasan dan jalur, memandang blok yang dihasilkan dalam setiap periode waktu sebagai objek waktu nyata yang dapat diproses secara berkelanjutan, sehingga secara signifikan meningkatkan efisiensi sistem.
Pemikiran optimasi inti dari sistem SP1 adalah untuk mengompresi proses "eksekusi → pelacakan → pembatasan → pembuktian" hingga batas ekstrem. Materi kursus terkait dari Universitas Stanford menganalisis secara mendalam proses pembuktian SP1, mulai dari eksekusi instruksi RISC-V hingga pengumpulan pelacakan, kemudian batasan AIR/polinomial, dan akhirnya menghasilkan bukti, menjelaskan dengan rinci pentingnya setiap langkah dan verifikabilitasnya.
Perlu dicatat bahwa optimasi zkVM modern telah melampaui batasan optimasi compiler tradisional. Penelitian terbaru menunjukkan bahwa meskipun optimasi standar LLVM masih memiliki efek signifikan pada zkVM tipe RISC-V (seperti RISC Zero dan SP1) dengan peningkatan kinerja lebih dari 40%, peningkatan ini jauh lebih rendah dibandingkan dengan efek optimasi pada CPU tradisional. Fenomena ini disebabkan oleh fakta bahwa bottleneck kinerja zkVM terutama berasal dari sistem batasan uniknya, bukan dari fitur perangkat keras seperti manajemen cache atau prediksi cabang yang ada pada CPU tradisional.
Dengan perkembangan teknologi zkVM yang terus berlanjut, kita dapat mengharapkan lebih banyak perkembangan inovatif di masa depan, yang akan membawa kemungkinan baru bagi penerapan dan penyebaran teknologi blockchain.