Succinct：proyek pelopor yang memimpin inovasi teknologi ZK

Succinct adalah proyek bukti nol yang sangat diperhatikan, dengan produk intinya SP1 yang dianggap sebagai zkVM tercepat saat ini. Proyek ini telah mengumpulkan total 55 juta dolar AS dalam dua putaran pendanaan.

Keunggulan utama SP1 termasuk:

• Kecepatan pembuktian melebihi zkVM lainnya hingga 28 kali, dengan biaya yang sangat menurun.

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

• Cocok untuk aplikasi tingkat produksi, telah diaudit secara ketat, dan diadopsi oleh beberapa proyek besar.

SP1 Pengenalan

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

Inovasi SP1 terletak pada penurunan yang signifikan dalam ambang pengembangan bukti tanpa pengetahuan, sambil 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, oracle, dan lainnya ) untuk mencapai verifikasi melalui kode yang dapat dipelihara.

Zero-knowledge proof ( ZKP ) dapat membuktikan kebenaran suatu perhitungan tanpa mengungkapkan data input apapun. Teknologi ini memiliki aplikasi luas di bidang blockchain:

• Ekspansi: Melalui Rollup, ZKP dapat mengompresi banyak transaksi menjadi satu bukti, secara signifikan mengurangi beban rantai utama.
• Interoperabilitas: ZKP dapat memverifikasi status berbagai rantai, memfasilitasi komunikasi lintas rantai.
• Privasi: ZKP memastikan privasi transaksi atau status, melindungi data pengguna.
• Jembatan dan Oracle: ZKP memungkinkan data atau perhitungan off-chain untuk divalidasi tanpa kepercayaan di on-chain.

Namun, kompleksitas pengembangan ZKP tradisional sangat tinggi, memerlukan tim kriptografi yang profesional, siklus pengembangan yang panjang, dan biaya pemeliharaan yang tinggi. Kehadiran SP1 telah mengubah keadaan ini secara total.

Karakteristik SP1

1. zkVM yang berkinerja tinggi

Dalam beban kerja blockchain yang sebenarnya ( seperti verifikasi klien ringan, Rollup, dan lain-lain ), SP1 lebih cepat 4-28 kali dibandingkan zkVM lainnya, bahkan dapat bersaing dengan sirkuit khusus yang dioptimalkan secara manual. Versi terbarunya SP1 Turbo (v4.0.0) saat dijalankan di kluster GPU, memverifikasi blok jaringan utama Ethereum hanya memerlukan 40 detik, dengan biaya turun menjadi beberapa sen.

2. Mendukung pengembangan ZKP dengan Rust

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

3. Mekanisme pra-kompilasi

SP1 memperkenalkan mekanisme "pre-compile", yang dioptimalkan secara tinggi untuk operasi kriptografi umum ( seperti keccak, sha256, dan verifikasi tanda tangan ). Pre-compile ini secara signifikan mengurangi beban perhitungan dan meningkatkan kemampuan SP1 dalam menangani beban kerja blockchain yang kompleks. Misalnya, SP1 menjalankan ZK Tendermint light client, mengurangi waktu verifikasi dari 2,2 jam menjadi 4,6 menit.

4. Keamanan Sumber Terbuka

SP1 adalah proyek sumber terbuka sepenuhnya, yang menggunakan 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 berkolaborasi dalam penyempurnaan, dan telah melalui beberapa audit oleh beberapa perusahaan keamanan ZK terkemuka, meraih hasil luar biasa dengan "nol kerentanan tinggi" dalam kompetisi audit publik.

5. Kerja sama yang luas

Beberapa proyek terkenal telah mengadopsi SP1 untuk membangun ZKP, yang melindungi lebih dari 1 miliar dolar aset on-chain (TVL). Dari Rollup hingga jembatan lintas rantai, dari oracle hingga protokol privasi, SP1 sedang menjadi konfigurasi standar infrastruktur blockchain.

Aplikasi SP1

SP1 telah menerapkan berbagai aplikasi di bidang blockchain:

• Rollup: Membangun ZK Rollup menggunakan SP1, menghasilkan bukti nol-pengetahuan untuk transisi status, menghubungkan ke rantai 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 kepastian dan interoperabilitas yang cepat antar satu sama lain.

• Orakel: 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 mewujudkan transaksi dan status pribadi, melindungi keamanan data pengguna.

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

Aplikasi beragam SP1 menunjukkan perannya yang penting dalam mendorong perkembangan teknologi blockchain, meletakkan dasar yang kuat untuk inovasi di masa depan.