Succinct adalah proyek ZK teratas yang telah mendapatkan pendanaan sebesar 55 juta dolar, dengan produk intinya SP1 yang dianggap sebagai zkVM tercepat saat ini.
SP1 memiliki fitur unggulan berikut:
Kinerja luar biasa, kecepatan pembuktian dapat meningkat hingga 28 kali lipat dibandingkan zkVM lainnya, biaya turun hingga seperempat dari yang sebelumnya.
Memungkinkan pengembang menggunakan Rust untuk menulis ZKP, dapat menggunakan kembali pustaka kode yang ada, secara signifikan meningkatkan efisiensi pengembangan.
Mendukung skenario aplikasi tingkat produksi, telah melalui audit keamanan yang berwenang, dan telah digunakan oleh beberapa proyek terkenal.
SP1 Pendahuluan
SP1 adalah mesin virtual pengetahuan nol generik (zkVM), yang memungkinkan pengembang untuk menulis kode biasa menggunakan Rust atau bahasa lain yang mendukung kompilasi LLVM, sehingga menghasilkan bukti pengetahuan nol yang efisien untuk memverifikasi eksekusi program yang benar.
Inovasi inti SP1 terletak pada pengurangan signifikan dalam hambatan pengembangan bukti tanpa pengetahuan, sambil mempertahankan kinerja dan fleksibilitas tingkat atas. Ini menjadikan pengembangan ZKP semudah menulis perangkat lunak biasa, memungkinkan infrastruktur blockchain (seperti Rollup, jembatan lintas rantai, orakel, dll.) untuk mencapai verifikasi melalui kode yang dapat dipelihara.
Bukti Nol-Knowledge ( ZKP ) dapat membuktikan kebenaran suatu perhitungan tanpa mengungkapkan data input apa pun. Kemampuan ini memiliki aplikasi yang luas di bidang blockchain, termasuk penskalaan, interoperabilitas lintas rantai, perlindungan privasi, jembatan, dan oracle.
Namun, kompleksitas pengembangan ZKP tradisional telah menjadi masalah besar. Kemunculan SP1 telah mengubah keadaan ini secara total.
Fitur Utama SP1
Kinerja yang sangat baik
SP1 lebih cepat 4-28 kali dibandingkan zkVM lainnya pada beban kerja blockchain yang sebenarnya (seperti verifikasi klien ringan, Rollup, dll), dan kinerjanya bahkan dapat bersaing dengan sirkuit khusus yang dioptimalkan secara manual. Versi terbaru SP1 Turbo (v4.0.0) saat dijalankan di kluster GPU, memverifikasi blok mainnet Ethereum hanya memerlukan 40 detik, dengan biaya serendah beberapa sen.
Mendukung pengembangan bahasa Rust
SP1 memungkinkan pengembang menggunakan Rust untuk menulis logika ZKP dan secara langsung memanfaatkan pustaka ekosistem Rust yang ada. Ini sangat menyederhanakan proses pengembangan, pengembang dapat langsung memodifikasi kode node blockchain yang sudah ada untuk menghasilkan ZKP, menghindari kerepotan menulis rangkaian kompleks dari awal.
Mekanisme Pra-kompilasi
SP1 memperkenalkan mekanisme "pra-kompilasi" yang dioptimalkan untuk operasi kriptografi umum (seperti keccak, sha256, verifikasi tanda tangan, dll). Pra-kompilasi ini secara signifikan mengurangi beban komputasi dan meningkatkan efisiensi SP1 dalam menangani beban kerja blockchain yang kompleks.
Sumber Terbuka dan Keamanan
SP1 adalah proyek yang sepenuhnya open source, menggunakan lisensi MIT/Apache 2.0. Arsitektur modularnya memungkinkan pengembang untuk menyesuaikan "pra-kompilasi", mengoptimalkan kinerja untuk kasus penggunaan tertentu. SP1 telah diaudit berkali-kali oleh beberapa perusahaan keamanan ZK terkemuka, dan telah mencapai hasil yang sangat baik dengan "nol kerentanan kritis" dalam kompetisi audit publik.
Mitra yang luas
Berbagai proyek terkenal telah menggunakan 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 bagian penting dari infrastruktur blockchain.
Skenario Aplikasi SP1
SP1 memiliki berbagai aplikasi di bidang blockchain:
Rollup: Membangun ZK Rollup menggunakan SP1, menghasilkan bukti nol-pengetahuan untuk transisi status, menghubungkan rantai utama untuk mencapai throughput tinggi dan biaya rendah.
Jembatan Lintas Rantai: SP1 dapat memverifikasi konsensus Layer 1, membangun jembatan lintas rantai yang aman dan efisien.
Interoperabilitas: Melalui SP1, Rollup dapat mencapai determinasi dan interoperabilitas yang cepat.
Orakel: SP1 mendukung komputasi besar-besaran di luar rantai dan menghasilkan bukti yang dapat diverifikasi di dalam rantai, secara signifikan mengurangi biaya Gas.
Privasi: SP1 dapat memungkinkan transaksi dan status pribadi, melindungi keamanan data pengguna.
Agregasi: SP1 dapat mengagregasi ZKP sejenis, lebih lanjut mengurangi biaya verifikasi di blockchain.
Secara keseluruhan, SP1 sebagai proyek zkVM yang berkinerja tinggi dan mudah digunakan, sedang memberikan dukungan penting untuk pengembangan infrastruktur blockchain.
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.
16 Suka
Hadiah
16
7
Bagikan
Komentar
0/400
DataBartender
· 17jam yang lalu
rust terbang cepat
Lihat AsliBalas0
GasGuzzler
· 18jam yang lalu
Segera keluarkan buku putih, lalu kita bisa mendapatkan keuntungan.
Lihat AsliBalas0
alpha_leaker
· 08-04 12:11
Akhirnya bisa menggunakan Rust, menyenangkan
Lihat AsliBalas0
MEV_Whisperer
· 08-02 21:07
Kecepatan jauh lebih cepat daripada sebelumnya, sedang ditunggu.
SP1: Proyek zkVM teratas dengan percepatan 28 kali memperoleh pendanaan sebesar 55 juta dolar AS
Succinct：Proyek zkVM tercepat SP1
Succinct adalah proyek ZK teratas yang telah mendapatkan pendanaan sebesar 55 juta dolar, dengan produk intinya SP1 yang dianggap sebagai zkVM tercepat saat ini.
SP1 memiliki fitur unggulan berikut:
SP1 Pendahuluan
SP1 adalah mesin virtual pengetahuan nol generik (zkVM), yang memungkinkan pengembang untuk menulis kode biasa menggunakan Rust atau bahasa lain yang mendukung kompilasi LLVM, sehingga menghasilkan bukti pengetahuan nol yang efisien untuk memverifikasi eksekusi program yang benar.
Inovasi inti SP1 terletak pada pengurangan signifikan dalam hambatan pengembangan bukti tanpa pengetahuan, sambil mempertahankan kinerja dan fleksibilitas tingkat atas. Ini menjadikan pengembangan ZKP semudah menulis perangkat lunak biasa, memungkinkan infrastruktur blockchain (seperti Rollup, jembatan lintas rantai, orakel, dll.) untuk mencapai verifikasi melalui kode yang dapat dipelihara.
Bukti Nol-Knowledge ( ZKP ) dapat membuktikan kebenaran suatu perhitungan tanpa mengungkapkan data input apa pun. Kemampuan ini memiliki aplikasi yang luas di bidang blockchain, termasuk penskalaan, interoperabilitas lintas rantai, perlindungan privasi, jembatan, dan oracle.
Namun, kompleksitas pengembangan ZKP tradisional telah menjadi masalah besar. Kemunculan SP1 telah mengubah keadaan ini secara total.
Fitur Utama SP1
SP1 lebih cepat 4-28 kali dibandingkan zkVM lainnya pada beban kerja blockchain yang sebenarnya (seperti verifikasi klien ringan, Rollup, dll), dan kinerjanya bahkan dapat bersaing dengan sirkuit khusus yang dioptimalkan secara manual. Versi terbaru SP1 Turbo (v4.0.0) saat dijalankan di kluster GPU, memverifikasi blok mainnet Ethereum hanya memerlukan 40 detik, dengan biaya serendah beberapa sen.
SP1 memungkinkan pengembang menggunakan Rust untuk menulis logika ZKP dan secara langsung memanfaatkan pustaka ekosistem Rust yang ada. Ini sangat menyederhanakan proses pengembangan, pengembang dapat langsung memodifikasi kode node blockchain yang sudah ada untuk menghasilkan ZKP, menghindari kerepotan menulis rangkaian kompleks dari awal.
SP1 memperkenalkan mekanisme "pra-kompilasi" yang dioptimalkan untuk operasi kriptografi umum (seperti keccak, sha256, verifikasi tanda tangan, dll). Pra-kompilasi ini secara signifikan mengurangi beban komputasi dan meningkatkan efisiensi SP1 dalam menangani beban kerja blockchain yang kompleks.
SP1 adalah proyek yang sepenuhnya open source, menggunakan lisensi MIT/Apache 2.0. Arsitektur modularnya memungkinkan pengembang untuk menyesuaikan "pra-kompilasi", mengoptimalkan kinerja untuk kasus penggunaan tertentu. SP1 telah diaudit berkali-kali oleh beberapa perusahaan keamanan ZK terkemuka, dan telah mencapai hasil yang sangat baik dengan "nol kerentanan kritis" dalam kompetisi audit publik.
Berbagai proyek terkenal telah menggunakan 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 bagian penting dari infrastruktur blockchain.
Skenario Aplikasi SP1
SP1 memiliki berbagai aplikasi di bidang blockchain:
Rollup: Membangun ZK Rollup menggunakan SP1, menghasilkan bukti nol-pengetahuan untuk transisi status, menghubungkan rantai utama untuk mencapai throughput tinggi dan biaya rendah.
Jembatan Lintas Rantai: SP1 dapat memverifikasi konsensus Layer 1, membangun jembatan lintas rantai yang aman dan efisien.
Interoperabilitas: Melalui SP1, Rollup dapat mencapai determinasi dan interoperabilitas yang cepat.
Orakel: SP1 mendukung komputasi besar-besaran di luar rantai dan menghasilkan bukti yang dapat diverifikasi di dalam rantai, secara signifikan mengurangi biaya Gas.
Privasi: SP1 dapat memungkinkan transaksi dan status pribadi, melindungi keamanan data pengguna.
Agregasi: SP1 dapat mengagregasi ZKP sejenis, lebih lanjut mengurangi biaya verifikasi di blockchain.
Secara keseluruhan, SP1 sebagai proyek zkVM yang berkinerja tinggi dan mudah digunakan, sedang memberikan dukungan penting untuk pengembangan infrastruktur blockchain.