Pada artikel ini, kami fokus pada Zero-Knowledge Proofs (ZKP), salah satu terobosan teknologi yang paling penting namun paling tidak dipahami dalam industri kami. Kami akan mengeksplorasi pertumbuhan, adopsi, kesehatan jaringan, dan dinamika persaingan di lapisan aplikasi dan infrastruktur yang terkait dengan ZKP.
Mengapa ZK Penting?
Agar aplikasi kripto dapat mencapai adopsi global arus utama, blockchain yang mereka andalkan harus menjadi lebih terukur dan efisien. Untuk Ethereum, blockchain Layer 1 terbesar, dan komunitasnya, hal ini telah mengarah pada pelukan strategis solusi penskalaan Layer 2.
L2 seperti Optimism, Arbitrum, dan Base adalah gelombang pertama inovasi di bidang ini, dan sejak saat itu menjadi platform utama bagi pengguna dan aplikasi kripto, mengunci nilai miliaran dolar dan menarik jutaan alamat aktif.
Pada saat yang sama, Zero-Knowledge Proofs (ZKP) mewakili terobosan penting lainnya dalam solusi penskalaan, yang secara teoritis menawarkan kinerja yang dapat jauh melampaui infrastruktur yang ada dan memungkinkan berbagai aplikasi baru. Meskipun masih dalam tahap awal, kemajuan pesat dalam bidang ini membuatnya layak untuk kita perhatikan.
Meskipun masih dalam tahap awal, data on-chain mendukung argumen bahwa sektor mata uang kripto sedang mengalami pergeseran signifikan menuju Zero-Knowledge Proofs (ZKP), dimulai dengan aplikasi ZKP dan diikuti oleh infrastruktur yang didukung ZKP seperti Rollups.
Terima kasih secara khusus kami ucapkan kepada tim di NEBRA dan OurNetwork, serta kontributor data utama Jackie (Dune) dan Brandyn (OurNetwork). Tanpa dukungan mereka, analisis ini tidak akan mungkin terwujud. Sekarang mari kita lihat data yang menggambarkan transformasi ini.
ZKP: Kesehatan Industri
Total pengeluaran untuk Zero-Knowledge Proofs (ZKP) oleh solusi Layer 2 telah melampaui $60 juta.
Total biaya penyelesaian (TSF) yang dibayarkan oleh proyek ZKP ke Ethereum L1 telah melampaui $60,4 juta, menunjukkan adopsi yang signifikan dari waktu ke waktu. Pada bulan Desember 2023, TSF mencapai puncaknya pada $ 15 juta. Dalam 30 hari terakhir, TSF untuk verifikasi ZKP di Ethereum L1 hanya $ 150,000, yang mencerminkan kemajuan dalam mengurangi biaya melalui pengoptimalan teknologi.
Alamat aktif yang menggunakan ZKP terus meningkat pada tahun 2023 dan 2024, mencapai puncaknya pada 7,6 juta pada bulan Maret tahun ini. Meskipun terjadi penurunan menjadi 4,8 juta alamat aktif pada bulan Juli 2024, yang menandai titik terendah tahunan, rata-rata alamat aktif tahun ini masih meningkat dua kali lipat dibandingkan dengan rata-rata bulanan tahun 2023 sebesar 3,2 juta, meskipun terjadi perlambatan pasar yang lebih luas selama musim panas.
Lebih dari 1,5 juta bukti dihasilkan bulan lalu, tetapi jumlah bukti ZK yang diselesaikan di blok L1 pada tahun 2024 telah menurun, setelah mencapai puncaknya pada 189.280 pada Desember 2023.
Tren ini terutama disebabkan oleh sedikit penurunan permintaan (pengguna aktif), tetapi yang lebih penting, karena kemajuan teknologi. zkRollups telah mengadopsi teknologi baru seperti agregasi bukti untuk mengurangi jumlah bukti dan TSF.
ZKP: Tren Proyek
Linea telah menghasilkan 23,2 juta transaksi ZKP dari 5,5 juta pengguna.
Dalam hal adopsi pengguna ZKP, Linea muncul sebagai rantai yang “sukses”. Selama 30 hari terakhir, L2 ini menduduki puncak tangga lagu dengan 1,77 juta alamat aktif yang unik, diikuti oleh zkSync dengan 1,3 juta dan Scroll dengan 950.000.
Pada bulan Desember 2023, pengeluaran L1 Linea untuk ZKP melonjak menjadi $12,8 juta, terhitung hampir 85% dari pengeluaran ZKP semua proyek pada bulan itu – rekor tertinggi yang didorong terutama oleh program Voyage XP Linea. Baru-baru ini, pada tahun 2024, Scroll telah mulai mendominasi pembayaran TSF ke L1, dengan biaya yang diperkirakan akan semakin berkurang dalam peningkatan yang direncanakan pada 21 Agustus.
ZKP: Infrastruktur dan Aplikasi
Jumlah transaksi ZKP yang dipicu oleh infrastruktur melebihi transaksi yang dipicu oleh aplikasi lebih dari 250 kali lipat.
Sejauh ini, 16,6 juta alamat telah memicu transaksi ZKP melalui infrastruktur, khususnya zkRollups, sementara hanya 62.780 alamat yang memicu transaksi ZKP melalui aplikasi.
Ada beberapa alasan utama untuk kontras yang mencolok ini.
Pertama, sanksi OFAC pada Agustus 2022 terhadap Tornado Cash, aplikasi utama yang menggunakan ZKP untuk perlindungan privasi, menjadikannya ilegal bagi warga negara AS untuk menggunakan Tornado Cash, yang menyebabkan berkurangnya penggunaan ZKP dalam aplikasi.
Kedua, biaya setiap transaksi ZKP di tingkat infrastruktur jauh lebih rendah daripada di tingkat aplikasi – biaya rata-rata 30 hari per transaksi di Linea adalah $ 0,00034.
Bahkan infrastruktur ZKP yang paling mahal sekalipun, Polygon zkEVM, dengan biaya rata-rata per transaksi sebesar $0,03, masih jauh lebih murah daripada aplikasi ZKP teratas.
Dengan meredanya sanksi OFAC, penggunaan aplikasi ZKP telah mengalami kebangkitan. Tornado Cash tetap menjadi aplikasi ZK yang relatif murah dalam hal biaya per transaksi, dengan rata-rata 30 hari sebesar $1,0.
Meskipun bukan perbandingan yang sepenuhnya sebanding karena biaya L1 yang lebih tinggi, biaya transaksi Tornado masih sekitar 33 kali lebih tinggi daripada Polygon zkEVM dan sekitar 3.300 kali lebih tinggi daripada Linea.
ZKP: Tren Makro
Lima Rollup Optimis teratas masih mendominasi zkRollups dalam hal alamat aktif, dengan rasio 4:1; namun, zkRollups mendekati keseimbangan dengan Ethereum L1 dalam hal alamat aktif tahun ini.
Lima Rollup Optimis teratas telah melihat alamat aktif mereka tumbuh dari 3,8 juta pada Januari 2024 (sebenarnya lebih rendah dari 4,8 juta milik zkRollups) menjadi lebih dari 17,8 juta.
Meskipun banyak rantai zkRollup yang belum diluncurkan, perlu dicatat bahwa solusi ini telah menarik lebih dari setengah jumlah alamat Ethereum L1 dalam setiap bulan penuh – pada bulan Juli, alamat aktif zkRollups masih menyumbang 13% pangsa pasar Ethereum L1 dan lima besar Optimistic Rollups.
Bulan lalu, Linea menduduki peringkat ketiga di antara L2 dengan 1,8 juta alamat aktif. Base memimpin semua L2 dengan 11,5 juta alamat aktif, diikuti oleh Arbitrum dengan 5,8 juta.
Ketika L2 mengadopsi teknologi terkait ZKP yang lebih efisien, proporsi biaya gas yang dihabiskan untuk panggilan kontrak ZKP sebenarnya telah menurun menjadi rata-rata bergulir 30 hari sebesar 0,14%. Ini sekitar 100 kali lebih rendah dari rekor puncak pada Desember 2023, ketika transaksi ZKP menyumbang lebih dari 14% dari total biaya gas Ethereum sebanyak dua kali.
Bukti ZK: Bukti Singularitas dan Masa Depan yang Dimungkinkan oleh NEBRA
Teknologi utama untuk menskalakan ruang blok Zero-Knowledge Proof (ZKP) adalah agregasi bukti, yang mengkonsolidasikan beberapa bukti dari sumber yang berbeda ke dalam satu bukti rekursif tunggal yang memvalidasi kebenaran bukti-bukti ini (yaitu, bukti agregat).
Protokol agregasi bukti seperti NEBRA UPA secara signifikan meningkatkan bandwidth dan mengurangi biaya Zero-Knowledge Proof on-chain.
Sebagai contoh, dalam versi NEBRA UPA saat ini, biaya verifikasi bukti Groth16 telah dikurangi dari 300.000 gas menjadi 18.000 gas-pengurangan biaya lebih dari 15 kali lipat. Hal ini serupa dengan bagaimana protokol ketersediaan data (seperti 4844, Celestia, EigenDA, dan Avail) mengurangi biaya ketersediaan data.
Selain itu, agregasi bukti dapat memungkinkan apa yang disebut oleh Vitalik Buterin sebagai “singularitas bukti”, di mana setiap blok hanya berisi satu bukti yang diagregasi. Agregasi bukti tidak hanya digunakan untuk mengurangi biaya verifikasi ZKP on-chain, tetapi juga memungkinkan interoperabilitas asli dan penyelesaian bersama antara zkRollups.
Peluncuran UPA NEBRA di Ethereum mainnet dan sistem operasi Rollup di masa depan menandai terobosan yang signifikan untuk seluruh bidang ZK. Dengan hadirnya singularitas bukti, masa depan ZK dan blockchain terlihat lebih cerah. Bayangkan penghematan jika bukti-bukti dapat dikumpulkan – Ethereum dapat menghemat lebih dari $39 juta!
Apa yang dimaksud dengan Zero-Knowledge Proof?
Zero-Knowledge Proofs (ZKP) memungkinkan verifikasi komputasi arbitrer dengan bukti kriptografi kecil sambil menawarkan perlindungan privasi. Aplikasi dan infrastruktur biasanya menggunakan ZKP dalam dua cara:
- Perlindungan Privasi
- Komputasi & Skalabilitas yang Dapat Diverifikasi
- Nebra
Dalam kasus ini, Zero-Knowledge Proofs dibuat dengan menggabungkan data spesifik pengguna dengan data on-chain publik. Bukti-bukti ini kemudian diverifikasi secara on-chain untuk menjalankan logika bisnis tertentu selanjutnya.
Aplikasi Perlindungan Privasi:
Dalam hal aliran data, ketika ZKP digunakan dalam aplikasi perlindungan privasi, bukti harus dibuat di sisi klien untuk menghindari kebocoran informasi pengguna yang sensitif (seperti kunci pribadi). Dalam aplikasi ini, klien yang dikendalikan oleh pengguna (baik itu browser atau aplikasi yang berjalan di ponsel) mengirimkan bukti secara langsung ke blockchain.
Contoh:
- Solusi identitas berbasis ZK, seperti Worldcoin
- Aplikasi keuangan yang menjaga privasi, seperti Tornado Cash dan Railgun
Solusi Penskalaan:
Ketika ZKP digunakan untuk penskalaan, pembuatan bukti biasanya tidak memerlukan data pengguna yang sensitif. Dengan demikian, pembuatan bukti dapat didelegasikan ke server yang lebih kuat atau cloud publik. Beberapa solusi penskalaan menggunakan akselerasi GPU untuk meningkatkan throughput dan latensi pembuatan bukti.
Contoh:
- zkRollups, seperti zkSync, Polygon zkEVM, Scroll, Starkware, dan Linea
- zkCoprocessor, seperti Succinct, RISC Zero, Axiom, Brevis, dan Lagrange
Metodologi ZKP
Melalui dasbor ini, kami mengukur tiga metrik utama:
- Total Biaya Penyelesaian (TSF): Jumlah total ETH yang dibayarkan oleh pengguna atau solusi penskalaan untuk memverifikasi Bukti Pengetahuan Nol secara on-chain. Biaya ini biasanya dapat dipecah menjadi prakompilasi terkait kriptografi yang memanggil EVM (dirinci di bawah).
- Volume Transaksi On-Chain: Jumlah transaksi yang memverifikasi Bukti Pengetahuan Nol.
- Jumlah Pengguna Aktif: Jumlah pengguna yang menggunakan bukti ZK.
Bagaimana Kita Mengukurnya?
Kami mengimplementasikan kueri pada data yang diindeks Dune untuk Ethereum untuk menangkap pengeluaran gas untuk verifikasi ZKP. Dengan mengidentifikasi kontrak dan metode pemanggilan transaksi yang benar, kami menentukan pemanggilan internal yang relevan (lihat metodologi data beranotasi di bagian ini). Pengeluaran ini terutama berasal dari pemanggilan prakompilasi berikut:
-
-
-
-
-
-
-
-
