Startup zero-knowledge proof (ZKP) Succinct Labs mengumumkan peluncuran kompetisi audit mesin virtual zero-knowledge (zkVM) sumber terbuka pertama. Hal ini bertujuan untuk meningkatkan transparansi dan keamanan dalam teknologi mereka melalui keterlibatan komunitas.

Sesuai aturan kompetisi, individu yang berhasil memecahkan testnet SP1 akan diberikan $110,000. Kompetisi audit, yang hanya dilakukan melalui undangan, dimulai pada pukul 20:00 UTC pada tanggal 3 Juni dan akan berlanjut hingga pukul 20:00 UTC pada tanggal 24 Juni. Undangan dapat diperoleh dari pasar solusi keamanan Web3, Cantina, dalam waktu 24 jam sejak kompetisi dimulai. Peserta didorong untuk me-retweet semua postingan pengumuman di platform media sosial X agar dapat diundang.

Audit berfokus pada program inti SP1. Baru-baru ini, sistem pembuktian, batasan, dan rekursi inti SP1 menjalani audit yang dilakukan oleh dua auditor tanpa pengetahuan (ZK) terkemuka. Kompetisi ini bertindak sebagai proses verifikasi sekunder untuk memastikan bahwa SP1 bebas dari potensi eksploitasi atau kerentanan.

Untuk membantu peserta dalam memahami setiap program, panduan kode SP1 tersedia di server Cantina Discord.

SP1 mewakili zkVM berkinerja tinggi, sumber terbuka sepenuhnya, dan ramah kontributor yang dirancang untuk memverifikasi eksekusi program Rust atau program apa pun yang dikompilasi dengan LLVM.

Ini adalah sumber terbuka di bawah lisensi MIT / Apache 2.0, tanpa kebingungan kode dengan semua pengembangan dilakukan secara publik. Tidak seperti zkVM yang ada dengan logika kendala sumber tertutup dan tidak dapat diubah, SP1 menampilkan arsitektur modular yang dirancang untuk penyesuaian sejak awal. Kemampuan penyesuaian ini memungkinkan individu untuk menambahkan “prekompilasi” ke logika inti zkVM, sehingga menghasilkan peningkatan kinerja yang signifikan.

Mengumumkan kompetisi audit pertama untuk zkVM sumber terbuka 100%. Hadiah $110.000 jika Anda dapat memecahkan SP1. Uji keterampilan Anda pic.twitter.com/V3YEIKYrZV

— Ringkas (@SuccinctLabs) 3 Juni 2024

Apa itu Lab Ringkas?

Succinct Labs sedang mengembangkan jaringan pembuktian terdesentralisasi untuk memfasilitasi pembuatan aplikasi dan infrastruktur blockchain yang diamankan dengan verifikasi kriptografi. Dengan menyatukan rantai pasokan bukti, ia menawarkan infrastruktur pembuatan bukti dengan ketersediaan tinggi dengan harga kompetitif untuk rollup, koprosesor, dan aplikasi lain yang memanfaatkan ZKP.

Baru-baru ini, startup ini mengumpulkan $55 juta dalam bentuk pendanaan awal dan Seri A, dipimpin oleh Paradigm Capital, dengan partisipasi dari Robot Ventures, Bankless Ventures, Geometry, dan investor terkemuka lainnya.

Pos Succinct Labs Meluncurkan Kompetisi Audit ZkVM Sumber Terbuka Dengan Hadiah $110K muncul pertama kali di Metaverse Post.