Kekuatan baru di pasar zk-SNARKs: Analisis mendalam tentang Jaringan Pembuktian Singkat

1. Ringkasan

Teknologi zero-knowledge (zk) dengan cepat menjadi salah satu topik hangat di bidang Web3. Seiring dengan semakin matangnya aplikasi berbasis ZK, serta integrasi strategis zk-SNARKs ke dalam infrastruktur inti blockchain, teknologi ZK telah berubah dari konsep akademis yang kecil menjadi fokus perhatian luas dari pengembang dan pasar.

Untuk memenuhi permintaan yang semakin meningkat untuk bukti yang intensif secara komputasi, lapisan infrastruktur khusus yang baru telah muncul. Succinct Prover Network adalah protokol berbasis Ethereum yang bertujuan untuk membangun pasar terdesentralisasi untuk menghasilkan ZK. Jaringan ini mengadopsi arsitektur vApp, yang menggabungkan kinerja tinggi dan keamanan yang dapat diverifikasi. Inti dari sistem ini adalah token asli yang berfungsi sebagai mesin ekonomi untuk mendorong perkembangan pasar barang digital yang baru muncul.

Artikel ini akan membahas secara mendalam arsitektur Succinct Prover Network, fungsi token dan model ekonomi, serta dinamika pasar ekosistemnya.

2. Arsitektur Jaringan

Arsitektur Succinct Prover Network adalah vApp yang berbasis Ethereum. Model ini dirancang untuk memberikan pengalaman kinerja tinggi yang tradisional kepada pengguna aplikasi Web, sambil mempertahankan keamanan dan jaminan kepercayaan dari protokol terdesentralisasi.

Eksekusi dan Penyelesaian Terpisah

Inti dari arsitektur vApp adalah pemisahan antara eksekusi dan penyelesaian, yang mirip dengan pola desain sequencer Layer 2.

• Eksekusi off-chain dikelola oleh layanan berkinerja tinggi yang mengelola proses lelang, distribusi bukti, dan interaksi pengguna secara real-time. Ini memungkinkan pengguna untuk mengirimkan permintaan dan menerima pembaruan tanpa khawatir tentang penundaan konfirmasi blok.
• Penyelesaian di blockchain dilakukan di mainnet Ethereum, yang menggunakan ZK untuk secara berkala memverifikasi status jaringan dan keakuratan operasi off-chain.

Metode campuran ini memastikan dana pengguna selalu dilindungi oleh kontrak Ethereum dan dapat ditarik secara langsung, sementara operasi pasar tetap cepat dan efisien.

Komponen Kunci

Jaringan ini terdiri dari dua komponen utama:

• Layanan lelang off-chain: Ini adalah entitas off-chain utama yang bertanggung jawab untuk mencocokkan permintaan pengguna dengan penyedia bukti. Ia menerima permintaan bukti, mengumpulkan tawaran, menjalankan lelang, dan mendistribusikan pekerjaan. Pengguna berinteraksi langsung dengan layanan ini melalui panggilan RPC untuk mendapatkan pengalaman waktu nyata.
• Kontrak penyelesaian di blockchain: sekumpulan kontrak pintar yang diterapkan di Ethereum, berfungsi sebagai titik jangkar kepercayaan jaringan. Kontrak-kontrak ini bertanggung jawab untuk menyelesaikan akar status yang secara berkala diserahkan oleh pelelang dan bukti ZK, sehingga memastikan integritas jaringan.

Basis Data yang Dapat Diverifikasi

Untuk memastikan integritas operasi off-chain, layanan lelang dibangun di atas basis data yang dapat diverifikasi. Arsitektur backend ini memungkinkan siapa saja untuk memverifikasi secara independen semua pembaruan saldo dan status pemenuhan bukti. Ini mencakup:

• Sebuah basis data yang menyimpan saldo pengguna, permintaan yang menunggu, dan status pemenuhan. Basis data ini mendukung operasi baca dan tulis.
• Sebuah prover berbasis SP1, digunakan untuk membaca database dan menghitung status baru jaringan menggunakan bukti ZK. Bukti ini akan memverifikasi semua transisi status, seperti pembaruan saldo dan distribusi bukti, lalu diselesaikan di Ethereum untuk diverifikasi oleh publik.

3. Ekonomi Token

Token asli jaringan adalah jenis token utilitas berbasis Ethereum ERC-20, yang menjadi tulang punggung ekonomi Succinct Prover Network. Desainnya mencakup tiga fungsi utama, yaitu memfasilitasi pembayaran, memastikan keamanan jaringan, dan mengoordinasikan kepentingan semua peserta.

Praktis Inti

Kegunaan token ini tercermin dalam berbagai aspek:

• Pembayaran: Token asli adalah satu-satunya token pembayaran dalam jaringan. Jika pemohon menginginkan buktinya, mereka harus membayar biaya yang sesuai kepada pembukti, dengan biaya dibayar menggunakan token asli. Ini menciptakan permintaan transaksi yang langsung dan berkelanjutan untuk token.
• Keamanan: Menjamin keamanan jaringan melalui staking. Validator harus mempertaruhkan token asli untuk berpartisipasi dalam lelang, memastikan mereka bertindak dengan itikad baik. Jika validator bertindak jahat atau melewatkan tenggat waktu, sebagian dari staking mereka akan disita.
• Insentif: Token asli digunakan untuk mendorong penyedia bukti berinvestasi dalam infrastruktur dan terus menyediakan harga yang kompetitif.

Pasokan dan Penerbitan Token

Jumlah pasokan awal token asli adalah 1 miliar, tetapi bukan batas tetap, karena protokol mencakup mekanisme penerbitan token yang berkelanjutan. Laju penerbitan baru tidak tetap, tetapi merupakan parameter yang dikendalikan oleh sistem tata kelola terdesentralisasi jaringan, memungkinkan komunitas untuk secara dinamis menyesuaikan insentif seiring dengan perkembangan jaringan.

Staking dan Delegasi

Untuk menjaga keamanan ekonomi, setiap pengguna dapat mempertaruhkan token asli. Sistem mendukung dua cara utama:

• Staking Penjamin: Staking token asli oleh penjamin, maka akan mendapatkan kualifikasi untuk berpartisipasi dalam lelang dan mengeksekusi permintaan bukti.
• Penempatan: Setiap pemegang token asli dapat menempatkan token mereka kepada penjamin yang dipilih. Ini memungkinkan mereka untuk berkontribusi pada keamanan jaringan dan mendapatkan sebagian dari pendapatan yang dikenakan oleh penjamin yang dipilih, tanpa harus menjalankan perangkat keras sendiri. Seorang penempatan hanya dapat menempatkan satu penjamin pada satu waktu.

Setelah permintaan bukti berhasil dieksekusi, biaya yang dibayarkan oleh pemohon dan token yang diterbitkan oleh jaringan akan dibagikan di antara pembuktian yang menang, delegatornya, dan kas protokol.

Tata Kelola

Pemegang token asli adalah pengatur akhir dari protokol, yang memiliki hak untuk memberikan suara pada parameter jaringan yang penting. Ini termasuk menetapkan biaya jaringan, menyesuaikan persyaratan staking, dan memutuskan bentuk mekanisme lelang.

4. Mekanisme Lelang dan Permintaan

Jaringan Pembuktian Singkat menggunakan struktur pasar yang dirancang dengan cermat untuk memfasilitasi penemuan harga dan mendistribusikan tugas pembuatan bukti kepada pembuktian yang paling efisien. Sistem ini dibangun dengan fleksibel dan dapat memenuhi berbagai kebutuhan pengguna melalui berbagai mode layanan.

Mekanisme Lelang

Jaringan ini menggunakan permintaan alokasi lelang waktu nyata. Mekanisme lelang ini mampu mencapai penemuan harga yang efisien dengan keterlambatan yang minimal dan menggunakan token asli untuk pembayaran.

• Versi awal: Versi pertama dari jaringan ini menggunakan lelang terbalik yang sederhana, yang mengalokasikan permintaan bukti kepada pembuktian dengan tawaran terendah.
• Evolusi Masa Depan: Seiring waktu, melalui mekanisme tata kelola, mekanisme ini dapat beralih ke mode "kompetisi bukti". Mode ini bertujuan untuk mendistribusikan hadiah kepada kelompok pembuktian yang lebih luas, sehingga meningkatkan tingkat desentralisasi.

Seluruh proses lelang diproses oleh layanan lelang off-chain, tetapi siapa pun dapat menggunakan zk-SNARKs yang dipublikasikan secara berkala di chain untuk memverifikasi hasilnya secara independen.

Pengalaman Pengguna

Proses permintaan dan pelaksanaan bukti dirancang agar sederhana dan aman.

• Untuk pemohon: Pengguna dapat dengan mudah meminta bukti, pertama-tama mentransfer token asli kepada lelang untuk membayar biaya. Kemudian, mereka mengirimkan permintaan bukti melalui panggilan RPC, menentukan program yang akan dibuktikan, tenggat waktu, dan biaya maksimum yang bersedia dibayar. Lelang off-chain akan mencocokkan permintaan ini dengan pembuktian yang memenuhi syarat dengan harga terendah. Setelah bukti selesai dan diserahkan, biaya akan dipindahkan, dan seluruh transaksi akan diselesaikan di Ethereum melalui satu bukti ZK, memungkinkan pemohon untuk memverifikasi apakah itu telah diproses dengan benar.
• Untuk pembuktian: Pembuktian bersaing untuk hak menjalankan permintaan. Untuk memenuhi syarat untuk lelang tertentu, token asli yang dipertaruhkan oleh pembuktian harus memenuhi persyaratan minimum yang ditetapkan oleh pemohon. Pembuktian yang memenuhi syarat mengajukan tawaran kepada pelelang. Pembuktian dengan tawaran terendah memenangkan lelang dan menerima bukti, yang harus diselesaikan sebelum tenggat waktu yang ditentukan. Jika berhasil, mereka akan menerima pembayaran dalam bentuk token asli. Jika gagal mengajukan pembuktian tepat waktu, setoran mereka akan dipotong.

Mode Layanan

Jaringan ini menyediakan fleksibilitas bagi pengguna melalui dua model layanan yang berbeda:

• Permintaan sesuai kebutuhan: Pengguna dapat mengirimkan permintaan ke jaringan sesuai kebutuhan, dan permintaan ini akan masuk ke lelang publik yang terbuka untuk semua pembuktian yang online. Ini adalah pilihan yang ideal bagi pengguna yang mencari harga paling kompetitif atau aplikasi yang kadang-kadang mengalami permintaan besar.
• Pemesanan di luar rantai: Untuk pengguna yang membutuhkan jaminan keandalan yang lebih kuat atau permintaan yang tinggi dan besar, jaringan mendukung penandatanganan perjanjian layanan di luar rantai (SLA) dengan penyedia bukti tertentu. Perjanjian ini dapat mencantumkan penyedia bukti yang disetujui dalam daftar putih, memberikan mereka kelayakan penawaran eksklusif. Karena sifat jangka panjang dari perjanjian ini, harga mungkin lebih menguntungkan.

5. Dinamika Pasar dan Ekosistem

Sistem ekonomi kripto yang sukses tidak hanya memerlukan teknologi yang kuat, tetapi juga ekosistem partisipan yang dinamis serta strategi yang jelas untuk menghasilkan efek jaringan. Token asli adalah inti dari sistem ekonomi yang dirancang untuk mengoordinasikan tindakan peserta yang rasional dan independen di pasar yang makmur.

Pasar dua arah

Jaringan ini telah membangun pasar bilateral klasik, yang merupakan pola umum di bidang DePIN. Dalam hal ini, infrastruktur yang dikoordinasikan adalah perangkat keras komputasi yang diperlukan untuk menghasilkan ZK (GPU, FPGA, ASIC). Kedua belah pihak masing-masing adalah:

• Pihak yang membutuhkan (pemohon): Kelompok ini terdiri dari protokol blockchain, aplikasi, dan pengembang yang memerlukan ZK untuk menjalankan bisnis. Para pemohon ini menciptakan permintaan organik untuk layanan jaringan dan menjadi sumber pendapatan utama yang mengalir ke dalam ekosistem dalam bentuk pembayaran menggunakan token asli.
• Penyedia (Pembuktian): Kelompok ini terdiri dari individu dan entitas profesional yang memiliki dan mengoperasikan perangkat keras komputasi yang diperlukan untuk menghasilkan ZK. Mereka menginvestasikan infrastruktur yang memerlukan modal intensif untuk bersaing dalam memberikan layanan, menghasilkan biaya yang dihargai dalam token asli dan hadiah jaringan.

Jaminan Ekosistem

Bagi pasar yang baru muncul, salah satu tantangan terbesar adalah masalah "cold start": tanpa permintaan, penyedia tidak akan bergabung; tanpa pasokan penyedia yang dapat diandalkan, pemohon juga tidak akan bergabung. Succinct Labs mengatasi masalah ini dengan fokus memastikan permintaan pasar bahkan sebelum peluncuran mainnet.

Proyek ini telah menjalin kemitraan dengan banyak proyek terkemuka di bidang Web3, memastikan permintaan yang instan dan besar sejak hari pertama. Langkah ini mengurangi risiko ekonomi bagi para pembuktian, dan memastikan token asli memiliki kecepatan transaksi instan sejak awal, mendukung seluruh model ekonomi.

Pada akhirnya, Jaringan Pembuktian Singkat didasarkan pada premis sederhana: masa depan komputasi dapat diverifikasi. Token asli adalah mekanisme kunci untuk mewujudkan masa depan ini, yang mengubah bukti kriptografis dari teknologi niche menjadi komoditas digital yang dapat diakses oleh semua orang dan memiliki likuiditas.