SP1 Succinct: zkVM tercepat saat ini

Succinct adalah proyek ZK terkemuka, dan produk inti SP1 adalah zkVM tercepat saat ini. Proyek ini telah mendapatkan pendanaan sebesar 55 juta dolar.

SP1 memiliki karakteristik berikut:

• Kinerja unggul, kecepatan bukti lebih tinggi hingga 28 kali dibandingkan zkVM lainnya, biaya secara signifikan berkurang.

• Mendukung penggunaan Rust untuk menulis ZKP, dapat menggunakan kembali pustaka kode yang ada, efisiensi pengembangan meningkat 100 kali lipat.

• Mendukung aplikasi tingkat produksi, telah diaudit secara profesional, dan digunakan oleh banyak proyek besar.

I. Pengantar SP1

SP1 adalah mesin virtual zero-knowledge umum (zkVM), yang memungkinkan pengembang menggunakan Rust atau bahasa lain yang mendukung kompilasi LLVM untuk menulis kode biasa, menghasilkan bukti zero-knowledge yang efisien, untuk memverifikasi eksekusi program yang benar.

Inovasi inti dari SP1 terletak pada pengurangan besar dalam hambatan pengembangan bukti tanpa pengetahuan (ZKP), sambil tetap mempertahankan kinerja dan fleksibilitas yang luar biasa. Ini membuat pengembangan ZKP menjadi semudah menulis perangkat lunak biasa, memungkinkan infrastruktur blockchain ( seperti Rollup, jembatan lintas rantai, dan oracle ) untuk mencapai verifikasi melalui kode yang dapat dipelihara.

Zero-knowledge proof ( ZKP ) dapat membuktikan kebenaran perhitungan tertentu tanpa mengungkapkan data input apa pun. Teknologi ini memiliki aplikasi luas di bidang blockchain, termasuk skalabilitas, interoperabilitas, perlindungan privasi, serta jembatan dan oracle.

Namun, pengembangan ZKP tradisional sangat kompleks, memerlukan tim kriptografi profesional, siklus pengembangan jangka panjang, dan biaya pemeliharaan yang tinggi. Kehadiran SP1 sepenuhnya mengubah keadaan ini.

Dua, Ciri-ciri SP1

1. Kinerja Unggul

Dalam beban kerja blockchain yang nyata ( seperti verifikasi klien ringan, Rollup, dan sebagainya ), SP1 lebih cepat 4-28 kali dibandingkan dengan zkVM lainnya, dan kinerjanya bahkan dapat bersaing dengan sirkuit khusus yang dioptimalkan secara manual. Versi terbaru SP1 Turbo (v4.0.0) ketika dijalankan di cluster GPU, memverifikasi blok di jaringan utama Ethereum hanya membutuhkan waktu 40 detik, dengan biaya rendah hingga beberapa sen.

2. Mendukung pengembangan Rust

SP1 memungkinkan pengembang menggunakan Rust untuk menulis logika ZKP dan langsung memanfaatkan pustaka ekosistem Rust yang ada. Pengembang dapat langsung menggunakan kode node blockchain yang sudah ada dengan modifikasi sederhana untuk menghasilkan ZKP, menghilangkan kerumitan menulis rangkaian kompleks dari awal.

3. Mekanisme Prekompilasi

SP1 memperkenalkan mekanisme "pra-kompilasi" yang dioptimalkan untuk operasi kriptografi umum ( seperti keccak, sha256, dan verifikasi tanda tangan ). Pra-kompilasi ini secara signifikan mengurangi beban perhitungan dan meningkatkan efisiensi SP1 dalam menangani beban kerja blockchain yang kompleks. Contohnya, SP1 menjalankan klien ringan ZK Tendermint, mengurangi waktu verifikasi dari 2,2 jam menjadi 4,6 menit.

4. Sumber terbuka dan keamanan

SP1 adalah proyek sumber terbuka sepenuhnya ( dengan lisensi MIT/Apache 2.0 ). Arsitektur modularnya memungkinkan pengembang untuk menyesuaikan "pra-kompilasi", mengoptimalkan kinerja untuk kasus penggunaan tertentu. SP1 menarik pengembang dari berbagai proyek terkenal untuk bersama-sama menyempurnakannya.

Selain itu, SP1 telah diaudit berkali-kali oleh beberapa perusahaan keamanan ZK terkemuka dan telah mencapai hasil "nol kerentanan tinggi" yang luar biasa dalam kompetisi audit publik.

5. Mitra yang luas

Banyak proyek terkenal menggunakan SP1 untuk membangun ZKP, menjamin lebih dari 1 miliar dolar aset on-chain (TVL). Dari Rollup hingga jembatan antar rantai, dari oracle hingga protokol privasi, SP1 sedang menjadi konfigurasi standar infrastruktur blockchain.

Tiga, Skenario Aplikasi SP1

SP1 memiliki berbagai aplikasi di bidang blockchain:

• Rollup: Membangun ZK Rollup menggunakan SP1, menghasilkan bukti nol pengetahuan untuk transformasi status, menghubungkan ke blockchain utama seperti Ethereum atau Bitcoin, mencapai throughput tinggi dan biaya rendah.

• Jembatan Lintas Rantai: SP1 dapat memverifikasi konsensus Layer 1 ( seperti Tendermint atau klien ringan Ethereum ), membangun jembatan lintas rantai yang aman dan efisien.

• Interoperabilitas: Melalui SP1, Rollup dapat mencapai determinisme dan interoperabilitas yang cepat.

• Oracle: SP1 mendukung komputasi besar-besaran di luar rantai ( seperti kueri status historis, pembelajaran mesin di dalam rantai ), dan menghasilkan bukti yang dapat diverifikasi di dalam rantai, secara signifikan mengurangi biaya Gas.

• Privasi: SP1 dapat melakukan transaksi pribadi dan status, melindungi keamanan data pengguna.

• Agregasi: SP1 dapat mengagregasi ZKP sejenis, lebih lanjut mengurangi biaya verifikasi di chain.