ZK proof: "Rencana Manhattan" Ethereum

Penulis asli: @0xJaehaerys

Penyusun: LlamaC

“Pesan rekomendasi: Artikel ini terutama menjelaskan bagaimana Zero-Knowledge Proofs (ZK-Proofs) menciptakan pasar komputasi yang dapat diverifikasi baru bernilai miliaran dolar, serta keunggulan teknologi, posisi pasar, dan kemajuan terbaru terkait data ekosistem dari perusahaan Succinct dan token asli mereka $PROVE di bidang ini. Sebagai tren terdepan, FDV mereka telah menunjukkan pertumbuhan penilaian yang signifikan, harap lakukan riset Anda sendiri.”

Pendahuluan

Artikel ini dari co-founder Succinct, Uma Roy, menandakan sebuah perubahan paradigma. Ini bukan pengumuman lahirnya sebuah token baru, tetapi sebuah ekonomi baru yang didorong oleh data dan sedang muncul secara real-time: ekonomi komputasi yang dapat diverifikasi. Selama bertahun-tahun, teknologi zero-knowledge (ZK) telah dianggap sebagai akhir teori untuk skalabilitas blockchain. Sekarang, ia telah menjadi kenyataan teknik, membuka salah satu perlombaan infrastruktur terpenting untuk dekade mendatang.

Dorongan untuk perubahan ini berasal dari apa yang disebut David Hoffman sebagai “Proyek Manhattan” Ethereum: restrukturisasi mendasar dari protokol yang meningkatkan throughput-nya beberapa kali lipat tanpa mengorbankan desentralisasi. Hingga baru-baru ini, ini masih merupakan visi yang jauh. Namun, serangkaian peningkatan protokol strategis dan terobosan teknologi kunci telah mengubahnya menjadi peta jalan yang dapat dilaksanakan.

Saya selalu berpikir bahwa apa yang sedang kami lakukan dengan ZK, terutama ZK-EVM yang pada akhirnya akan diterapkan di Ethereum, sedikit mirip dengan Proyek Manhattan Ethereum… Ketika Ethereum sedang meneliti ZK di balik layar untuk mempertahankan semua hal yang sekarang membawa Wall Street ke dalam rantai, mereka juga sedang mengembangkan teknologi yang sangat futuristik ini.

Laporan ini melakukan analisis fundamental terhadap pasar senilai miliaran dolar yang sedang berkembang ini. Laporan ini akan menjelaskan mengapa permintaan terhadap bukti ZK bukanlah spekulasi, tetapi secara struktural tidak terhindarkan; mengukur skala peluang ekonomi ini; dan menjelaskan secara rinci bagaimana perusahaan-perusahaan yang mengedepankan platform seperti Succinct, dengan token asli mereka $PROVE, diharapkan dapat menjadi infrastruktur di era komputasi yang dapat diverifikasi ini.

Keberadaan Pasar Baru

1.1 Kewajiban Gigagas dan Teragas yang Tak Terelakkan

Ethereum sedang mengalami perubahan besar, didorong oleh peta jalan pengembangan inti yang bukan hasil tebak-tebakan, tetapi merupakan proses evolusi yang telah ditetapkan dan tidak terelakkan. Restrukturisasi protokol itu sendiri menciptakan permintaan yang struktural, dapat diprediksi, dan tumbuh secara eksponensial untuk bukti nol pengetahuan (ZK). Dalam upaya mengejar throughput berskala global, Ethereum ditakdirkan untuk menjadi konsumen pertama dan terbesar dalam ekonomi komputasi yang dapat diverifikasi senilai miliaran dolar.

Kebutuhan ini berasal dari visi jangka panjang yang jelas dan besar. Peta jalan Gigagas bertujuan untuk memperluas throughput lapisan eksekusi L1 hingga 1 Ggas/s, yang kira-kira setara dengan 10.000 TPS. Namun, seperti yang ditunjukkan oleh peneliti Ethereum Foundation, Justin Drake, ini hanyalah “puncak gunung es”. Tujuan akhir adalah untuk mencapai ekosistem “Teragas” dengan total throughput sebesar 1 Tgas/s (sekitar 10 juta TPS) melalui kolaborasi sekitar 1.000 L2. Dalam model ini, 99,9% volume transaksi terjadi di L2, sementara L1 berevolusi menjadi pusat akhir untuk keamanan dan penyelesaian bersama. Seperti yang dikatakan Drake:

“10.000 TPS tidak ada artinya. Untuk melayani seluruh dunia, kita perlu mencapai tingkat 10 juta transaksi per detik, 1 teragas per detik. Bagaimana kita mencapai tujuan ini? Jawabannya adalah L2.”

Proposal EIP-7938 dan proposal lainnya secara resmi menetapkan perluasan eksponensial ini, yang mengusulkan peningkatan otomatis 3 kali lipat setiap tahun untuk batas Gas L1. Mekanisme ini bertujuan untuk mencapai pertumbuhan yang stabil dan dapat diprediksi, sehingga menciptakan kurva permintaan yang handal untuk sumber daya komputasi yang diperlukan untuk menjaga keamanan jaringan.

Perubahan ini akan dikelola melalui program “pengintegrasian bertahap” yang berlangsung selama beberapa tahun, yang secara teratur mengurangi risiko proses. Program ini dijalankan dalam berbagai fase, yang pada akhirnya akan mewajibkan penggunaan bukti ZK untuk memverifikasi keabsahan blok sebelum tahun 2027, sehingga pembuatan bukti menjadi fungsi inti yang penting secara ekonomi dalam protokol. Dengan mengkodekan secara langsung kebutuhan ini ke dalam evolusi protokol, Ethereum sebenarnya sedang menetapkan kebijakan industri untuk bidang ZK, memberikan sinyal ekonomi yang diperlukan untuk legitimasi investasi modal yang signifikan dalam infrastruktur masa depan.

1.2 Masalah Keterputusan Akhir: Vitalik Buterin membahas mengapa ZK sangat penting untuk L2

Urgensi perubahan ini jauh lebih dari sekadar L1. Ini mengatasi kendala utama dalam ekosistem L2 saat ini: gesekan dan risiko yang ditimbulkan oleh lambatnya finalitas penarikan. Seperti yang baru-baru ini dikatakan oleh salah satu pendiri Ethereum, Vitalik Buterin, mencapai waktu penarikan yang cepat adalah tujuan kunci, dan untuk L2, “bahkan lebih penting daripada tahap kedua.”

Di era ZK 1.0, perusahaan-perusahaan yang Anda sebutkan menggabungkan teknologi ZK dengan kasus penggunaan bisnis… ZKSync adalah perusahaan L2 dan juga perusahaan ZK… Dan apa yang kami lakukan adalah, kami memungkinkan perusahaan-perusahaan yang tidak tahu apa-apa tentang ZK, seperti Optimism atau Arbitrum, karena ZK sekarang menjadi sangat sederhana, mereka dapat memanfaatkan keunggulan ZK dan fokus pada hal-hal yang benar-benar penting, seperti pengembangan bisnis atau adopsi pengguna.

Dalam penjelasan yang mendetail, Buterin menekankan masalah inti dari desain Optimistic Rollup yang saat ini menjadi arus utama:

“Menunggu satu minggu untuk menarik dana sebenarnya terlalu lama bagi orang-orang, bahkan untuk jembatan lintas rantai berbasis niat… Jika penyedia likuiditas harus menunggu satu minggu, biaya modal mereka juga akan menjadi terlalu tinggi. Ini sangat mendorong orang untuk beralih ke solusi yang asumsi kepercayaannya tidak dapat diterima (misalnya multi-signature/MPC), yang justru bertentangan dengan tujuan keberadaan L2.”

Solusi yang dia ajukan adalah secara tegas beralih ke sistem bukti validitas yang didorong oleh teknologi ZK. Meskipun mengakui adanya trade-off dalam sejarah, dia menekankan perubahan dalam lanskap teknologi baru-baru ini:

“Secara historis, teknologi bukti ZK selalu tidak matang dan mahal, yang menjadikan bukti Optimis sebagai pilihan yang bijak dan aman. Namun, baru-baru ini, situasi ini dengan cepat berubah.”

Menurutnya, dengan mengurangi waktu penarikan asli menjadi kurang dari satu jam dalam jangka pendek, dan akhirnya mencapai waktu penarikan 12 detik dalam jangka menengah, bukti ZK dapat “lebih memperkuat posisi Ethereum L1 sebagai tempat penerbitan aset default dan pusat ekonomi ekosistem Ethereum”. Pengakuan tingkat tinggi ini akan menjadikan transisi ke ZK bukan hanya sebagai preferensi teknologi, tetapi sebagai kebutuhan strategis untuk keamanan dan integritas ekonomi seluruh ekosistem Ethereum.

Fleksibilitas ini tidak hanya menarik bagi pengembang perangkat lunak, tetapi juga bagi produsen perangkat keras profesional. Perusahaan akselerator perangkat keras terkemuka di industri, Cysic, mengumumkan bahwa “ASIC yang kompatibel dengan zkVM akan diluncurkan dan mendukung SP1 secara native”. Perusahaan perangkat keras profesional ini berencana untuk memberikan dukungan native, menunjukkan keyakinan yang kuat di industri terhadap SP1 sebagai standar potensial untuk komputasi yang dapat diverifikasi, menjembatani kesenjangan antara perangkat lunak sumber terbuka dan chip khusus.

Dua, Kuantifikasi Kesempatan Senilai Puluhan Miliar Dolar

2.1 Ekonomi Unit Pembuktian

Kelayakan ekonomi dari ekosistem ZK yang berskala besar tergantung pada biaya unit untuk membuktikan jumlah perhitungan yang diberikan. Meskipun sistem ZK awalnya terkenal mahal, perkembangan yang mirip dengan “Hukum Moore” telah menyebabkan biaya tersebut turun secara drastis. Dalam acara “Frontiers” yang diadakan oleh Paradigm, John dari Succinct menyatakan bahwa saat ini biaya rata-rata untuk membuktikan setiap transaksi berkisar antara 0,01 sen hingga 0,1 sen, dan dia menggambarkan biaya ini “hampir dapat diabaikan jika dibandingkan dengan biaya lainnya seperti DA.”

Menurut saya, mekanisme insentif sangat sederhana. Seperti hari ini, cukup bergantung pada biaya transaksi dan MEV… biayanya sekitar 0,01 sen. Selama pengguna individu bersedia membayar biaya ini, itu cukup untuk mengompensasi biaya bukti.

Biaya ini diperkirakan akan terus turun lebih lanjut. Peneliti Ethereum Foundation, Justin Drake, mengajukan prediksi kunci, yang memperkirakan bahwa dengan perbaikan perangkat keras dan perangkat lunak yang terus menerus secara eksponensial, biaya jangka panjang dan berskala dari L1 proof akan stabil antara 0,0001 hingga 0,001 dolar per Mgas/s (juta gas per detik). Penurunan biaya yang cepat ini sedang mengubah ZK dari teknologi yang kecil dan mahal menjadi alat praktis yang dapat dipasarkan, meletakkan dasar untuk pasar yang besar.

2.2 Skala Pasar - Prediksi dari Bawah ke Atas (Pandangan Konservatif)

Model keuangan konservatif yang bersifat bottom-up memperkirakan pendapatan tahunan pasar ZK proof dengan menggabungkan pertumbuhan throughput yang diharapkan dengan estimasi biaya. Menurut model ini, pendapatan substansial non-altruis L1 proof diperkirakan akan muncul mulai tahun 2027, ketika protokol akan mewajibkan penggunaan ZK proof untuk memverifikasi validitas blok.

Jika Anda membayangkan biaya setiap transaksi bahkan hanya 0,1 sen, dan Anda menangani TPS tingkat Solana, seperti 4000-5000 transaksi per detik, maka mengalikan semua angka ini, kebutuhan pembuktian yang dihasilkan adalah sekitar 100 juta dolar per tahun.

Tabel 1: Proyeksi Kebutuhan dan Pendapatan ZKP Ekosistem L2 (2025-2030)

Metodologi — Permintaan dan Proyeksi Pendapatan ZKP Ekosistem L2 (2025–2030)

• Jumlah L2 dan Tingkat Cakupan ZK
• Mulai dari 25 L2 pada tahun 2025, berkembang menjadi 1000 L2 pada tahun 2030.
• Tingkat cakupan menunjukkan pangsa L2 berbasis ZK setiap tahun, meningkat dari 50% menjadi 85%.
• Rata-rata throughput setiap ZK L2
• Disetel agar sama dengan throughput L1 tahun yang sama, untuk memenuhi asumsi “teragas agregat” (yaitu, kapasitas setiap L2 meningkat seiring dengan ekspansi lapisan dasar).
• Ini adalah asumsi optimis, untuk kesederhanaan, ia mengompresi distribusi throughput tail menjadi nilai rata-rata yang seragam.
• Perhitungan total throughput:

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

• Asumsi penetapan harga
• Harga awal per Mgas adalah 0,0104 dolar (referensi Katana, 2025).
• Dengan dorongan efisiensi perangkat keras, persaingan pasar pembuktian, dan optimasi tingkat protokol, biaya akan turun secara signifikan menjadi 0,0004 dolar sebelum tahun 2030.
• Menggunakan metode interpolasi harga linier antara tahun awal dan tahun akhir.
• Pendapatan tahunan:

PendapatanTahunan=TotalThroughput×HargaPerMgas×31.536.000(detik/tahun)

Tabel 2: Total Potensi Pasar ZK Proof (TAM) ( 2025-2030, Metode dari Bawah ke Atas )

• Pertumbuhan Jumlah L2 — Dimulai dari 25 L2 pada tahun 2025, berkembang secara linier hingga 1.000 pada tahun 2030.
• Tingkat cakupan ZK — Hanya sebagian L2 yang menggunakan bukti ZK: 50% pada tahun 2025, meningkat menjadi 85% pada tahun 2030.
• Rata-rata throughput setiap ZK L2 - ditetapkan sama dengan throughput L1 pada tahun yang sama (ini adalah asumsi optimis). Ini sejalan dengan logika peta jalan “teragas”, yaitu L2 yang matang akan mencapai kapasitas L1.
• Total L2 Throughput — Rumus perhitungannya adalah: Jumlah ZK L2 × Rata-rata throughput setiap ZK L2
• Di mana, jumlah ZK L2 = total L2 × tingkat cakupan.
• Harga per satu juta Gas — Ditentukan pada awal 2025 sebesar 0,0104 dolar AS (berdasarkan biaya bukti Katana L2), dan secara linier menurun menjadi 0,0004 dolar AS pada tahun 2030, untuk mencerminkan peningkatan efisiensi yang dihasilkan oleh zkVM, perangkat keras, dan persaingan pasar.
• Total potensi pasar tahunan L2:

TotalL2Throughput(Mgas/s)×HargaPerMgas×DetikPerTahunTotalL2Throughput(Mgas/s)×HargaPerMgas×DetikPerTahun

• Total potensi pasar tahunan L1 — Mulai tahun 2027 (ketika bukti blok L1 akan mulai diterapkan), harga akan sama dengan $/Mgas L2 tahun itu, throughput L1 didasarkan pada peta jalan perluasan Ethereum.
• Kebutuhan lainnya — Perkiraan konservatif untuk total pasar potensial L2 adalah 10%, mencakup jembatan ZK, co-processor, dan aplikasi yang dapat diverifikasi (ZKML, privasi on-chain).
• Total potensi pasar: Total potensi pasar L1 + Total potensi pasar L2 + Permintaan lainnya

2.3 Estimasi Ukuran Pasar - Visi Dari Atas ke Bawah (Akhir Teragas)

Model top-down lainnya yang sepenuhnya diimplementasikan berdasarkan peta jalan Ethereum “Gigagas” dan “Teragas” menunjukkan bahwa potensi ukuran pasar dapat menjadi satu urutan besar.

Tabel 3: Prediksi Throughput Gas Ethereum L1 (Tahun 2027-2030)

Tabel 4: Perkiraan Ukuran Pasar dan Pendapatan ZK Proof (Top-Down, 2027-2030)

• Metodologi (untuk tabel dari atas ke bawah ini)
• L1 Throughput — Berdasarkan peta jalan perluasan Ethereum dengan target: 37.5 → 1.000 Mgas/s (2027–2030).
• Jumlah L2 — Meningkat dari 300 menjadi 1.000 selama periode 2027–2030.
• Tingkat Cakupan ZK — Hanya sebagian L2 yang menggunakan bukti ZK, proporsi ini meningkat dari 60% menjadi 85%.
• Rata-rata throughput setiap ZK L2 - ditetapkan sama dengan throughput L1 pada tahun yang sama (misalnya, 2027 adalah 37,5 Mgas/s, 2030 adalah 1.000 Mgas/s), untuk memenuhi asumsi total throughput tingkat teragas.
• Harga per Mgas — Turun seiring dengan peningkatan perangkat keras pembuktian dan kompetisi pasar: 0,00075 dolar (2027) → 0,00040 dolar (2030).
• L2 Total Throughput:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Rumus Pendapatan: L1
• Pendapatan = L1_Throughput × Harga × Jumlah detik per tahun
• Pendapatan L2 = AggreGate_L2_throughput × Harga × Jumlah detik dalam setahun
• Total pasar = Pendapatan L1 + Pendapatan L2

2.4 Siapa yang akan membayar untuk bukti?

Permintaan senilai miliaran dolar ini tidak akan didanai oleh inflasi protokol, melainkan akan didukung oleh model pendapatan yang kuat dan beragam dari L2 dan aplikasi rantai. Seperti yang dijelaskan dalam sebuah artikel analisis oleh Conduit, proyek yang memiliki rantai sendiri memiliki setidaknya tujuh pengungkit pendapatan yang berbeda, memastikan bahwa mereka dapat menanggung biaya operasional dari ZK proof.

Tabel 5: Analisis Perbandingan Aliran Pendapatan L2

Pemilik Rantai Mendapatkan Segalanya: 7 Leverage Pendapatan Rollup

Tiga, Keuntungan Teknologi Succinct

3.1 Pembuktian waktu nyata telah menjadi kenyataan

Jika tidak ada serangkaian terobosan signifikan dalam kinerja ZK proof baru-baru ini, seluruh visi “Gigagas” akan tetap berada di tahap teoritis. Seperti yang diungkapkan oleh John dari tim Succinct, pencapaian “bukti waktu nyata” — yaitu kemampuan untuk menghasilkan ZK proof untuk blok Ethereum mana pun dalam waktu 12 detik — adalah “momen pendaratan di bulan untuk bidang ZK.”

Perubahan ini tidak hanya berarti peningkatan kinerja, tetapi juga merupakan revolusi dalam aksesibilitas bagi pengembang. Seperti yang dijelaskan oleh Uma Roy, salah satu pendiri Succinct, pengembangan ZK sebelumnya membutuhkan “tim yang terdiri dari 40 doktor di bidang kriptografi” dan ratusan juta dolar modal untuk menciptakan satu sistem bukti yang spesifik untuk aplikasi. Dengan munculnya zkVM yang umum, pola ini telah sepenuhnya terputus. Roy menyatakan: “Pada dasarnya, Anda dari yang membutuhkan 40 doktor kriptografi, dengan biaya R&D puluhan juta atau ratusan juta dolar, menjadi proyek yang bisa diselesaikan dalam satu akhir pekan.”

Melalui dua analogi yang kuat dalam podcast, kita dapat lebih memahami terobosan ini:

• Dari ASIC ke CPU: Seluruh industri sedang beralih dari sirkuit terintegrasi khusus (ASIC) yang hanya dapat menyelesaikan satu masalah, menuju model CPU umum, yaitu satu mesin seperti SP1 dapat secara terbukti menjalankan program apa pun.
• Model dasar kriptografi: Fungsi SP1 mirip dengan model dasar di bidang kecerdasan buatan. Seperti ChatGPT yang membuat AI dapat diakses melalui bahasa Inggris murni, SP1 juga membuat ZK mudah digunakan melalui kode standar. “Sama seperti di kecerdasan buatan dan model dasar, Anda memasukkan bahasa Inggris, dan Anda dapat menggunakan AI,” kata Roy, “di sini, Anda hanya perlu memasukkan kode biasa, dan Anda dapat menggunakan ZK, semudah itu.”

SP1 HyperCube dari Succinct adalah bukti definitif dari pencapaian ini. Dalam sebuah demonstrasi yang bersejarah, sistem ini berhasil membuktikan 93% dari semua blok utama Ethereum secara real-time dalam waktu 12 detik. Sisa 7% blok membutuhkan waktu lebih lama, bukan karena kendala teknis, tetapi karena penetapan harga yang tidak tepat untuk beberapa operasi dalam tabel biaya EVM Gas (seperti pra-kompilasi Blake2). Tonggak ini secara jelas mengkonfirmasi bahwa pembuktian waktu nyata secara teknik adalah mungkin.

3.2 Mesin yang Maju: SP1 zkVM

Inti dari tumpukan teknologi Succinct adalah SP1, sebuah mesin virtual zero-knowledge sumber terbuka berkinerja tinggi (zkVM). SP1 adalah aset strategis yang ditujukan untuk melayani beragam tugas komputasi yang dapat diverifikasi, mendorong industri memasuki era “ZK 2.0”.

Saya percaya bahwa keberhasilan penerbitan token $PROVE hampir dapat dikatakan membuktikan bahwa zKVM menjadi kelas aset yang dapat diinvestasikan… Ini cukup menakjubkan, Anda tahu, pada hari pertama penerbitannya, valuasi dilusi penuhnya sebenarnya telah melampaui proyek ZK Rollup seperti ZKSync, Scroll, dan Starknet.

“Tujuan kami adalah menghilangkan semua kompleksitas kriptografi, sehingga pengembang dapat 'menulis kode biasa' menggunakan bahasa standar seperti Rust, dan mendapatkan bukti ZK.”

• Mudah digunakan: Sebagai RISC-V zkVM, SP1 memungkinkan pengembang untuk memanfaatkan pustaka kode yang sudah ada dan teruji di lapangan serta bahasa yang familiar, tanpa perlu mempelajari kriptografi yang kompleks.
• Universalisme: Memilih RISC-V sebagai himpunan instruksi target tidak hanya mengikuti tren luas dari seluruh ekosistem ZK, tetapi yang lebih penting, itu konsisten dengan peta jalan jangka panjang Ethereum L1.
• Jalur Kinerja: Perbaikan berkelanjutan dari SP1 menunjukkan tren “hukum Moore”. Waktu pembuktian telah berkurang dari puluhan menit pada tahun 2023 menjadi hanya beberapa detik pada tahun 2025, dengan laju perbaikan jauh melebihi tingkat pertumbuhan permintaan komputasi 3 kali lipat per tahun yang diusulkan dalam peta jalan Ethereum.

Fungsionalitas SP1 tidak terbatas pada implementasi lengkap ZK-rollup. Kemampuan kuatnya sebagai zkVM universal melahirkan desain hibrida yang inovatif untuk memenuhi kebutuhan pasar tertentu. Contoh tipikalnya adalah aplikasinya dalam bukti kesalahan tanpa pengetahuan. Proyek seperti Facet menggunakan sistem berbasis OP Succinct Lite, memindahkan fungsi transisi status mereka ke Rust (melalui Kona dan REVM), dan mengompilasinya menjadi file biner SP1 ELF. Ini memungkinkan mereka untuk memberikan “situasi ideal” dengan biaya rendah dari sistem Optimistic, sekaligus mempertahankan karakteristik “solusi satu transaksi” dari bukti ZK saat terjadi tantangan. Ini menunjukkan kemampuan SP1 untuk melayani model keamanan kriptografi yang lebih luas, sehingga memperluas ukuran pasar potensialnya.

Dengan semakin banyaknya penyedia yang matang dan profesional yang bergabung, keefektifan model pasar ini sedang diverifikasi secara real-time. Kemajuan penting adalah, @cysic_xyz (sebuah perusahaan akselerator perangkat keras ZK terkemuka) telah meluncurkan sebagai penyedia multi-node di jaringan penyedia Succinct. Cysic bukanlah penyedia komputasi umum, mereka “sepenuhnya mengembangkan seluruh tumpukan teknologi secara mandiri”, termasuk perangkat keras kustom yang dirancang khusus untuk beban kerja ZK dan kluster GPU dengan throughput tinggi.

3.3 Ekonomi Bukti Waktu Nyata

Kinerja tingkat ini tidak hanya secara teknis mungkin, tetapi juga secara ekonomi dapat dicapai. Membangun kluster bukti lokal yang mampu melakukan pembuktian secara waktu nyata, dengan pengeluaran modal yang diperkirakan pada

10 ribu hingga 30 ribu dolar AS. Ini jauh lebih hemat dibandingkan menggunakan penyedia layanan cloud, karena menurut John, “Nvidia sebenarnya akan mengurangi kinerja kartu grafis… ini dilakukan dengan sengaja, untuk mendapatkan keuntungan lebih tinggi.”

Kemungkinan ini sejalan dengan inisiatif “Bukti Keluarga Harus Dilakukan” dari Yayasan Ethereum, yang menetapkan batas konsumsi daya maksimum ≤10 kW. Justin Drake telah menyatakan tujuan pribadinya untuk membuktikan kelayakan langkah ini:

“Ini pada dasarnya adalah hal yang ingin saya capai tahun ini: membuktikan setiap blok Ethereum secara real-time… dan menyelesaikannya di rumah.”

Empat, Segala Sesuatu Dapat Di ZK kan

4.1 Ruang Desain Baru untuk Aplikasi

Meskipun ekspansi Ethereum adalah pasar bernilai miliaran dolar saat ini, peluang jangka panjang yang sebenarnya terletak pada “ZK untuk segala sesuatu”.

Seperti yang ditunjukkan oleh John dari tim Succinct, zkVM umum berarti “perbaikan yang kami lakukan untuk pembuktian waktu nyata Ethereum juga akan berlaku untuk komputasi lainnya.”

4.2 Studi Kasus Aplikasi Succinct

SP1 dari Succinct telah mendukung berbagai aplikasi yang berbeda:

• Bursa yang Dapat Diverifikasi (Hibachi) – Membangun bursa kontrak berjangka yang mengutamakan privasi dengan ZK, di mana integritas buku pesanan off-chain dapat diverifikasi secara kriptografis.
• Interoperabilitas lintas rantai (Celestia) – Menggunakan teknologi Succinct untuk menerapkan “jembatan malas”, yaitu menggunakan bukti ZK untuk memverifikasi status rantai lain dengan aman dan efisien.

Kami telah mempelajari konsep yang disebut “jembatan inersia”… Jika tidak ada lingkungan eksekusi di rantai, maka sulit bagi rantai Anda untuk memverifikasi status rantai lain. Oleh karena itu, kami terus berusaha untuk mewujudkannya melalui bukti ZK.

• DeFi L2s (@katana) – L2 Katana yang berfokus pada DeFi, diluncurkan di Polygon melalui Conduit, menggunakan teknologi bukti ZK Succinct untuk penyelesaian yang cepat dan aman, serta terhubung ke Agglayer di Polygon.
• Infrastruktur DeFi inti (Lido): Lido sebagai pemimpin di bidang staking likuid, sedang menggunakan SP1 di jaringan uji coba mereka untuk mendukung “oracle akuntansi tanpa kepercayaan”. Sistem ini meningkatkan keamanan dengan secara dapat diverifikasi melacak saldo ETH yang dipertaruhkan, tanpa bergantung pada administrator yang dipercaya.
• Jembatan Lintas Rantai Tingkat Tinggi (Across): Protokol Across bekerja sama dengan Succinct untuk menghasilkan bukti ZK pada lapisan konsensus Ethereum. Ini memungkinkan mereka untuk menjembatani status Ethereum dengan aman dan efisien ke banyak rantai lainnya, yang merupakan fungsi kunci untuk mencapai interoperabilitas.
• Rollups yang Tak Terhalang (Facet): Facet adalah rollup tahap kedua umum pertama, yang memberikan studi kasus yang kuat untuk adopsi teknologi Succinct. Untuk mencapai tujuannya sebagai “Rollup yang Tak Terhalang” tanpa kunci administrator, Facet menghapus jembatan resmi dan risiko keamanan terkait. Ia tidak menggunakan token gas jembatan, tetapi menggunakan token asli (FCT), di mana jumlah penambangan token ini sebanding dengan L1 ETH yang dihancurkan saat pengguna menerbitkan transaksi. Arsitektur ini dijamin oleh sistem bukti ZK-penipuan hibrida yang dibangun di atas teknologi Succinct. Ketika proposal akar status ditantang, SP1 zkVM digunakan untuk menghasilkan bukti ZK guna secara jelas menyelesaikan sengketa. Ini memungkinkan Facet untuk tetap sebagai “platform ringan”, menawarkan komputasi yang murni dan tak terhalang, sambil menyerahkan pengelolaan aset dan fungsi jembatan kepada ekosistem kompetitif yang terdiri dari aplikasi yang dipilih oleh pengguna.

4.3 Perbatasan yang Terus Meluas: Pendapatan Jembatan Lintas ZK, Ko-Prosesor, dan Aplikasi yang Dapat Diverifikasi

Model pasar dari bawah ke atas juga mencakup kategori “permintaan lain” yang tumbuh cepat, mencakup jembatan lintas rantai ZK, co-processor ZK, dan aplikasi yang dapat diverifikasi lainnya.

Menurut perkiraan konservatif, pada tahun 2030, pendapatan tahunan di bidang ini akan tumbuh menjadi lebih dari 126 juta dolar.

Dengan matangnya ZKML dan solusi privasi on-chain, bidang ini masih memiliki kemungkinan untuk berkembang lebih lanjut.

Lima: Succinct dan $PROVE

5.1 Jaringan Pembuktian: Pasar Umum dan Tanpa Izin

Strategi inti Succinct bukan hanya membangun pembuktian yang lebih baik, tetapi juga membangun pasar otoritatif untuk pembuktian. Pasokan global ini bukanlah asumsi, melainkan terdiri dari operator berpengalaman. Jaringan ini telah menarik banyak pembuktian yang biasanya merupakan “mantan penambang”, yang sebagian besar berada di Asia, memiliki infrastruktur yang sudah ada, listrik murah, dan GPU kelas konsumen yang tersedia.

Pasar bilateralnya menghubungkan pasokan daya komputasi global dengan permintaan yang terus meningkat untuk bukti ZK melalui sistem lelang waktu nyata.

Kami sedang membangun pasar dua sisi: Jaringan Pembuktian Succinct. Ini bertujuan untuk mengkomersialkan proses pembuatan bukti ZK.

Situasi persaingan ini adalah mesin efisiensi pasar, memberikan tekanan turun yang berkelanjutan pada harga dan keterlambatan, sehingga langsung menguntungkan konsumen.

5.2 $PROVE Token: Mesin Ekonomi Jaringan

Model ekonomi seluruh ekosistem Succinct terletak pada token asli $PROVE.

Token ini memiliki dua fungsi simbiotik utama:

• Pembayaran – $PROVE adalah satu-satunya mata uang di pasar jaringan ini. Semua biaya untuk menghasilkan bukti harus dibayar dengan $PROVE , sehingga menciptakan permintaan perdagangan langsung untuk token ini.
• Staking untuk menjamin keamanan – Untuk berpartisipasi dalam lelang bukti dan menghasilkan pendapatan, penyedia bukti perlu mempertaruhkan $PROVE sebagai jaminan ekonomi. Ini sangat penting bagi keandalan jaringan, karena dirancang untuk mencegah “serangan jahat” (griefing) – yaitu penyedia bukti berjanji untuk menghasilkan bukti tetapi akhirnya gagal menyampaikannya, yang menyebabkan keterlambatan serius bagi aplikasi seperti L2. Seperti yang dikatakan Roy, “penyedia bukti tidak seharusnya dapat melakukan serangan jahat… itu akan menjadi pengalaman pengguna yang sangat buruk.” Jika penyedia bukti gagal memenuhi janjinya, sebagian dari staking mereka akan disita untuk memastikan mereka “bertanggung jawab.”

5.3 Akumulasi Nilai Flywheel

Tabel 6: Model akumulasi utilitas dan nilai dari token $PROVE

5.4 Data Hari Pertama: Membuktikan Teori dalam Praktik

Keberhasilan model ekonomi ini terbukti pada hari pertama jaringan diluncurkan.

Co-founder Uma Roy melaporkan dalam sebuah pos publik:

Roy menunjukkan bahwa dengan lebih dari 35 klien yang ada di kluster pribadi Succinct yang bersiap untuk beralih ke jaringan publik, permintaan untuk bukti pasti akan “tumbuh secara parabolik”.

kesimpulan

Kombinasi peta jalan perluasan Ethereum yang besar dan kematangan teknologi pengetahuan nol sedang menciptakan salah satu pasar infrastruktur baru yang paling penting dalam dekade mendatang. Peralihan fokus strategis dari Ethereum Foundation, ditambah dengan investasi dananya, telah mengubah suatu ideal teoritis menjadi sebuah perlombaan rekayasa. Terobosan teknologi yang dipimpin oleh tim seperti Succinct telah menjadikan tujuan perlombaan ini — bukti waktu nyata dan perluasan L1 skala besar — sebuah kenyataan yang dapat dicapai.

Era eksekusi berulang sedang berakhir. Era verifikasi kriptografi sedang dimulai.

Dalam paradigma baru ini, penyedia infrastruktur terdesentralisasi seperti Succinct Prover Network akan menjadi pemasok “peralatan dan sekop” yang tak terpisahkan dalam ekonomi yang sedang berkembang ini.

Model ekonomi dari token $PROVE mengintegrasikan fungsi pembayaran dan staking, menciptakan roda terbang yang kuat yang mengaitkan pertumbuhan jaringan dengan akumulasi nilai token secara langsung. Oleh karena itu, investasi

$PROVE bukan hanya sekadar taruhan pada satu aplikasi, tetapi juga merupakan investasi langsung pada lapisan komputasi dasar yang dapat diverifikasi untuk internet generasi berikutnya.

Buktikan perangkat lunak di seluruh dunia.