Recursive ZK Proofs

Apa Itu Recursive ZK Proofs?

Recursive ZK Proofs adalah zero-knowledge proof yang memverifikasi zero-knowledge proof lainnya.

Dalam kripto, ini berarti sebuah proof dapat membuktikan bahwa proof lain valid, lalu proof tersebut dapat dimasukkan kembali ke dalam proof lainnya.

Proses ini membentuk rangkaian verifikasi proof. Banyak komputasi, transaksi, atau pembaruan state dapat diringkas menjadi satu proof akhir yang lebih kecil.

Zero-knowledge proof biasa memungkinkan prover membuktikan bahwa suatu pernyataan benar tanpa mengungkap seluruh informasi privat yang mendasarinya.

Dokumentasi zero-knowledge proof Ethereum menjelaskan bahwa zero-knowledge proof memungkinkan prover membuktikan validitas suatu klaim tanpa mengungkap klaim itu sendiri.

Recursive ZK proof melangkah lebih jauh dengan membuktikan bahwa proof sebelumnya dibuat dengan benar.

Karena itulah recursive proof sering disebut sebagai “proof atas proof”.

Alih-alih memverifikasi ribuan proof satu per satu secara on-chain, blockchain dapat memverifikasi satu recursive proof akhir yang merepresentasikan semuanya.

Hal ini menjadikan recursive ZK proof penting untuk scaling blockchain, rollup, sistem privasi, light client, agregasi proof, dan komputasi yang dapat diverifikasi.

Manfaat utama rekursi adalah kompresi yang tetap menjaga integritas kriptografis.

Proof akhir dapat tetap berukuran kecil meskipun merepresentasikan pekerjaan dalam jumlah besar.

Mengapa Recursive ZK Proof Penting dalam Kripto

Recursive ZK proof penting karena blockchain memiliki ruang, kapasitas komputasi, dan kapasitas verifikasi on-chain yang terbatas.

Jika setiap transaksi, perubahan state, atau proof harus diverifikasi secara terpisah di base layer, biayanya dapat menjadi terlalu tinggi bagi pengguna dan developer.

Recursive proof membantu mengurangi beban tersebut dengan menggabungkan banyak pekerjaan yang telah diverifikasi menjadi satu objek ringkas.

Hal ini sangat berguna untuk ZK-rollup, yang memproses transaksi off-chain dan mengirimkan validity proof ke base chain.

Dokumentasi ZK-rollup Ethereum menjelaskan bahwa ZK-rollup adalah solusi scaling yang memindahkan komputasi dan penyimpanan state ke off-chain, sambil mengirimkan validity proof ke Ethereum.

Recursive proof dapat meningkatkan efisiensi model ini karena banyak proof transaksi atau batch proof dapat diagregasi sebelum penyelesaian akhir.

Hal ini dapat menurunkan biaya verifikasi, meningkatkan throughput, dan mengurangi jumlah data proof yang harus ditangani langsung oleh base chain.

Recursive proof juga bermanfaat bagi pengguna karena dapat membuat sistem blockchain lebih cepat dan murah tanpa mengharuskan pengguna memercayai operator terpusat.

Jika dirancang dengan benar, keamanan sistem berasal dari verifikasi kriptografis, bukan dari kepercayaan buta kepada penyedia layanan.

Karena itu, recursive ZK proof merupakan komponen penting untuk infrastruktur kripto yang lebih skalabel dan meminimalkan kepercayaan.

Cara Kerja Recursive ZK Proof

Recursive ZK proof bekerja dengan menempatkan verifier untuk satu sistem proof di dalam sirkuit proof lainnya.

Sederhananya, proof baru memeriksa apakah proof sebelumnya valid.

Prover tidak hanya membuktikan transaksi atau komputasi secara langsung.

Prover juga membuktikan bahwa proof sebelumnya berhasil memverifikasi komputasi terdahulu.

Proses ini dapat diulang berkali-kali.

Contohnya, proof A memverifikasi sekumpulan transaksi.

Proof B memverifikasi proof A dan sekumpulan transaksi lainnya.

Proof C memverifikasi proof B beserta data transaksi tambahan.

Pada akhirnya, verifier hanya perlu memeriksa proof C untuk memperoleh keyakinan atas seluruh rangkaian pekerjaan yang mendasarinya.

Ini bukan berarti data lama menghilang secara ajaib.

Artinya, kebenaran komputasi sebelumnya direpresentasikan oleh proof kriptografis yang ringkas.

Agar aman, sistem tetap memerlukan ketersediaan data yang tepat, konstruksi proof yang sound, sirkuit yang aman, dan asumsi yang dapat dipercaya.

Recursive ZK proof sangat bermanfaat karena mengubah verifikasi berulang menjadi proses komposisi proof yang skalabel.

Recursive Proof sebagai Agregasi Proof

Agregasi proof berarti menggabungkan banyak proof menjadi satu proof.

Recursive ZK proof adalah salah satu cara umum untuk melakukannya.

Alih-alih meminta base chain memverifikasi ratusan validity proof secara terpisah, sistem dapat menggabungkannya secara rekursif lalu mengirimkan satu proof akhir.

Hal ini berguna karena verifikasi proof on-chain memerlukan biaya dan menggunakan ruang blok.

Jika blockchain dapat memverifikasi satu proof agregat alih-alih banyak proof satu per satu, total biayanya bisa lebih rendah.

Agregasi juga membantu mengurangi latensi dan menyederhanakan desain sistem.

Prover yang berbeda dapat membuat proof untuk batch transaksi yang berbeda secara paralel.

Proof tersebut kemudian dapat digabungkan secara bertahap menjadi proof akhir.

Dokumentasi Starknet SHARP menjelaskan bahwa recursive proof dapat mendukung pemrosesan paralel, mengurangi latensi pengguna dan biaya on-chain, serta meningkatkan efisiensi proving.

Inilah sebabnya agregasi recursive proof penting bagi sistem kripto ber-throughput tinggi.

Metode ini memungkinkan banyak tugas proving kecil menjadi satu tugas verifikasi akhir.

Recursive ZK Proof dan ZK-Rollup

ZK-rollup adalah salah satu use case recursive ZK proof yang paling penting dalam kripto.

ZK-rollup memproses banyak transaksi di luar base chain dan mengirimkan validity proof yang menunjukkan bahwa transaksi tersebut diproses dengan benar.

Tanpa rekursi, rollup mungkin perlu membuat dan memverifikasi proof berukuran besar atau banyak proof terpisah untuk batch yang berbeda.

Dengan rekursi, rollup dapat membuktikan satu batch, lalu batch lainnya, kemudian menggabungkan proof tersebut menjadi proof yang lebih besar.

Hal ini memungkinkan rollup meningkatkan skala pembuatan proof sambil menjaga proses verifikasi akhir tetap ringkas.

Recursive proof juga dapat membantu rollup mengatur beban kerja prover.

Satu prover dapat menangani sekelompok kecil transaksi, sementara prover lain menangani kelompok yang berbeda.

Sistem dapat menggabungkan hasilnya secara rekursif nanti.

Metode ini dapat membuat proses proving lebih paralel dan praktis untuk volume transaksi yang besar.

Proof akhir kemudian dapat dikirim ke base chain, tempat smart contract memverifikasi validitas perubahan state rollup.

Bagi pengguna, hal ini dapat mendukung biaya yang lebih rendah dan penyelesaian yang lebih cepat, sekaligus mempertahankan jaminan kriptografis yang kuat.

Recursive ZK Proof dan Blockchain Succinct

Recursive ZK proof juga dapat membantu menciptakan blockchain succinct.

Blockchain succinct dirancang agar pengguna tidak perlu mengunduh dan memverifikasi seluruh riwayat chain untuk memeriksa state terkini.

Sebagai gantinya, pengguna dapat memverifikasi proof ringkas yang merepresentasikan validitas riwayat chain.

Dokumentasi Mina Protocol menjelaskan bahwa Mina menggunakan zero-knowledge proof rekursif agar peserta dapat memverifikasi jaringan dan transaksi dengan proof kecil, alih-alih memverifikasi seluruh chain dari awal.

Dokumentasi Mina SNARK worker juga menjelaskan bahwa recursive proof membantu mengompresi blockchain hingga berukuran konstan.

Model ini berbeda dari blockchain tradisional, yang mungkin mengharuskan pengguna baru mengunduh banyak data historis agar dapat memverifikasi jaringan secara mandiri.

Recursive proof dapat membuat verifikasi lebih ringan dan mudah diakses.

Hal ini dapat membantu pengguna dengan perangkat keras terbatas, perangkat seluler, atau bandwidth rendah untuk berpartisipasi lebih langsung dalam verifikasi.

Tujuannya bukan sekadar menghemat penyimpanan.

Tujuan yang lebih mendasar adalah membuat verifikasi blockchain lebih murah tanpa mengorbankan keyakinan kriptografis.

Recursive ZK Proof dan Privasi

Recursive ZK proof dapat mendukung sistem kripto yang berfokus pada privasi dengan memungkinkan pengguna membuktikan pernyataan tentang data privat tanpa mengungkap data tersebut.

Contohnya, pengguna dapat membuktikan bahwa transaksi privat valid tanpa mengungkap pengirim, penerima, jumlah, atau seluruh jalur transaksinya.

Rekursi kemudian dapat menggabungkan banyak proof privat menjadi proof yang lebih besar untuk memverifikasi seluruh state sistem.

Hal ini berguna karena sistem privasi sering kali membutuhkan kerahasiaan sekaligus skalabilitas.

Tanpa agregasi proof, verifikasi banyak transaksi privat bisa menjadi mahal.

Dengan recursive proof, banyak aktivitas privat dapat digabungkan ke dalam satu proof akhir.

Ini dapat mengurangi beban verifikasi on-chain sekaligus melindungi data pengguna.

Rollup yang berfokus pada privasi, sistem smart contract privat, dan aplikasi identitas dapat memanfaatkan pola ini.

Namun, privasi tidak hanya bergantung pada rekursi.

Sirkuit harus dirancang dengan benar, kebocoran metadata harus dikendalikan, dan pengguna perlu memahami informasi apa yang tetap bersifat publik.

Recursive proof dapat menyembunyikan input privat tertentu, tetapi tidak otomatis menyembunyikan setiap pola wallet, sinyal waktu, atau perilaku di tingkat aplikasi.

Recursive ZK Proof dan Komputasi yang Dapat Diverifikasi

Recursive ZK proof juga berguna untuk komputasi yang dapat diverifikasi.

Komputasi yang dapat diverifikasi berarti satu pihak melakukan komputasi, sementara pihak lain dapat memverifikasi secara efisien bahwa komputasi tersebut dilakukan dengan benar.

Dalam kripto, hal ini dapat diterapkan pada output machine learning, logika game, pemeriksaan identitas, proof kepatuhan, lelang, sistem voting, perhitungan oracle, dan eksekusi off-chain.

Komputasi yang besar mungkin terlalu mahal untuk diverifikasi langsung secara on-chain.

Recursive proof dapat membagi pekerjaan menjadi bagian-bagian lebih kecil, lalu menggabungkan proof-nya secara bertahap.

Tutorial rekursi Mina menjelaskan bahwa recursive ZKP dapat membantu membuat transaksi besar yang jika tidak demikian akan sulit dibuat, serta mendukung pembuatan proof multipihak secara off-chain.

Hal ini penting karena banyak aplikasi kripto ingin memindahkan komputasi berat ke off-chain sambil menjaga keamanan verifikasi on-chain.

Recursive proof memberi developer cara untuk membuktikan pekerjaan kompleks tanpa meminta setiap node blockchain mengulangi pekerjaan tersebut.

Hal ini dapat meningkatkan skalabilitas dan memungkinkan desain aplikasi baru.

Recursive ZK Proof dan Light Client

Light client adalah pengguna atau aplikasi yang memverifikasi informasi blockchain tanpa menjalankan full node.

Recursive ZK proof dapat meningkatkan keandalan light client karena dapat memberikan bukti ringkas bahwa state chain valid.

Alih-alih memercayai server untuk melaporkan state yang benar, light client dapat memverifikasi proof riwayat perubahan state.

Hal ini dapat mengurangi asumsi kepercayaan untuk wallet, bridge, klien seluler, dan aplikasi lintas blockchain.

Contohnya, bridge mungkin ingin memverifikasi state chain lain tanpa memercayai komite kecil.

Recursive proof dapat merepresentasikan banyak blok atau perubahan state dalam format yang dapat diverifikasi oleh chain lain.

Hal ini tidak menghilangkan seluruh risiko bridge.

Sistem proof, ketersediaan data, kontrak verifier, kontrol upgrade, dan asumsi chain tetap penting.

Namun, recursive proof dapat mengurangi kebutuhan akan kepercayaan eksternal dengan mengganti sebagian asumsi manusia atau institusi dengan verifikasi matematis.

Inilah salah satu alasan riset recursive proof penting bagi infrastruktur lintas blockchain.

Recursive ZK-SNARK

Recursive ZK-SNARK adalah recursive proof yang dibuat menggunakan sistem proof berbasis SNARK.

SNARK adalah singkatan dari succinct non-interactive argument of knowledge.

SNARK dianggap bermanfaat karena ukuran proof-nya dapat kecil dan verifikasinya dapat berlangsung secara efisien.

Recursive SNARK berguna ketika sistem perlu terus memverifikasi proof sebelumnya sambil mempertahankan proof akhir yang ringkas.

Mina adalah salah satu contoh penggunaan recursive SNARK yang paling dikenal dalam kripto.

Dokumentasi recursive ZK proof Mina o1js menjelaskan bahwa rekursi merupakan alat yang ampuh untuk menyelesaikan masalah kompleks dengan ZK proof.

Rekursi SNARK dapat menjadi tantangan teknis karena verifier proof harus direpresentasikan secara efisien di dalam sirkuit lain.

Hal ini sering kali memerlukan pemilihan kurva eliptik, aritmetisasi, sistem proof, asumsi trusted setup, dan desain sirkuit yang cermat.

Jika diterapkan dengan baik, recursive SNARK dapat memberikan kompresi yang kuat dan verifikasi efisien untuk sistem blockchain.

Recursive ZK-STARK

Recursive ZK-STARK adalah recursive proof yang dibuat menggunakan sistem proof berbasis STARK.

STARK adalah singkatan dari scalable transparent argument of knowledge.

STARK sering dibahas karena sifat transparansi dan skalabilitasnya.

Dalam sistem blockchain, recursive STARK dapat membantu mengagregasi proof dan mengurangi biaya verifikasi akhir secara on-chain.

Sistem SHARP milik Starknet merupakan contoh praktis agregasi recursive proof dalam ekosistem berbasis STARK.

Dokumentasi Starknet menjelaskan bahwa SHARP mengagregasi proof secara rekursif sebelum proof akhir dikirim ke verifier on-chain.

Sistem recursive STARK dapat bermanfaat ketika banyak program atau batch independen perlu dibuktikan dan diselesaikan secara efisien.

Sistem ini juga dapat mendukung infrastruktur proving bersama yang memungkinkan berbagai aplikasi memperoleh manfaat dari verifikasi agregat.

Sama seperti SNARK, keamanannya bergantung pada implementasi yang benar, asumsi yang sound, desain verifier yang cermat, dan integrasi yang aman dengan settlement layer.

Recursive Proof dan Plonky2

Plonky2 adalah sistem proof yang dirancang dengan fokus pada komposisi rekursif yang cepat.

Makalah Plonky2 menjelaskan Plonky2 sebagai implementasi argumen kriptografis yang berfokus pada komposisi rekursif yang cepat.

Dalam kripto, sistem proof seperti Plonky2 penting karena rekursi dapat dibatasi oleh kecepatan proving, biaya verifikasi, dan kompleksitas sirkuit.

Jika rekursi terlalu lambat, agregasi proof mungkin tidak praktis untuk sistem transaksi nyata.

Jika verifikasi rekursif terlalu mahal, proof akhir mungkin tidak menghasilkan penghematan biaya yang memadai.

Sistem recursive proof yang cepat bertujuan membuat komposisi proof lebih mudah digunakan untuk rollup, zkVM, bridge, dan infrastruktur blockchain lainnya.

Pelajaran yang lebih luas adalah bahwa desain recursive ZK proof bukan hanya tentang kemungkinan matematis.

Desain ini juga berkaitan dengan kinerja teknis.

Sistem recursive proof harus cukup cepat, ringkas, dan andal untuk digunakan dalam sistem kripto produksi.

Recursive ZK Proof dan zkVM

zkVM adalah zero-knowledge virtual machine yang membuktikan eksekusi program yang benar.

Recursive ZK proof dapat membantu sistem zkVM membuktikan program besar dengan membagi eksekusinya menjadi segmen-segmen kecil.

Setiap segmen dapat menghasilkan proof.

Proof tersebut kemudian dapat digabungkan secara rekursif menjadi proof akhir atas seluruh eksekusi program.

Hal ini berguna karena membuktikan program besar sekaligus dapat menjadi mahal atau tidak praktis.

Rekursi memberi perancang zkVM cara untuk meningkatkan skala beban kerja proving secara horizontal.

Mesin atau prover yang berbeda dapat mengerjakan segmen yang berbeda.

Proof akhir kemudian dapat merepresentasikan seluruh execution trace.

Model ini penting bagi aplikasi blockchain di masa depan yang ingin membuktikan komputasi off-chain yang kompleks dan memverifikasinya dengan biaya rendah secara on-chain.

Model ini dapat mendukung eksekusi rollup, coprocessor, game yang dapat dibuktikan, aplikasi privat, dan alur kerja terkait AI yang dapat diverifikasi.

Recursive ZK Proof vs ZK Proof Biasa

ZK proof biasa membuktikan suatu pernyataan tentang data atau komputasi.

Recursive ZK proof membuktikan pernyataan yang mencakup validitas proof lain.

Perbedaan ini mengubah cara sistem proof dapat ditingkatkan skalanya.

Dengan proof biasa, verifier mungkin perlu memeriksa banyak proof terpisah jika ada banyak komputasi.

Dengan recursive proof, proof tersebut dapat digabungkan sehingga verifier hanya memeriksa satu proof akhir.

Proof biasa tetap berguna dan sering kali lebih sederhana.

Recursive proof lebih kompleks, tetapi dapat membuka peluang bagi sistem yang lebih besar.

Developer sebaiknya tidak menggunakan rekursi hanya karena terdengar canggih.

Rekursi paling berguna ketika sistem memerlukan agregasi proof, komputasi besar, kompresi chain, atau verifikasi bertahap.

Untuk aplikasi kecil, proof biasa mungkin lebih mudah, murah, dan aman untuk diterapkan.

Recursive ZK Proof vs Verifikasi Batch

Agregasi recursive proof tidak sama dengan verifikasi batch sederhana.

Verifikasi batch berarti memeriksa banyak proof secara bersamaan dengan lebih efisien dibandingkan memeriksanya satu per satu.

Agregasi recursive proof berarti membuat proof baru yang menyatakan validitas proof sebelumnya.

Verifikasi batch dapat mengurangi biaya verifikasi, tetapi verifier mungkin tetap harus menangani banyak objek proof.

Agregasi rekursif dapat menggabungkan banyak proof menjadi satu objek proof.

Perbedaan ini penting bagi blockchain karena verifikasi on-chain memiliki batasan ketat.

Smart contract mungkin dapat memverifikasi satu proof ringkas dengan biaya lebih rendah dibandingkan banyak proof terpisah.

Agregasi rekursif juga dapat membentuk pohon proof, tempat banyak proof digabungkan secara bertahap.

Struktur ini berguna untuk proving paralel dan sistem rollup berskala besar.

Desain terbaik bergantung pada ukuran proof, biaya proving, biaya verifikasi, latensi, dan persyaratan settlement.

Manfaat Recursive ZK Proof

Manfaat utama pertama adalah skalabilitas.

Recursive proof dapat mengompresi banyak proof atau komputasi menjadi satu proof akhir.

Manfaat kedua adalah biaya verifikasi yang lebih rendah.

Blockchain dapat memverifikasi satu proof alih-alih banyak proof terpisah.

Manfaat ketiga adalah proving paralel.

Banyak prover dapat mengerjakan bagian beban kerja yang berbeda lalu menggabungkan proof-nya nanti.

Manfaat keempat adalah verifikasi light client yang lebih baik.

Pengguna dapat memverifikasi proof ringkas alih-alih riwayat berukuran besar.

Manfaat kelima adalah desain sistem privasi yang lebih kuat.

Proof privat dapat diagregasi tanpa mengungkap input privat.

Manfaat keenam adalah infrastruktur modular.

Rollup, zkVM, bridge, dan aplikasi dapat membuat proof yang menjadi bagian dari sistem proof yang lebih besar.

Manfaat ketujuh adalah komposabilitas yang lebih baik.

Proof dari berbagai bagian sistem dapat disusun menjadi proof kebenaran yang lebih luas.

Keterbatasan Recursive ZK Proof

Recursive ZK proof sangat bermanfaat, tetapi tidak sederhana.

Desain, audit, dan implementasinya dapat lebih sulit daripada proof biasa.

Sirkuit harus memverifikasi proof di dalamnya dengan benar.

Input publik harus ditangani dengan cermat agar proof akhir membuktikan pernyataan yang tepat.

Sistem proof harus menghindari asumsi yang lemah, pilihan parameter yang tidak aman, dan bug implementasi.

Proving rekursif juga dapat menambah latensi jika sistem harus menunggu banyak lapisan proof selesai.

Beberapa sistem rekursif memerlukan kurva khusus, siklus kurva, pilihan trusted setup, atau optimasi khusus untuk sistem proof tertentu.

Developer juga harus mempertimbangkan ketersediaan data.

Proof dapat menunjukkan bahwa komputasi valid, tetapi pengguna mungkin tetap memerlukan akses ke data transaksi yang mendasarinya untuk merekonstruksi atau keluar dari sistem.

Hal ini sangat penting bagi rollup dan sistem scaling lainnya.

Risiko Keamanan Recursive ZK Proof

Risiko terbesar adalah membuktikan pernyataan yang salah.

Jika sirkuit memverifikasi proof di dalamnya, tetapi tidak menghubungkan output publik proof tersebut dengan benar ke input proof luar, rekursinya bisa tidak aman.

Risiko lainnya adalah memercayai sirkuit verifier yang belum diaudit secara cermat.

Bug pada verifier rekursif dapat memengaruhi setiap proof yang dibangun di atasnya.

Risiko lainnya adalah ketersediaan data yang lemah.

Proof yang valid tidak otomatis berarti pengguna dapat mengakses seluruh data yang diperlukan untuk pemulihan mandiri.

Risiko lainnya adalah kontrol upgrade.

Jika protokol dapat meng-upgrade kontrak verifier atau sistem proof dengan terlalu mudah, pengguna dapat menghadapi risiko tata kelola atau kunci admin.

Risiko lainnya adalah sentralisasi prover.

Jika pembuatan proof memerlukan perangkat keras mahal atau infrastruktur khusus, hanya beberapa entitas yang mungkin dapat membuat proof.

Recursive ZK proof mengurangi beberapa asumsi kepercayaan, tetapi tidak menghilangkan seluruh risiko sistem.

Pohon Recursive Proof

Pohon recursive proof adalah struktur yang menggabungkan banyak proof dalam beberapa lapisan.

Pada lapisan terbawah, banyak proof kecil memverifikasi bagian-bagian kecil komputasi.

Pada lapisan berikutnya, proof memverifikasi kelompok proof yang lebih kecil tersebut.

Proses ini berlanjut hingga satu proof akar merepresentasikan seluruh pohon.

Model ini mirip dengan cara Merkle tree mengompresi banyak bagian data menjadi satu root, tetapi pohon recursive proof mengompresi banyak komputasi yang telah diverifikasi menjadi satu proof akhir.

Pohon proof berguna karena memungkinkan pekerjaan paralel.

Banyak prover dapat membuat proof tingkat bawah secara bersamaan.

Prover agregator kemudian dapat menggabungkan hasilnya.

Hal ini dapat membuat sistem proof besar lebih praktis untuk jaringan kripto nyata.

Rollup, prover bersama, zkVM, dan pasar proof dapat menggunakan desain pohon proof.

Recursive ZK Proof dan Ketersediaan Data

Recursive ZK proof tidak menggantikan ketersediaan data.

Proof dapat menunjukkan bahwa perubahan state valid, tetapi pengguna mungkin tetap memerlukan data transaksi di balik perubahan tersebut.

Untuk rollup, ketersediaan data membantu pengguna memverifikasi saldo, merekonstruksi state, dan keluar jika diperlukan.

Jika data disembunyikan atau tidak tersedia, proof yang valid mungkin tidak cukup untuk melindungi pengguna.

Karena itulah desain ZK-rollup harus memisahkan validitas dari ketersediaan data.

Validity proof menunjukkan bahwa komputasi mengikuti aturan.

Ketersediaan data memastikan pengguna dapat mengakses informasi yang diperlukan untuk melacak dan memulihkan state secara mandiri.

Recursive proof dapat membuat verifikasi validitas lebih murah.

Namun, proof ini tidak otomatis menyelesaikan setiap masalah akses data.

Sistem scaling yang aman harus menangani kebenaran proof sekaligus ketersediaan data.

Recursive ZK Proof dan Verifikasi On-Chain

Verifikasi on-chain adalah proses ketika smart contract atau protokol blockchain memverifikasi proof.

Recursive ZK proof dapat meningkatkan efisiensi verifikasi on-chain dengan menggabungkan banyak pemeriksaan proof menjadi satu pemeriksaan akhir.

Hal ini dapat menurunkan biaya gas atau mengurangi beban settlement.

Metode ini juga dapat memungkinkan verifikasi komputasi off-chain berskala besar yang jika tidak demikian terlalu mahal untuk diperiksa langsung secara on-chain.

Namun, verifikasi on-chain tetap bergantung pada kontrak verifier atau implementasi verifier native.

Verifier harus benar, efisien, dan kompatibel dengan sistem proof.

Jika verifier dapat di-upgrade, pengguna sebaiknya memahami siapa yang mengendalikan upgrade tersebut.

Jika verifier bergantung pada trusted setup, pengguna sebaiknya memahami asumsi yang timbul dari setup tersebut.

Jika verifier mahal, manfaat rekursi dapat berkurang.

Sistem recursive proof yang baik dirancang dengan mempertimbangkan biaya verifikasi akhir.

Recursive ZK Proof dan Desentralisasi Prover

Recursive proof dapat mendukung proving terdesentralisasi, tetapi tidak menjaminnya.

Sistem recursive proof dapat membagi pekerjaan menjadi tugas-tugas lebih kecil yang dapat ditangani banyak prover.

Hal ini dapat memudahkan distribusi pekerjaan proving ke beberapa mesin atau peserta.

Namun, beberapa tugas proving mungkin tetap memerlukan perangkat keras yang kuat, software yang dioptimalkan, atau pengetahuan khusus.

Jika hanya satu operator yang dapat membuat proof dengan cukup cepat, sistem dapat menjadi terpusat secara operasional.

Desentralisasi prover penting karena rollup atau sistem proof mungkin bergantung pada pembuatan proof yang tepat waktu.

Jika satu-satunya prover gagal, terkena sensor, atau berhenti beroperasi, pengguna dapat mengalami penundaan.

Beberapa sistem mengatasi hal ini dengan menggunakan prover cadangan, pasar proof, jaringan proving bersama, atau desain proving tanpa izin.

Recursive proof dapat membantu desain ini dengan membuat pekerjaan proof bersifat modular.

Keamanan akhir tetap bergantung pada keseluruhan arsitektur proving dan settlement protokol.

Use Case Umum Recursive ZK Proof

Recursive ZK proof digunakan untuk agregasi proof ZK-rollup.

Proof ini digunakan untuk blockchain succinct yang menjaga verifikasi tetap ringkas seiring bertambahnya riwayat chain.

Proof ini digunakan untuk zkVM yang perlu membuktikan eksekusi program besar.

Proof ini digunakan untuk sistem privasi yang mengagregasi banyak transaksi privat.

Proof ini digunakan untuk verifikasi lintas blockchain ketika satu chain memverifikasi state chain lain.

Proof ini digunakan untuk komputasi yang dapat diverifikasi dalam aplikasi yang perlu membuktikan pekerjaan off-chain.

Proof ini digunakan untuk pembuatan proof multipihak ketika beberapa pihak berkontribusi pada proof akhir.

Proof ini digunakan untuk pasar proof, tempat berbagai prover membuat bagian-bagian dari beban kerja proof yang lebih besar.

Proof ini juga dapat digunakan dalam sistem identitas, saat pengguna membuktikan kredensial atau persyaratan kepatuhan tanpa mengungkap informasi pribadi yang tidak diperlukan.

Seiring sistem blockchain menjadi lebih modular, recursive proof kemungkinan akan tetap penting untuk menghubungkan berbagai komponen pembuat proof.

Praktik Terbaik untuk Developer

Developer sebaiknya menggunakan sistem dan library proof yang telah ditinjau dengan baik jika memungkinkan.

Mereka sebaiknya mendefinisikan dengan jelas pernyataan yang ingin dibuktikan oleh setiap recursive proof.

Mereka sebaiknya menghubungkan input dan output publik antara proof di dalam dan proof luar dengan cermat.

Mereka sebaiknya tidak menganggap rekursi sebagai jalan pintas untuk desain sistem yang lemah.

Mereka sebaiknya menguji sirkuit rekursif dengan proof tidak valid, input publik yang tidak sesuai format, kasus batas, dan perubahan state yang bersifat adversarial.

Mereka sebaiknya mempertimbangkan ketersediaan data secara terpisah dari validitas proof.

Mereka sebaiknya mendokumentasikan asumsi trusted setup, kontrak verifier, kontrol upgrade, dan persyaratan prover.

Mereka sebaiknya merancang sistem agar kegagalan pembuatan proof tidak mengunci dana pengguna secara tidak perlu.

Mereka sebaiknya menggunakan audit dari tim yang memahami smart contract dan sistem proof.

Mereka sebaiknya memantau latensi proving, biaya verifikasi, dan sentralisasi prover dari waktu ke waktu.

Praktik Terbaik untuk Pengguna

Pengguna sebaiknya memahami bahwa recursive ZK proof dapat meningkatkan skalabilitas dan verifikasi, tetapi tidak menghilangkan seluruh risiko.

Pengguna sebaiknya memeriksa apakah protokol menjelaskan cara kerja proof, ketersediaan data, dan penarikan.

Pengguna sebaiknya berhati-hati terhadap sistem yang menggunakan istilah ZK canggih tanpa dokumentasi yang jelas.

Pengguna sebaiknya mencari audit, kode verifier open-source, tinjauan keamanan publik, dan kebijakan upgrade yang transparan.

Pengguna sebaiknya memahami apakah protokol bergantung pada satu prover, kelompok prover kecil, atau sistem proving yang lebih terdesentralisasi.

Pengguna juga sebaiknya memahami apakah data transaksi dipublikasikan secara on-chain, disimpan di tempat lain, atau ditangani oleh data availability layer terpisah.

Recursive proof yang valid sangat bernilai, tetapi hanya merupakan salah satu bagian dari model keamanan secara keseluruhan.

Pengguna sebaiknya menganggap recursive ZK proof sebagai alat kriptografis yang kuat, bukan sebagai jaminan bahwa setiap produk terkait bebas risiko.

FAQ

Apa arti recursive ZK proof?

Recursive ZK proof adalah zero-knowledge proof yang memverifikasi zero-knowledge proof lainnya.

Mengapa recursive ZK proof berguna dalam kripto?

Recursive ZK proof berguna karena dapat menggabungkan banyak proof atau komputasi menjadi satu proof ringkas yang lebih murah untuk diverifikasi secara on-chain.

Apakah recursive ZK proof digunakan dalam ZK-rollup?

Ya, recursive proof dapat membantu ZK-rollup mengagregasi proof transaksi atau batch proof sebelum penyelesaian akhir di base chain.

Apakah recursive ZK proof hanya digunakan untuk privasi?

Tidak. Recursive ZK proof dapat mendukung privasi, tetapi juga digunakan untuk scaling, agregasi proof, light client, zkVM, dan komputasi yang dapat diverifikasi.

Apa itu proof atas proof?

Proof atas proof adalah cara sederhana untuk menjelaskan rekursi, yaitu proof baru membuktikan bahwa proof sebelumnya valid.

Apakah recursive ZK proof membuat blockchain lebih cepat?

Recursive ZK proof dapat meningkatkan skalabilitas dengan mengurangi pekerjaan verifikasi, tetapi kecepatan nyata juga bergantung pada waktu proving, ketersediaan data, desain jaringan, dan aturan settlement.

Apakah recursive ZK proof menghilangkan kebutuhan akan ketersediaan data?

Tidak. Recursive proof membuktikan validitas, tetapi pengguna mungkin tetap perlu mengakses data transaksi untuk merekonstruksi state atau melindungi dana mereka.

Apa perbedaan recursive ZK-SNARK dan recursive ZK-STARK?

Recursive ZK-SNARK menggunakan sistem proof berbasis SNARK, sedangkan recursive ZK-STARK menggunakan sistem proof berbasis STARK.

Apakah recursive proof dapat diverifikasi secara on-chain?

Ya, banyak sistem dirancang agar recursive proof akhir dapat diverifikasi oleh kontrak verifier on-chain atau verifier native.

Apakah recursive ZK proof berisiko?

Recursive ZK proof dapat berisiko jika sirkuit, logika verifier, hubungan input publik, model ketersediaan data, atau kontrol upgrade dirancang dengan buruk.

Kesimpulan

Recursive ZK proof merupakan salah satu alat kriptografis terpenting untuk meningkatkan skala dan memverifikasi sistem kripto.

Recursive ZK proof memungkinkan satu zero-knowledge proof memverifikasi proof lainnya sehingga membentuk rangkaian komputasi terverifikasi yang ringkas.

Hal ini memungkinkan agregasi banyak proof, kompresi riwayat blockchain, dukungan untuk ZK-rollup, peningkatan kemampuan light client, dan pembuktian komputasi off-chain yang kompleks.

Untuk scaling blockchain, recursive proof dapat mengurangi biaya verifikasi on-chain dan membantu prover bekerja secara paralel.

Untuk sistem privasi, recursive proof dapat menggabungkan banyak proof privat tanpa mengungkap input sensitif.

Untuk blockchain succinct, recursive proof dapat membantu pengguna memverifikasi state terkini tanpa mengunduh seluruh riwayat chain.

Recursive ZK proof bukan solusi ajaib karena ketersediaan data, keamanan verifier, desentralisasi prover, dan kebenaran sirkuit tetap penting.

Recursive ZK proof paling tepat dipahami sebagai metode komposisi proof yang kuat untuk memudahkan pemeriksaan sistem terverifikasi berskala besar.

Seiring infrastruktur kripto menjadi lebih modular dan berbasis proof, recursive ZK proof akan tetap menjadi teknologi inti untuk membuat blockchain lebih skalabel, privat, dan dapat diverifikasi.