Apa itu Singkat?

Succinct sedang mengembangkan infrastruktur yang memungkinkan semua pengembang untuk menggunakan teknologi bukti pengetahuan nol (ZK proof) dengan efisien. Saat ini, Succinct telah meluncurkan zkVM SP1 sumber terbuka, modular, dan saat ini sedang mengembangkan jaringan prover terdesentralisasi, Jaringan Prover Succinct. Di masa depan, jaringan ini akan mampu menjalankan ZK-proof Rollups, Coprocessors, dan infrastruktur lainnya, berfungsi sebagai “infrastruktur lebih lanjut untuk layanan infrastruktur ZK.”

Mengapa Teknologi Bukti ZK Penting?

Bukti ZK dapat secara efektif melindungi privasi saat menyelesaikan proses bukti. Misalnya, anggap seseorang ingin memberikan perusahaan bukti laporan pemeriksaan kesehatan tanpa ingin menyebarkan atau menyimpan data medis sensitif tersebut. Dengan menghasilkan bukti ZK, pengguna dapat membuktikan status kesehatan mereka memenuhi persyaratan perusahaan tanpa perlu memberikan laporan data medis sebenarnya, sehingga menghindari risiko kebocoran privasi.

Dalam peta jalan untuk adopsi massal teknologi blockchain, bukti ZK dianggap sebagai teknologi kunci yang penting untuk masa depan blockchain. Mereka memungkinkan pengembang blockchain untuk membuktikan secara tidak dapat dibalikkan setiap pernyataan, seperti fungsi transisi keadaan dari blockchain atau bukti konsensus.

Selain itu, bukti ZK bersifat tanpa izin, tidak bergantung pada modal eksternal atau operator untuk keamanan, mampu membuktikan validitas dari setiap pernyataan; Bukti ZK juga efisien, hanya memerlukan satu pihak untuk menghasilkannya dan memungkinkan siapa pun untuk memverifikasinya.

Pengembangan Tim dan Situasi Pendanaan

Succinct didirikan pada tahun 2022, dengan tim yang kecil dan kantor di San Francisco. Pendiri sebelumnya telah menulis dan menerbitkan penelitian tentang ZK bridges, interoperabilitas, dan pemesanan bersama. Tim juga memiliki pengalaman bertahun-tahun dalam bekerja di bidang platform pelatihan model, platform data, dan kecerdasan buatan.

Banyak klien Succinct adalah tim teratas di industri. Saat ini, Wormhole, Lido, Near, Celestia (Blobstream X), Avail (jembatan Vector), dan Gnosis (jembatan asli) sudah menggunakan versi awal Jaringan Prover yang dikembangkan oleh Succinct, menciptakan ZK-proof DApps yang memenuhi standar protokol Succinct.

Pada 22 Maret 2024, Succinct mengumumkan bahwa perusahaan menerima pendanaan Seri A sebesar $43 juta yang dipimpin oleh Paradigm. Hingga saat ini, total pendanaan tim (putaran awal dan Seri A) mencapai $55 juta, dengan partisipan termasuk Robot Ventures, Bankless Ventures, Geometry, ZK Validator, dan investor malaikat seperti pendiri Eigenlayer Sreeram Kannan, rekan pendiri Polygon Sandeep Nailwal, rekan pendiri Polygon Zero Daniel Lubarov, dan rekan pendiri Bitwise Elad Gil.

Sumber: Twitter Tim Proyek

Latar Belakang Tim Pengembang

Uma Roy

Uma Roy adalah salah satu pendiri dan CEO Succinct. Di masa remajanya, dia ikut dalam kualifikasi untuk Olimpiade Matematika Junior Amerika Serikat (USAJMO), yang dianggap sebagai salah satu kompetisi paling bergengsi untuk siswa sekolah menengah di Amerika Serikat. USAJMO biasanya memilih pesertanya berdasarkan indeks AMC 10, dengan hanya 230-240 siswa yang lolos ke babak penyisihan setiap tahunnya.

Uma memperoleh gelar sarjana dan magisternya dari MIT, di mana ia melanjutkan minatnya di sekolah menengah dalam teori representasi (cabang dari aljabar abstrak) dan aljabar kuantum. Setelah tahun 2019, dia beralih fokus ke platform data dan AI, memulai program residensi satu tahun di Google Brain AI pada bulan Agustus. Pada tahun 2021, dia menjadi insinyur pertama di startup Rantai Pasokan, yang dikenal dengan klien-klien terkenal seperti Duolingo, membantu mereka mengembangkan platform pemantauan model pembelajaran mesin.

John Guibas

John Guibas adalah salah satu pendiri Succinct, dan menurut Google Scholar, dia telah menerbitkan makalah sejak tahun 2017, dengan jumlah kutipan saat ini mencapai 447. Pada tahun 2017, ketika masih bersekolah di SMA, John menerima hibah AI dari investor terkenal Nat Friedman dan Daniel Gross (yang sebelumnya telah berinvestasi di Figma dan Stripe). Awalnya, proyek ini memberikan hibah penelitian untuk mendukung penelitian AI yang menjanjikan tanpa syarat; kemudian, proyek tersebut berkembang menjadi akselerator yang mendukung startup AI tahap awal. Pada saat itu, topik yang diteliti oleh John dan dua orang lainnya sudah terkait dengan privasi: mereka meneliti bagaimana menggunakan GANs untuk menghasilkan data pelatihan yang dapat digunakan dan melindungi privasi.

Pada tahun 2019, dia mendaftar di Stanford untuk belajar ilmu komputer, menghabiskan sebagian besar tahun kuliahnya di laboratorium DAWN Stanford dan pusat riset NVIDIA, berfokus pada sistem basis data dan pembelajaran mesin. Pada tahun 2022, dia menerima Paradigm Fellowship dan keluar dari Universitas Stanford selama tahun junior. Pada tahun yang sama, dia juga ikut program residensi di Yayasan 0xPARC (sebuah yayasan yang mendukung ekosistem Ethereum), di mana dia melakukan penelitian teknologi ZK-proof.

Pada tahun 2022, ia mulai bekerja sama dengan para profesor dan mitra penelitian untuk mengembangkan purwarupa Succinct. Mereka menemukan bahwa zkSNARK sangat cocok untuk memverifikasi model ML, yang mengarah pada pembentukan lapisan interoperabilitas tanpa kepercayaan pada ekosistem Ethereum yang memanfaatkan zkSNARK. Kontributor kunci termasuk Daniel Kang, Tatsu Hashimoto, Yi Sun, dan Matei Zaharia.

Pada tahun 2023, karena mendirikan Succinct, John menerima Fellowship Thiel bergengsi. Beasiswa ini tersedia untuk individu di bawah 22 tahun dan menyediakan $100,000 untuk secara bebas menjelajahi selama dua tahun. Penerima terkenal termasuk pendiri Ethereum Vitalik Buterin dan pendiri Blur/Blast, Tieshun Roquerre.

Masalah Apa yang Dipecahkan oleh Singkat?

Isu 1: Kepercayaan Telah Menghadapi Banyak Tantangan di Ruang Blockchain

Keamanan Jembatan Cross-chain: Jembatan cross-chain secara konsisten rentan terhadap serangan hacker. Masalah keamanan ini masih belum terpecahkan, menyebabkan seringnya pelanggaran dan kerugian dana di berbagai jaringan blockchain.

Bukti Penipuan Multisig: Rilis Blast membawa masalah dengan multisig (tanda tangan ganda) ke permukaan ketika pengguna menyoroti ketiadaan bukti penipuan dalam banyak solusi Layer 2 yang sering digunakan orang. Penemuan ini menunjukkan bahwa kebanyakan platform Layer 2 tidak memiliki mekanisme untuk membuktikan atau membantah aktivitas penipuan dalam operasi multisig mereka.

Node Validasi Terpusat: Pada tahun 2022, tuduhan muncul mengenai BNB Chain, yang dituduh dikendalikan oleh sebuah komite yang dipilih oleh Binance. Komite ini, yang bergantian memproduksi blok, terdiri dari 21 node validasi yang mengendalikan miliaran dolar. Node-node ini dipilih dari 11 anggota yang dikendalikan oleh Binance, menimbulkan kekhawatiran tentang sentralisasi dan potensi untuk manipulasi.

Skalabilitas versus Kepercayaan: Kepercayaan sering kali menjadi korban dalam pencarian skalabilitas. Mekanisme staking saat ini tidak efisien, dan merekrut staker atau operator node kompleks dan memakan waktu. Faktor-faktor ini berkontribusi pada biaya tinggi yang menghambat skalabilitas.

Menanggapi masalah ini, Succinct memperjuangkan slogan “Kebenaran Terprogram.” Arsitektur blockchain saat ini dibangun di atas kepercayaan, yang sangat rentan ketika dihadapi dengan sifat manusia. Sebagaimana yang diungkapkan oleh Uma, sang pendiri, “Struktur ini bergantung pada kebenaran kriptografis, bukan kepercayaan” (diamankan oleh kebenaran kriptografis, bukan kepercayaan). Adopsi luas bukti Zero-Knowledge (ZK) dipandang sebagai satu-satunya cara untuk mencapai generasi baru arsitektur blockchain yang lebih aman, dapat diskalakan, dan inovatif.

Issue 2: Bukti ZK Penting tapi Terlalu Rumit

Saat ini, implementasi bukti ZK memerlukan sejumlah besar kustomisasi. Succinct telah bekerja pada banyak proyek ZK Bridge sebelumnya dan menyadari bahwa setiap proyek menuntut kustomisasi yang kompleks dan perlu diterapkan secara berulang. Yang terpenting, tidak ada yang menikmati menulis sirkuit ZK (sirkuit adalah representasi fungsi logis dalam konteks bukti tanpa pengetahuan), yang memerlukan pengetahuan latar belakang matematika yang luas.

Selama proses ini, Succinct menyadari bahwa jawabannya terletak di zkVM (Mesin Virtual Zero-Knowledge), yang mengarah pada pengembangan SP1. Pengembang dapat menyebarkan kode Rust ke produksi, memantau itu, dan meminta bukti, membuat konfigurasi API jauh lebih mudah. Succinct juga menawarkan browser bukti bawaan yang memungkinkan pengembang untuk melihat semua bukti dan melacak segala sesuatu.

Masalah 3: Domain Bukti ZK Saat Ini Terpecah Belah

Titik ini mengatasi masa depan. Mereka percaya bahwa meskipun teknologi ZK berkembang dengan cepat, rantai pasokan untuk bukti ZK terfragmentasi dan tidak dapat mengikuti kemajuan dalam teknologi ZK.

Oleh karena itu, DApps saat ini berbasis pada bukti ZK memerlukan pengembang untuk melakukan implementasi untuk kebutuhan tertentu, seringkali menghasilkan penggunaan satu kali dan terlalu bergantung pada penentu terpusat, yang memperlambat kecepatan pengembangan dan meningkatkan biaya. Mengintegrasikan desain implementasi standar ke setiap bagian dari stack, termasuk L2, co-processors, Bridges, dll., memerlukan infrastruktur ZK yang lebih kompleks. Ini adalah tujuan dari Jaringan Penyedia Ringkas yang saat ini sedang dalam pengembangan.

Produk Succinct dan Mekanisme Operasional

zkVM Open Source, SP1

Sumber: Blog Resmi

Pada 14 Februari 2024, Succinct mengumumkan rilis SP1 di Twitter. Pengembangan SP1 memiliki beberapa kesamaan dengan evolusi AI. Sebelum GPT-4, terlibat dalam pengembangan AI memerlukan serangkaian tugas kompleks: pengumpulan data, pembersihan data, pelatihan model, penyetelan model, dll., bersama dengan keahlian yang relevan. Dengan hadirnya GPT-4, siapapun dapat memanfaatkan AI dengan memanggil API OpenAI.

Dalam hal yang sama, SP1, atau sembarang open-source zkVM canggih, mirip dengan GPT-4 dari dunia Bukti Pengetahuan Nol (ZKP). Di masa depan, semua zkRollups, zk Oracles, atau zkBridges akan dapat membuktikan kode ZKP mereka yang ditulis dalam bahasa Rust standar atau WASM melalui zkVM, menghilangkan kebutuhan untuk menyusun sirkuit yang rumit.

Sebelumnya, diyakini bahwa proyek ZK harus menulis sirkuit khusus untuk mencapai kinerja yang dapat digunakan. Namun, SP1 telah membawa kinerja zkVM berbasis umum mendekati sirkuit ZK yang disesuaikan, menggema sentimen pendiri Uma yang meninggalkan 'semua hal sirkuit neraka' di belakang.

SP1 menyediakan berbagai paket dan pustaka untuk pengembang untuk digunakan kembali, dengan keterbukaan lengkapnya menjadi aspek paling signifikan. ZkVM sebelumnya memiliki logika kendala sumber tertutup yang tidak dapat dimodifikasi. SP1, di sisi lain, mengadopsi arsitektur modular yang dapat disesuaikan dari awal. Kemampuan untuk disesuaikan ini memungkinkan pengembang untuk menambahkan "prekompilasi" ke logika inti zkVM, secara signifikan meningkatkan kinerja.

Keberhasilan dalam menjadi open-source tidak dapat dianggap remeh. RISC Zero, pesaing utama di bidang ini, memiliki logika inti sumber tertutup; sementara versi yang dikompilasi mereka adalah open-source, tetapi tidak dapat dimodifikasi oleh tim eksternal. Ketidakmampuan Succinct untuk memodifikasi RISC Zero mendorong tim untuk membuat zkVM yang benar-benar open-source, bertujuan untuk produk yang dapat disesuaikan, dapat dimodifikasi komunitas, dan bebas dari risiko vendor atau platform.

Alasan lain untuk menekankan pada open-source adalah bahwa SP1 sendiri dikembangkan menggunakan Plonky3 dari Polygon Zero. Misalnya, logika kendala Succinct diungkapkan menggunakan Air Builder dari Plonky3. Plonky adalah perpustakaan/komponen modular/toolkit yang dapat digunakan pengembang untuk membangun sistem bukti baru dan zkVMs, dengan memiliki komunitas open-source yang kuat. Succinct telah memanfaatkan Plonky2 dalam banyak proyek masa lalu, dengan Plonky3 menjadi versi Plonky2 yang lebih berkualitas yang masih terus diperbaiki. Succinct bahkan telah menggabungkan beberapa PR ke upstream Plonky3, berkontribusi pada komunitas open-source Plonky.

Jaringan Bukti Terdesentralisasi: Jaringan Pembuktian Ringkas

Jaringan Succinct Prover saat ini sedang dalam pengembangan. Ini adalah jaringan lapisan infrastruktur yang dihosting, memungkinkan aplikasi terdesentralisasi (DApps) untuk mengoutsourcing proses generasi bukti mereka ke pasar bukti. Dengan memanfaatkan SP1 atau zkVM lainnya, pengembang dapat dengan mudah mendeploy DApps mereka yang menggunakan bukti pengetahuan nol (ZK) ke jaringan ini. Selain itu, jaringan ini berfungsi sebagai pasar bukti terbuka: pengembang hanya perlu mengajukan permintaan bukti ke jaringan, dan mekanisme pelelangan akan mencocokkan permintaan ini dengan pembuktian yang beroperasi pada perangkat keras terbaru; pembuktian juga dapat menghasilkan biaya dengan menghasilkan bukti yang hemat biaya dan dapat diandalkan dalam jaringan terbuka ini.

Masa Depan Rantai Pasokan Bukti

Ketika bukti dihasilkan, itu melibatkan berbagai peserta dan langkah-langkah, yang dapat disebut sebagai rantai pasokan bukti. Generasi bukti beroperasi sebagai berikut: pengembang meminta bukti, mengekspresikan logika mereka menggunakan sistem bukti tertentu, apakah itu melalui sirkuit atau zkVM; kemudian, bukti dihasilkan dan mungkin aggreGate.iod sebelum mencapai rantai DApp. Pada November 2023, Succinct meluncurkan "frontend" pertama dari Succinct Prover Network: alpha.succinct.xyz. DApps sekarang dapat digunakan melaluinya. Ini merupakan versi sederhana dari rantai pasokan bukti, dengan platform Succinct itu sendiri saat ini berfungsi sebagai rantai pasokan bukti lengkap. Namun, ini bukan keadaan berkelanjutan karena dua alasan utama: kesulitan dalam penetapan harga, karena kompleksitas rantai pasokan bukti meningkat, begitu pula kesulitan penetapan harga; dan perangkat keras dapat memperkenalkan kompleksitas ke dalam harga, dengan potensi berbagai pemasok perangkat keras, menimbulkan pertanyaan apakah DApp ingin bernegosiasi dengan 20 pemasok perangkat keras yang berbeda untuk menemukan harga atau kapasitas terbaik.

Apa yang Succinct bertujuan lakukan adalah menyediakan ruang bagi semua orang dalam rantai pasokan bukti untuk berkoordinasi satu sama lain, menjadikan pasar jaringan bukti terbuka sebagai komponen penting dari seluruh rantai pasokan bukti. Di dalam ekosistem rantai pasokan bukti masa depan, karena semua DApps dan infrastruktur mewarisi sistem bukti ZK terbaru dan teknologi perangkat keras yang disesuaikan dalam Jaringan Pembuktian Succinct, pasar jaringan bukti terdesentralisasi ini akan mencapai ekonomi skala. Hal ini memungkinkan pengembang untuk mengakses bukti ZK yang efisien dan murah (mekanisme pasar bebas yang kompetitif memastikan DApps dapat memperoleh biaya yang paling rendah mungkin); di masa depan, bukti terdesentralisasi dapat dihasilkan pada berbagai perangkat keras, mengurangi biaya bukti sebesar 10-100 kali, akhirnya membuat bukti ZK dapat diterapkan pada semua infrastruktur.

Analisis Kompetitif

Banyak proyek sumber terbuka memiliki tujuan yang serupa dengan SP1:

• Tim Andreessen, termasuk Justin Thaler dan Sam Ragsdale, telah melakukan penelitian tentang Lasso dan Jolt. Succinct percaya bahwa pengembangan teknologi ini mungkin menjadi bagian dari SP1 di masa depan, dan sebaliknya.
• Proyek berbasis metode lipat
• Proyek lain yang mirip dengan metode ZK-Stark-FRI

Tim menunjukkan bahwa, jika memungkinkan, jaringan Succinct Prover di masa depan akan mendukung tidak hanya SP1 tetapi juga Lasso, Jolt, atau RISC Zero sumber terbuka, karena mereka bertujuan untuk modularitas dan fleksibilitas yang lengkap. Pendekatan ini saja dapat memastikan pengembangan teknologi ZK secara cepat dengan cara yang paling berkelanjutan.

Banyak proyek sumber terbuka memiliki tujuan yang serupa dengan SP1. Tim Andreessen, termasuk Justin Thaler dan Sam Ragsdale, telah melakukan penelitian tentang Lasso dan Jolt. Succinct meyakini bahwa pengembangan teknologi ini mungkin akan menjadi bagian dari SP1 di masa depan, dan sebaliknya.

Tim menunjukkan bahwa, jika memungkinkan, jaringan Succinct Prover di masa depan akan mendukung tidak hanya SP1 tetapi juga Lasso, Jolt, atau RISC Zero sumber terbuka, karena mereka bertujuan untuk modularitas dan fleksibilitas yang lengkap. Pendekatan ini sendiri dapat memastikan pengembangan teknologi ZK secara cepat dengan cara yang paling berkelanjutan.

Kesimpulan

Keamanan

Saat ini, peta jalan untuk Succinct hanyalah infrastruktur dan tidak bertanggung jawab atas keamanan. Pada dasarnya, itu hanyalah metode untuk menyimpan biner sirkuit dan API, yang dapat digunakan untuk meminta bukti, melaksanakan pembuktian terdistribusi dalam skala besar, dan sebagainya. Sirkuit-sirkuit itu sendiri perlu diaudit, dan para pengembang yang menulis sirkuit-sirkuit ini harus memastikan integritas dari apa yang dibuktikan, bukan platformnya. Kesulitan menulis dan mengaudit sirkuit mungkin masih menjadi hambatan untuk adopsi ZK (Zero-Knowledge) proof secara luas.

Hambatan Tinggi untuk Node

Perangkat lunak node sebenarnya yang berjalan di Jaringan Pemeriksa Singkat mungkin sangat terbatas, mengingat ambang batas yang tinggi untuk pemeriksa, yang harus:

• Berpartisipasi dalam lelang bukti, menawarkan untuk menghasilkan bukti dengan harga tertentu
• Dapat mengunduh biner sirkuit dan artefak
• Dapat benar-benar menjalankannya dan menghasilkan bukti

Oleh karena itu, di masa depan, Succinct mungkin perlu mempertimbangkan insentif jaringan atau aktivitas apa yang dapat mempromosikan partisipasi penyedia.