Validity Proof

Apa Itu Validity Proof?

Validity Proof adalah bukti kriptografis yang menunjukkan bahwa suatu komputasi, batch transaksi, atau transisi state blockchain telah dieksekusi dengan benar.

Dalam kripto, Validity Proof paling sering dibahas dalam ZK-rollup, Validium, Volition, zkVM, zkEVM, dan sistem skalabilitas lainnya yang memproses transaksi secara off-chain serta membuktikan hasilnya secara on-chain.

Dokumentasi resmi Ethereum ZK-rollups menjelaskan bahwa ZK-rollup mengirimkan validity proof untuk memfinalisasi batch transaksi off-chain di Ethereum.

Validity Proof memungkinkan verifier memeriksa bahwa state baru benar tanpa mengeksekusi ulang setiap transaksi satu per satu.

Hal ini kuat karena blockchain dapat memverifikasi proof kecil, alih-alih memproses komputasi dalam jumlah besar secara langsung.

Validity Proof merupakan alasan utama sistem Layer 2 modern dapat mengurangi biaya sambil tetap mewarisi jaminan keamanan penting dari chain penyelesaian.

Bagi pemula, definisi paling sederhananya adalah: Validity Proof merupakan tanda terima kriptografis ringkas yang membuktikan bahwa satu batch aktivitas off-chain mengikuti aturan.

Mengapa Validity Proof Penting dalam Kripto

Validity Proof penting karena blockchain perlu menskalakan sistem tanpa mengorbankan kebenaran.

Base layer seperti Ethereum aman, tetapi blockspace dan komputasi terbatas.

Jika setiap tindakan pengguna harus dieksekusi sepenuhnya oleh setiap node base layer, biaya dapat meningkat dan throughput tetap terbatas.

Validity Proof membantu mengatasi hal ini dengan memindahkan eksekusi secara off-chain sambil menjaga verifikasi tetap on-chain.

Rollup atau Validium dapat memproses banyak transaksi di luar base layer, menghasilkan proof, lalu mengirimkan proof itu ke smart contract.

Jika proof terverifikasi, chain penyelesaian menerima pembaruan state.

Hal ini dapat mengurangi biaya swap, transfer, aktivitas NFT, pembayaran, tindakan gaming, dan operasi on-chain lainnya.

Glosarium L2BEAT mendefinisikan validity proof sebagai keluaran sistem pembuktian kriptografis yang mengatestasi komputasi yang benar.

Artinya, Validity Proof bukan hanya detail teknis.

Validity Proof merupakan bagian inti dari cara sistem skalabilitas berupaya mempertahankan keamanan yang meminimalkan kebutuhan akan kepercayaan sambil meningkatkan pengalaman pengguna.

Cara Kerja Validity Proof

Validity Proof biasanya dimulai dengan eksekusi off-chain.

Sequencer, operator, jaringan prover, atau lingkungan eksekusi menerima transaksi pengguna dan menghitung state yang dihasilkan.

Sistem dimulai dari state root lama.

Sistem menerapkan satu batch transaksi sesuai aturan protokol.

Sistem menghasilkan state root baru.

Kemudian, sistem proving menghasilkan proof bahwa transisi dari state root lama ke state root baru valid.

Proof dikirimkan kepada verifier, yang sering kali berupa smart contract pada chain penyelesaian.

Verifier memeriksa proof dengan biaya yang jauh lebih rendah daripada menjalankan ulang seluruh komputasi awal.

Jika proof diterima, pembaruan state menjadi valid dalam sistem penyelesaian.

Jika proof ditolak, pembaruan tidak valid seharusnya tidak diterima.

Struktur ini memungkinkan base chain menegakkan kebenaran tanpa melakukan seluruh pekerjaan itu sendiri.

Validity Proof dan Transisi State

Transisi state adalah perubahan dari satu state blockchain yang valid ke state blockchain valid lainnya.

Misalnya, jika satu pengguna mengirim token kepada pengguna lain, saldo pengirim berkurang dan saldo penerima bertambah.

Jika pengguna menukar token melalui aplikasi terdesentralisasi, saldo, cadangan pool, dan biaya semuanya dapat berubah.

Dalam rollup, banyak tindakan tersebut dapat dikelompokkan dalam satu batch.

Validity Proof menunjukkan bahwa seluruh batch mengubah state dengan benar.

Inilah sebabnya Validity Proof terkadang digambarkan sebagai bukti kebenaran eksekusi.

Validity Proof tidak hanya menyatakan bahwa transaksi ada.

Validity Proof membuktikan bahwa transaksi diproses sesuai aturan sistem.

Hal ini membuatnya penting bagi bridge, penarikan, saldo, panggilan smart contract, dan keamanan aplikasi.

Proof yang memverifikasi state tidak benar akan sangat merugikan, sehingga keamanan sistem proof dan kebenaran verifier sangat penting.

Validity Proof vs. Zero-Knowledge Proof

Validity Proof sering dibuat menggunakan teknologi zero-knowledge proof, tetapi kedua istilah tersebut tidak selalu identik.

Zero-knowledge proof dapat membuktikan suatu pernyataan benar tanpa mengungkapkan seluruh informasi yang mendasarinya.

Validity Proof membuktikan bahwa suatu komputasi atau transisi state valid.

Banyak rollup menggunakan sistem zero-knowledge proof seperti SNARK atau STARK untuk membuat Validity Proof.

Namun, dalam sistem skalabilitas, tujuan utama sering kali adalah verifikasi ringkas, bukan privasi.

Artinya, ZK-rollup dapat menggunakan teknologi zero-knowledge proof tanpa menyembunyikan setiap transaksi pengguna dari pandangan publik.

Istilah “ZK” dapat membingungkan karena dalam pembahasan rollup istilah ini sering berarti “berbasis validity proof”.

Halaman resmi Ethereum ZK-rollups menjelaskan bahwa ZK-rollup menggunakan validity proof untuk membuktikan eksekusi transaksi off-chain.

Bagi pengguna, poin utamanya sederhana.

Validity Proof membuktikan kebenaran, sedangkan privasi bergantung pada desain protokol spesifik.

Validity Proof vs. Fraud Proof

Validity Proof dan Fraud Proof adalah dua cara berbeda untuk mengamankan pembaruan state Layer 2.

Validity Proof membuktikan batch benar sebelum batch tersebut diterima.

Fraud Proof digunakan untuk menggugat batch setelah batch tersebut dipublikasikan secara optimistis.

Dokumentasi resmi Ethereum Optimistic Rollups menjelaskan bahwa optimistic rollup mengasumsikan transaksi off-chain valid dan tidak memublikasikan validity proof untuk setiap batch.

Sistem optimistis biasanya memiliki periode gugatan ketika pembaruan state yang salah dapat disengketakan.

Sistem berbasis validity proof tidak memerlukan periode tunggu fraud proof yang sama untuk kebenaran karena proof harus terverifikasi sebelum diterima.

Hal ini dapat memungkinkan finalitas lebih cepat untuk penarikan dan pembaruan state ketika sistem proving berfungsi dengan baik.

Namun, pembuatan Validity Proof dapat mahal dan kompleks.

Sistem fraud proof mungkin lebih sederhana dalam beberapa hal, tetapi bergantung pada pihak yang menggugat dan periode sengketa.

Pilihan di antara keduanya adalah kompromi desain, bukan perbandingan sederhana antara baik dan buruk.

Validity Proof dan ZK-Rollup

ZK-rollup adalah tempat paling umum bagi pengguna untuk menemukan Validity Proof.

ZK-rollup memproses transaksi secara off-chain, menghasilkan Validity Proof, dan mengirimkan proof tersebut ke smart contract pada base chain.

Base chain memverifikasi proof dan menerima state root baru jika proof valid.

Hal ini memungkinkan rollup menskalakan eksekusi sambil menggunakan chain penyelesaian untuk verifikasi final.

ZK-rollup juga memublikasikan data yang cukup agar pengguna dan pengamat dapat merekonstruksi state rollup.

Ketersediaan data ini penting karena pengguna memerlukan akses ke data transaksi atau perbedaan state untuk memverifikasi saldo dan melakukan exit dengan aman.

Halaman analisis risiko L2BEAT menjelaskan bahwa rollup memublikasikan komitmen state ke Ethereum dan memvalidasinya melalui Validity Proof atau mekanisme gugatan optimistis.

Keamanan ZK-rollup bergantung pada sistem proof, kontrak verifier, ketersediaan data, desain bridge, dan kontrol upgrade.

Validity Proof bersifat sentral, tetapi bukan satu-satunya faktor risiko.

Validity Proof dan Validium

Sistem Validium juga menggunakan Validity Proof, tetapi menangani ketersediaan data secara berbeda dari ZK-rollup.

Validium membuktikan bahwa eksekusi off-chain benar, tetapi tidak memublikasikan seluruh data transaksi pada chain penyelesaian.

Dokumentasi resmi Ethereum Validium menjelaskan bahwa Validium menggunakan validity proof seperti ZK-rollup, tetapi menyimpan data transaksi di luar Ethereum.

Hal ini dapat membuat Validium lebih murah daripada rollup karena lebih sedikit data dipublikasikan secara on-chain.

Namun, hal ini menciptakan risiko ketersediaan data tambahan.

Jika data ditahan, pengguna mungkin tidak dapat merekonstruksi state atau menarik dana dengan aman.

Ini merupakan pelajaran penting tentang Validity Proof.

Validity Proof dapat membuktikan transisi state benar, tetapi tidak otomatis membuktikan bahwa semua pengguna memiliki data yang mereka perlukan.

Eksekusi yang benar dan ketersediaan data adalah dua sifat keamanan yang berbeda.

Sistem skalabilitas yang aman membutuhkan keduanya.

Validity Proof dan Volition

Volition adalah desain ketersediaan data hibrida yang memungkinkan pengguna atau aplikasi memilih antara data on-chain bergaya rollup dan data off-chain bergaya Validium.

Dokumentasi resmi ketersediaan data StarkEx menjelaskan bahwa Volition memungkinkan pengguna memakai vault ZK-Rollup dan Validium dalam aplikasi yang sama.

Validity Proof dapat mengamankan kedua mode karena proof memverifikasi eksekusi yang benar.

Perbedaannya adalah tempat data disediakan.

Dalam mode rollup, data dipublikasikan secara on-chain.

Dalam mode Validium, data disimpan secara off-chain melalui desain ketersediaan eksternal.

Volition menunjukkan bahwa Validity Proof hanyalah salah satu bagian dari arsitektur skalabilitas.

Dua sistem dapat menggunakan teknologi proof serupa sambil menawarkan jaminan pengguna yang berbeda karena pilihan ketersediaan data mereka berbeda.

Hal ini penting bagi pengguna yang memilih antara biaya lebih rendah dan jaminan exit lebih kuat.

Validity Proof kuat, tetapi harus dipahami bersama ketersediaan data.

Validity Proof dan Ketersediaan Data

Ketersediaan data adalah jaminan bahwa pengguna dan validator dapat mengakses data yang diperlukan untuk memverifikasi atau merekonstruksi state sistem.

Dokumentasi resmi ketersediaan data Ethereum menjelaskan bahwa ketersediaan data memastikan data blok telah dipublikasikan dan dapat diakses oleh peserta jaringan.

Validity Proof dan ketersediaan data menyelesaikan masalah yang berbeda.

Validity Proof membuktikan bahwa komputasi dilakukan dengan benar.

Ketersediaan data memastikan data yang mendasarinya dapat diakses.

Sistem dapat memiliki proof valid tetapi data tidak tersedia.

Dalam kondisi tersebut, transisi state mungkin benar, tetapi pengguna tetap mungkin tidak dapat memverifikasi saldo atau melakukan exit secara mandiri.

Inilah sebabnya rollup dan Validium memiliki asumsi kepercayaan berbeda meskipun keduanya menggunakan Validity Proof.

Pengguna tidak boleh mengevaluasi sistem skalabilitas hanya dengan bertanya apakah sistem tersebut memiliki ZK proof.

Mereka juga harus bertanya tempat data disimpan dan cara pengguna dapat memulihkannya jika operator gagal.

Validity Proof dan Lapisan Penyelesaian

Lapisan penyelesaian adalah chain atau sistem yang memverifikasi proof, menyimpan komitmen, dan memfinalisasi pembaruan state.

Bagi banyak sistem Ethereum Layer 2, Ethereum bertindak sebagai lapisan penyelesaian.

Rollup atau Validium mengirimkan state root dan Validity Proof ke smart contract di Ethereum.

Kontrak Ethereum memverifikasi proof dan menerima pembaruan jika proof valid.

Hal ini membuat sistem skalabilitas dapat mewarisi sebagian keamanan Ethereum tanpa mengeksekusi setiap transaksi di Ethereum itu sendiri.

Namun, lapisan penyelesaian hanya menegakkan aturan yang dirancang untuk ditegakkan oleh smart contract.

Jika kontrak verifier memiliki bug, sistem dapat gagal.

Jika upgrade key dapat mengganti verifier secara instan, pengguna mungkin menghadapi risiko tata kelola atau admin.

Jika kontrak bridge tidak aman, dana dapat berisiko bahkan ketika sistem Validity Proof kuat.

Oleh karena itu, penyelesaian merupakan pertanyaan arsitektur menyeluruh, bukan hanya pertanyaan tentang proof.

Validity Proof dan Prover

Prover adalah sistem yang menghasilkan Validity Proof.

Dalam rollup, prover mengambil batch transaksi, jejak eksekusi, atau transisi state dan membuat proof kriptografis.

Pembuatan proof dapat membutuhkan komputasi yang mahal.

Inilah salah satu alasan sistem ZK sulit dibangun dan dioperasikan.

Beberapa proyek pada awalnya menggunakan prover terpusat karena infrastruktur proving kompleks.

Proyek lain berupaya membangun jaringan prover terdesentralisasi, tempat banyak pihak independen dapat menghasilkan proof.

Sistem prover yang kuat harus andal, cepat, dan tahan terhadap sensor atau kegagalan satu operator.

Jika proof terlambat, sistem mungkin terus memproses transaksi, tetapi penyelesaian dapat tertunda.

Jika prover gagal sepenuhnya, penarikan dan finalisasi dapat terdampak.

Pengguna harus memahami apakah proyek bergantung pada satu prover, beberapa prover, atau jaringan proving terbuka.

Validity Proof dan Verifier

Verifier adalah sistem yang memeriksa apakah Validity Proof benar.

Dalam sistem skalabilitas Ethereum, verifier sering kali berupa smart contract di Ethereum.

Verifier tidak mengulangi seluruh komputasi off-chain.

Verifier memeriksa proof ringkas terhadap input publik seperti state root lama, state root baru, dan komitmen lain yang diperlukan.

Inilah yang membuat Validity Proof bermanfaat untuk skalabilitas.

Verifikasi seharusnya jauh lebih murah daripada eksekusi penuh.

Namun, kebenaran verifier sangat penting.

Jika verifier menerima proof buruk, state tidak valid dapat difinalisasi.

Jika verifier menolak proof valid, sistem mungkin berhenti berfungsi dengan baik.

Kontrak verifier harus diaudit, diuji, dipantau, dan dilindungi dengan aturan upgrade yang cermat.

Proof hanya berguna jika verifier menegakkannya dengan benar.

Validity Proof dan SNARK

SNARK adalah salah satu keluarga sistem proof yang umum digunakan untuk membuat Validity Proof.

SNARK merupakan singkatan dari Succinct Non-Interactive Argument of Knowledge.

SNARK dapat menghasilkan proof kecil yang cepat diverifikasi.

Hal ini membuat SNARK menarik untuk skalabilitas blockchain karena biaya verifikasi on-chain penting.

Namun, beberapa sistem SNARK memerlukan upacara trusted setup atau asumsi kriptografis tertentu.

Berbagai desain SNARK memiliki kompromi berbeda terkait ukuran proof, waktu proving, biaya verifikasi, transparansi, rekursi, dan tooling developer.

Dalam pembahasan rollup, Validity Proof berbasis SNARK sering digunakan untuk memverifikasi bahwa batch transaksi dieksekusi dengan benar.

Pengguna tidak perlu memahami setiap detail matematis untuk memahami model risikonya.

Mereka perlu mengetahui bahwa SNARK dapat membuat verifikasi efisien, tetapi implementasi dan asumsi setup tetap penting.

Proyek harus mengungkapkan sistem proof yang digunakan dan cara sistem tersebut diamankan.

Validity Proof dan STARK

STARK adalah keluarga sistem proof utama lainnya yang digunakan untuk Validity Proof.

STARK merupakan singkatan dari Scalable Transparent Argument of Knowledge.

STARK dikenal karena transparansinya karena tidak membutuhkan jenis trusted setup yang sama seperti yang digunakan beberapa sistem SNARK.

Gambaran umum resmi StarkEx menjelaskan StarkEx sebagai mesin skalabilitas yang menggunakan STARK proof dan mendukung mode ketersediaan data rollup, Validium, serta Volition.

STARK dapat menarik untuk komputasi besar dan sistem skalabilitas.

STARK juga dapat memiliki ukuran proof lebih besar dibandingkan beberapa desain SNARK, bergantung pada implementasinya.

Seperti SNARK, STARK tidak otomatis bersifat privat hanya karena digunakan dalam sistem ZK.

Penggunaan utama untuk skalabilitas adalah proof atas eksekusi yang benar.

Validity Proof berbasis STARK dapat membantu chain penyelesaian memverifikasi komputasi off-chain dalam jumlah besar secara efisien.

Komprominya bersifat teknis, tetapi memengaruhi biaya, kecepatan, asumsi keamanan, dan desain ekosistem.

Validity Proof dan zkEVM

zkEVM adalah sistem proving zero-knowledge yang dirancang untuk membuktikan eksekusi smart contract mirip Ethereum atau komputasi yang kompatibel dengan EVM.

Validity Proof menjadi inti zkEVM karena sistem harus membuktikan bahwa eksekusi EVM dilakukan dengan benar.

Hal ini sulit karena EVM pada awalnya tidak dirancang agar mudah dibuktikan.

zkEVM harus menangani opcode, aturan gas, storage, call, log, precompile, dan pembaruan state.

Tujuannya adalah memungkinkan developer menerapkan aplikasi bergaya Ethereum sambil memperoleh manfaat skalabilitas dari proof berbasis validitas.

zkEVM yang berbeda dapat membuat kompromi kompatibilitas dan performa yang berbeda.

Beberapa bertujuan mencapai ekuivalensi EVM yang dekat.

Yang lain mengoptimalkan efisiensi proving dan tooling developer.

Pengguna tidak boleh mengasumsikan semua zkEVM memiliki keamanan, biaya, atau kompatibilitas yang sama.

Validity Proof hanya membuktikan eksekusi berdasarkan aturan yang ditetapkan sistem.

Validity Proof dan zkVM

zkVM adalah mesin virtual yang dirancang untuk menghasilkan proof atas eksekusi program.

Alih-alih hanya membuktikan satu circuit khusus, zkVM dapat membuktikan bahwa program yang lebih luas dijalankan dengan benar.

Hal ini dapat membuat Validity Proof lebih fleksibel untuk appchain, rollup, bridge, coprocessor, dan komputasi off-chain.

zkVM dapat digunakan untuk membuktikan eksekusi blok blockchain, logika smart contract, pemrosesan data, atau aplikasi khusus.

Hal ini penting karena developer mungkin menginginkan sistem proof yang mendukung bahasa pemrograman yang familier atau komputasi yang lebih umum.

Namun, generalitas dapat disertai biaya performa.

Circuit kustom mungkin lebih cepat untuk satu tugas tertentu.

zkVM mungkin lebih mudah dibangun, tetapi lebih sulit dioptimalkan.

Validity Proof yang dibangun dengan zkVM merupakan bagian dari tren berkembang menuju komputasi yang dapat diverifikasi di luar transfer token sederhana.

Hal ini dapat memperluas apa yang dapat diverifikasi blockchain tanpa mengeksekusi semuanya secara langsung.

Validity Proof dan Proof Rekursif

Proof rekursif memungkinkan satu proof memverifikasi proof lainnya.

Hal ini dapat berguna untuk mengagregasi banyak Validity Proof menjadi satu proof yang lebih kecil.

Misalnya, beberapa batch transaksi mungkin masing-masing memiliki proof sendiri.

Sistem rekursif dapat menggabungkan proof tersebut menjadi satu proof yang lebih murah untuk dikirimkan atau diverifikasi.

Hal ini dapat meningkatkan skalabilitas karena chain penyelesaian dapat memverifikasi satu proof agregat, bukan banyak proof terpisah.

Proving rekursif juga dapat mendukung arsitektur multilapis, verifikasi cross-chain, dan kompresi proof.

Namun, rekursi menambah kompleksitas.

Sistem proof, verifier, logika agregasi, dan asumsi keamanan semuanya perlu ditinjau dengan cermat.

Validity Proof rekursif kuat karena dapat membuat sistem proof lebih skalabel.

Namun, sistem ini juga canggih dan memerlukan disiplin engineering yang kuat.

Validity Proof dan Bridge

Bridge merupakan salah satu tempat terpenting ketika Validity Proof memengaruhi dana pengguna.

Bridge rollup dapat mengunci aset di Ethereum dan mengkreditkan saldo yang sesuai pada Layer 2.

Ketika pengguna melakukan penarikan, bridge harus mengetahui bahwa pembaruan state Layer 2 valid.

Validity Proof dapat membantu bridge memverifikasi bahwa penarikan disertakan dalam transisi state yang benar.

Hal ini dapat mengurangi ketergantungan pada operator tepercaya.

Namun, keamanan bridge tetap bergantung pada desain smart contract, kebenaran verifier, kontrol upgrade, ketersediaan data, dan prosedur darurat.

Validity Proof tidak otomatis melindungi pengguna dari setiap risiko bridge.

Bridge tetap dapat rentan jika kontrak dapat di-upgrade tanpa jeda, admin key dikompromikan, atau logika penarikan memiliki kelemahan.

Pengguna harus memeriksa verifikasi proof, kustodi bridge, aturan exit, dan risiko upgrade sebelum melakukan deposit bernilai besar ke sistem skalabilitas apa pun.

Bridge berbasis proof kuat, tetapi tidak bebas risiko.

Validity Proof dan Kecepatan Penarikan

Validity Proof dapat meningkatkan kecepatan penarikan dibandingkan sistem yang mengandalkan periode gugatan fraud proof.

Dalam rollup berbasis validitas, setelah proof dihasilkan dan diverifikasi, pembaruan state dapat difinalisasi sesuai aturan chain penyelesaian.

Hal ini dapat mengurangi kebutuhan akan periode tunggu yang panjang.

Namun, kecepatan penarikan tetap bergantung pada waktu pembuatan proof, pengiriman proof, konfirmasi chain penyelesaian, desain bridge, dan kondisi likuiditas.

Sistem berbasis validitas mungkin tetap mengalami keterlambatan jika prover sedang padat atau protokol mengelompokkan penarikan sesuai jadwal.

Proyek juga dapat menambahkan jeda keamanan tambahan untuk alasan operasional.

Pengguna tidak boleh mengasumsikan setiap sistem Validity Proof memiliki penarikan instan.

Pertanyaan yang tepat adalah berapa lama pembuatan proof, verifikasi, dan pelepasan bridge berlangsung dalam praktik.

Validity Proof dapat memungkinkan penyelesaian lebih cepat, tetapi detail implementasi menentukan pengalaman pengguna.

Dokumentasi penarikan resmi harus selalu diperiksa sebelum memindahkan dana.

Validity Proof dan Finalitas

Finalitas berarti transaksi atau pembaruan state diterima dan tidak dapat dibalik berdasarkan aturan protokol normal.

Validity Proof dapat meningkatkan finalitas pembaruan state rollup karena kontrak penyelesaian hanya menerima transisi state yang telah dibuktikan.

Setelah proof diverifikasi dan lapisan penyelesaian memfinalisasi transaksi, pengguna dapat memiliki keyakinan lebih kuat bahwa pembaruan state valid.

Namun, finalitas tetap memiliki beberapa lapisan.

Ada konfirmasi internal rollup.

Ada pembuatan proof.

Ada verifikasi chain penyelesaian.

Ada finalitas chain penyelesaian.

Mungkin juga terdapat risiko upgrade atau tata kelola yang memengaruhi finalitas praktis.

Pengguna harus membedakan antara konfirmasi cepat dalam antarmuka Layer 2 dan penyelesaian final pada base layer.

Validity Proof merupakan bagian utama penyelesaian final, tetapi tidak selalu menjadi hal pertama yang dilihat pengguna dalam aplikasi.

Validity Proof dan Biaya Gas

Validity Proof dapat mengurangi total biaya gas dengan memungkinkan blockchain memverifikasi satu proof, alih-alih mengeksekusi setiap transaksi secara langsung.

Namun, verifikasi proof itu sendiri tetap membutuhkan gas.

Mungkin juga terdapat biaya untuk memublikasikan data, memperbarui state root, memproses penarikan, dan memelihara kontrak bridge.

Setelah perubahan data Ethereum berbasis blob, biaya data rollup dapat lebih rendah daripada desain lama berbasis calldata.

Dokumentasi resmi roadmap danksharding Ethereum menjelaskan bahwa proto-danksharding memperkenalkan blob sebagai ruang data lebih murah untuk rollup.

Hal ini memengaruhi ekonomi skalabilitas berbasis validitas.

Verifikasi proof, ketersediaan data, dan strategi batching semuanya penting bagi fee akhir.

Sistem dengan proof efisien tetapi publikasi data mahal mungkin tetap menghadapi fee tinggi.

Sistem dengan data murah tetapi proving lambat mungkin menghadapi keterlambatan.

Biaya skalabilitas adalah masalah keseluruhan pipeline, bukan hanya masalah proof.

Validity Proof dan Asumsi Keamanan

Validity Proof mengurangi beberapa asumsi kepercayaan, tetapi tidak menghilangkan semua asumsi kepercayaan.

Pengguna tetap mengandalkan soundness sistem proof.

Mereka mengandalkan implementasi verifier yang benar.

Mereka mengandalkan smart contract yang aman.

Mereka mengandalkan ketersediaan data.

Mereka mengandalkan kontrol upgrade yang wajar.

Mereka mengandalkan operator atau sequencer untuk liveness, kecuali terdapat mekanisme fallback yang kuat.

Mereka mengandalkan wallet dan pengguna untuk menandatangani transaksi yang aman.

Inilah sebabnya analisis Layer 2 yang serius mencakup lebih dari sekadar frasa “menggunakan validity proof”.

Proof memberi tahu pengguna bahwa komputasi tidak valid seharusnya tidak diterima.

Proof tidak menjamin sistem terdesentralisasi, tahan sensor, murah, privat, atau bebas dari risiko upgrade.

Validity Proof merupakan komponen keamanan yang kuat, bukan model keamanan lengkap dengan sendirinya.

Validity Proof dan Risiko Sequencer

Sequencer mengurutkan transaksi sebelum transaksi dibuktikan dan diselesaikan.

Banyak sistem berbasis validitas menggunakan sequencer untuk kecepatan dan pengalaman pengguna.

Sequencer dapat membuat blok atau batch dengan cepat serta memberi pengguna pra-konfirmasi yang cepat.

Namun, sentralisasi sequencer dapat menciptakan risiko.

Sequencer dapat offline.

Sequencer dapat menyensor transaksi.

Sequencer dapat mengurutkan ulang transaksi untuk MEV.

Sequencer dapat menunda penarikan sampai batch dipublikasikan dan dibuktikan.

Validity Proof dapat membuktikan bahwa batch valid, tetapi tidak otomatis memaksa sequencer memasukkan setiap transaksi pengguna dengan segera.

Mekanisme inklusi paksa, sequencing terdesentralisasi, mode fallback, dan aturan liveness yang jelas dapat mengurangi risiko ini.

Pengguna harus memeriksa desain sequencer ketika mengevaluasi Layer 2 berbasis validitas apa pun.

Validity Proof dan Risiko Upgrade

Risiko upgrade merupakan salah satu isu yang paling sering diabaikan dalam sistem skalabilitas berbasis validitas.

Rollup dapat menggunakan Validity Proof tetapi tetap mengandalkan kontrak yang dapat di-upgrade.

Jika tim atau multisig dapat mengganti kontrak verifier dengan cepat, pengguna harus memercayai proses upgrade tersebut.

Jika bridge dapat di-upgrade secara instan, dana pengguna mungkin terekspos pada risiko admin.

Jika tidak ada jendela exit yang berarti sebelum upgrade, pengguna mungkin tidak memiliki waktu untuk bereaksi terhadap perubahan berbahaya.

Halaman risiko L2BEAT sering mengevaluasi jeda upgrade, kontrol tata kelola, dan apakah pengguna dapat melakukan exit sebelum perubahan berisiko berlaku.

Hal ini penting karena sistem proof sempurna tidak membantu jika kontrak yang menegakkannya dapat diubah tanpa perlindungan pengguna.

Validity Proof harus dipadukan dengan upgrade transparan, audit, jeda waktu, pemantauan, dan tata kelola yang kredibel.

Sistem hanya seaman kriptografi dan struktur kontrolnya.

Validity Proof dan Privasi

Validity Proof sering dikaitkan dengan teknologi zero-knowledge, sehingga pengguna mungkin mengasumsikan bahwa Validity Proof otomatis menyediakan privasi.

Hal ini tidak selalu benar.

Validity Proof dapat membuktikan eksekusi yang benar ketika data transaksi tetap bersifat publik.

Banyak ZK-rollup memublikasikan data transaksi untuk ketersediaan data, yang berarti aktivitas pengguna mungkin tetap terlihat.

Privasi memerlukan pilihan desain tambahan, seperti state terenkripsi, transaksi terlindungi, sistem identitas privat, atau protokol privasi khusus.

Sistem proof dapat bersifat zero-knowledge dalam arti matematis, sementara aplikasi tetap mengungkap informasi transaksi untuk alasan kegunaan atau ketersediaan data.

Pengguna tidak boleh mengasumsikan ZK-rollup atau sistem berbasis validitas bersifat privat kecuali dokumentasi menjelaskan jaminan privasi dengan jelas.

Kebenaran dan privasi adalah sifat yang berbeda.

Validity Proof terutama berkaitan dengan kebenaran dalam pembahasan skalabilitas.

Privasi harus dievaluasi secara terpisah.

Validity Proof dan DeFi

Validity Proof dapat sangat berguna untuk DeFi karena DeFi membutuhkan eksekusi aman dan fee lebih rendah.

Panduan resmi DeFi Ethereum menjelaskan bahwa keuangan terdesentralisasi menggunakan blockchain publik dan smart contract untuk menyediakan layanan keuangan.

Aplikasi DeFi dapat menggunakan skalabilitas berbasis validitas untuk swap, pinjaman, derivatif, penyelesaian, pembayaran, dan manajemen portofolio.

Fee yang lebih rendah dapat membuat transaksi yang lebih kecil lebih praktis.

Penyelesaian lebih cepat dapat meningkatkan pengalaman pengguna.

Validity Proof dapat mengurangi kepercayaan pada komputasi off-chain karena transisi state tidak valid seharusnya ditolak.

Namun, pengguna DeFi tetap harus mempertimbangkan likuiditas, risiko oracle, risiko likuidasi, risiko bridge, risiko sequencer, dan ketersediaan data.

Posisi DeFi dapat valid secara matematis tetapi tetap merugi karena risiko pasar.

Rollup berbiaya rendah tetap dapat memiliki risiko kontrak atau tata kelola.

Validity Proof meningkatkan integritas eksekusi, tetapi tidak menghilangkan risiko keuangan.

Validity Proof dan NFT

Validity Proof dapat membantu platform NFT menskalakan minting, transfer, trading, dan aktivitas aset game.

Koleksi NFT dapat melibatkan banyak transaksi, terutama selama mint dengan permintaan tinggi atau acara game.

Sistem skalabilitas berbasis validitas dapat memproses tindakan tersebut secara off-chain dan membuktikan state yang dihasilkan secara on-chain.

Hal ini dapat mengurangi biaya dan meningkatkan throughput.

Panduan resmi NFT Ethereum menjelaskan bahwa NFT dapat merepresentasikan kepemilikan item unik.

Jika NFT disimpan dalam sistem berbasis validitas, pengguna harus memahami cara kepemilikan dibuktikan, cara kerja penarikan, dan tempat metadata disimpan.

Validity Proof dapat membuktikan bahwa transfer NFT mengikuti aturan protokol.

Validity Proof tidak otomatis menjamin metadata NFT permanen atau aset off-chain tersedia.

Pengguna NFT harus memeriksa desain kontrak, aturan bridge, penyimpanan metadata, dan ketentuan koleksi.

Transisi state yang valid penting, tetapi nilai NFT juga bergantung pada konteks off-chain.

Validity Proof dan Gaming

Game blockchain dapat memperoleh manfaat dari Validity Proof karena game sering memerlukan banyak tindakan berbiaya rendah.

Game mungkin memerlukan transfer item, pembaruan karakter, hasil pertandingan, klaim reward, trading marketplace, atau tindakan crafting.

Melakukan semua ini langsung pada base layer dapat menjadi mahal.

Sistem berbasis validitas dapat memproses tindakan game secara off-chain dan membuktikan hasil yang benar.

Hal ini dapat mendukung gaming Web3 yang lebih lancar tanpa hanya mengandalkan database terpusat.

Namun, pengguna game harus memahami apa yang sebenarnya dibuktikan.

Validity Proof dapat membuktikan bahwa transisi state mengikuti aturan smart contract game.

Proof mungkin tidak membuktikan bahwa desain game adil, menyenangkan, seimbang, atau bebas dari manipulasi admin.

Proof mungkin tidak membuktikan aset game off-chain, server, atau metadata akan bertahan selamanya.

Validity Proof dapat meningkatkan integritas teknis, tetapi kualitas game dan kepemilikan pengguna tetap bergantung pada desain yang lebih luas.

Validity Proof dan AI On-Chain

Validity Proof semakin penting di luar transfer token dan rollup.

Validity Proof juga dapat mendukung komputasi yang dapat diverifikasi untuk AI, pemrosesan data, dan eksekusi off-chain.

Sistem mungkin ingin membuktikan bahwa inferensi model, kalkulasi, pemeriksaan risiko, atau transformasi data dilakukan dengan benar tanpa mengeksekusi seluruh beban kerja secara on-chain.

Area ini masih berkembang dan dapat melibatkan zkML, zkVM, coprocessor, serta desain verifikasi hibrida.

Idenya mirip dengan rollup.

Lakukan pekerjaan mahal secara off-chain.

Buktikan hasilnya secara on-chain.

Namun, beban kerja AI dapat jauh lebih sulit dibuktikan secara efisien daripada transfer token sederhana.

Validity Proof dapat membantu membuat AI on-chain lebih tepercaya, tetapi pengguna harus berhati-hati terhadap klaim performa.

AI yang dapat diverifikasi menjanjikan, tetapi banyak implementasi masih bersifat eksperimental.

Validity Proof dan Coprocessor

Coprocessor adalah sistem komputasi off-chain yang membantu smart contract mengakses hasil yang terlalu mahal untuk dihitung langsung secara on-chain.

Validity Proof dapat membuat coprocessor lebih tepercaya dengan membuktikan bahwa komputasi off-chain benar.

Misalnya, smart contract mungkin memerlukan perhitungan historis besar, kueri data, atau model risiko kompleks.

Alih-alih melakukan semuanya secara on-chain, coprocessor menghitung hasilnya dan mengirimkan proof.

Smart contract memverifikasi proof sebelum menggunakan hasilnya.

Hal ini dapat memperluas kemampuan aplikasi terdesentralisasi.

Namun, coprocessor menghadirkan risikonya sendiri.

Pengguna harus memahami sumber data, cakupan proof, liveness, latensi, dan asumsi verifier.

Validity Proof dapat membuktikan perhitungan, tetapi perhitungan hanya berguna jika data input dan logika program benar.

Input yang buruk tetap dapat menghasilkan output yang buruk, bahkan dengan proof yang valid.

Manfaat Validity Proof

Manfaat pertama Validity Proof adalah kebenaran eksekusi.

Validity Proof membuktikan bahwa komputasi atau transisi state mengikuti aturan.

Manfaat kedua adalah skalabilitas.

Validity Proof memungkinkan blockchain memverifikasi proof ringkas, alih-alih mengeksekusi setiap transaksi secara langsung.

Manfaat ketiga adalah finalitas lebih cepat dibandingkan sistem yang bergantung pada periode gugatan fraud proof yang panjang.

Manfaat keempat adalah keamanan bridge yang lebih baik ketika verifikasi proof diimplementasikan dengan benar.

Manfaat kelima adalah dukungan untuk aplikasi canggih seperti rollup, Validium, zkVM, zkEVM, coprocessor, dan komputasi yang dapat diverifikasi.

Manfaat keenam adalah berkurangnya kebutuhan kepercayaan kepada operator untuk kebenaran eksekusi.

Manfaat ketujuh adalah komposabilitas dengan lapisan ketersediaan data, proof rekursif, dan arsitektur blockchain modular.

Manfaat tersebut menjelaskan alasan Validity Proof menjadi bagian utama roadmap skalabilitas Ethereum dan stack infrastruktur Web3 yang lebih luas.

Validity Proof merupakan salah satu alat terkuat untuk membuat komputasi off-chain dapat diverifikasi.

Risiko dan Keterbatasan Validity Proof

Risiko pertama adalah kompleksitas sistem proof.

Kriptografi canggih sulit diimplementasikan dengan aman.

Risiko kedua adalah sentralisasi prover.

Jika hanya satu pihak yang dapat menghasilkan proof, sistem mungkin bergantung pada pihak tersebut untuk liveness.

Risiko ketiga adalah bug verifier.

Verifier yang memiliki kelemahan dapat menolak proof valid atau menerima proof tidak valid.

Risiko keempat adalah kegagalan ketersediaan data.

Proof dapat memverifikasi eksekusi yang benar tanpa membuat data yang mendasarinya tersedia bagi pengguna.

Risiko kelima adalah risiko upgrade.

Kontrak yang dikendalikan admin dapat melemahkan keamanan sistem berbasis proof.

Risiko keenam adalah kesalahpahaman tentang privasi.

Pengguna mungkin mengasumsikan sistem berbasis ZK bersifat privat ketika sistem tersebut hanya menggunakan proof untuk validitas.

Risiko ketujuh adalah kompleksitas bridge dan penarikan.

Dana pengguna tetap dapat bergantung pada logika bridge dan mekanisme exit yang aman.

Risiko kedelapan adalah pemasaran palsu.

Proyek dapat menggunakan frasa “validity proof” tanpa menjelaskan dengan jelas apa yang dibuktikan dan apa yang tidak dibuktikan.

Cara Mengevaluasi Sistem Validity Proof

Mulailah dengan menanyakan apa yang sebenarnya dibuktikan oleh proof.

Apakah proof membuktikan transisi state penuh, program tertentu, penarikan, pesan bridge, atau hanya sebagian sistem?

Kemudian tanyakan siapa yang menghasilkan proof.

Apakah prover terpusat, terdesentralisasi, berizin, atau terbuka bagi siapa saja?

Tanyakan tempat proof diverifikasi.

Apakah verifikasi ditangani oleh smart contract chain penyelesaian, verifier off-chain, atau layanan tepercaya?

Tanyakan apakah kontrak verifier bersifat publik dan telah diaudit.

Tanyakan apakah kontrak dapat di-upgrade dan apakah terdapat jeda waktu.

Tanyakan tempat data tersedia.

Tanyakan cara pengguna menarik dana jika operator gagal.

Tanyakan apakah proyek memiliki analisis risiko independen dari sumber seperti L2BEAT.

Sistem Validity Proof yang nyata harus membuat jawaban ini jelas.

Kesalahpahaman Umum tentang Validity Proof

Salah satu kesalahpahaman umum adalah bahwa Validity Proof otomatis membuat sistem menjadi privat.

Hal tersebut tidak benar, karena validitas dan privasi adalah sifat yang berbeda.

Kesalahpahaman lainnya adalah bahwa Validity Proof menghilangkan semua asumsi kepercayaan.

Validity Proof mengurangi kepercayaan terhadap kebenaran eksekusi, tetapi pengguna tetap perlu mempertimbangkan ketersediaan data, upgrade, bridge, dan liveness.

Kesalahpahaman lainnya adalah bahwa Validity Proof sama dengan Fraud Proof.

Validity Proof membuktikan kebenaran sebelum penerimaan, sedangkan Fraud Proof menggugat klaim yang salah setelah penerimaan optimistis.

Kesalahpahaman lainnya adalah semua ZK-rollup memiliki keamanan yang identik.

Sistem proof, kontrak verifier, pilihan ketersediaan data, kontrol upgrade, dan desain sequencer yang berbeda menciptakan risiko berbeda.

Kesalahpahaman lainnya adalah Validium memiliki jaminan yang sama seperti ZK-rollup.

Keduanya dapat menggunakan Validity Proof, tetapi Validium menyimpan data secara off-chain sehingga menambahkan asumsi ketersediaan data.

Kesalahpahaman lainnya adalah verifikasi proof berarti penarikan instan.

Kecepatan penarikan tetap bergantung pada waktu proving, desain bridge, konfirmasi penyelesaian, dan aturan protokol.

Validity Proof secara Sederhana

Validity Proof adalah cara untuk membuktikan bahwa sistem kripto melakukan komputasi yang benar.

Alih-alih meminta blockchain mengulangi ribuan transaksi, suatu sistem dapat mengirimkan satu proof.

Blockchain memeriksa proof tersebut.

Jika proof valid, state baru dapat diterima.

Hal ini membantu rollup dan sistem skalabilitas lainnya menjadi lebih murah dan cepat.

Validity Proof paling umum digunakan dalam ZK-rollup dan Validium.

Validity Proof juga semakin penting dalam zkVM, zkEVM, bridge, coprocessor, dan komputasi yang dapat diverifikasi.

Namun, Validity Proof tidak menyelesaikan semuanya.

Pengguna tetap perlu memeriksa ketersediaan data, keamanan bridge, aturan penarikan, risiko sequencer, dan kontrol upgrade.

Bagi pemula, aturan utamanya sederhana.

Validity Proof membuktikan bahwa eksekusi benar, tetapi seluruh sistem tetap harus dirancang dengan aman.

FAQ

Apa itu Validity Proof dalam kripto?

Validity Proof adalah bukti kriptografis yang menunjukkan bahwa suatu komputasi atau transisi state dieksekusi dengan benar sesuai aturan protokol.

Di mana Validity Proof digunakan?

Validity Proof digunakan dalam ZK-rollup, Validium, Volition, zkEVM, zkVM, bridge, coprocessor, dan sistem komputasi terverifikasi lainnya.

Apakah Validity Proof sama dengan zero-knowledge proof?

Tidak, Validity Proof membuktikan eksekusi yang benar, sedangkan zero-knowledge proof juga dapat menyediakan privasi bergantung pada desainnya.

Apakah semua Validity Proof menyediakan privasi?

Tidak, banyak Validity Proof dalam sistem skalabilitas digunakan untuk kebenaran, bukan privasi.

Apa perbedaan antara Validity Proof dan Fraud Proof?

Validity Proof membuktikan pembaruan state benar sebelum diterima, sedangkan Fraud Proof menggugat pembaruan yang salah setelah penerimaan optimistis.

Mengapa ZK-rollup menggunakan Validity Proof?

ZK-rollup menggunakan Validity Proof untuk membuktikan bahwa batch transaksi off-chain dieksekusi dengan benar sebelum base chain menerima state baru.

Apakah Validium menggunakan Validity Proof?

Ya, Validium menggunakan Validity Proof untuk kebenaran eksekusi, tetapi menyimpan data transaksi secara off-chain.

Apakah Validity Proof menyelesaikan masalah ketersediaan data?

Tidak, Validity Proof membuktikan kebenaran komputasi, sedangkan ketersediaan data memastikan pengguna dapat mengakses data yang diperlukan untuk merekonstruksi state.

Dapatkah Validity Proof diverifikasi di Ethereum?

Ya, banyak sistem skalabilitas Ethereum mengirimkan Validity Proof ke smart contract verifier di Ethereum.

Apa itu prover?

Prover adalah sistem yang menghasilkan Validity Proof setelah eksekusi off-chain.

Apa itu verifier?

Verifier adalah kontrak atau sistem yang memeriksa apakah Validity Proof valid.

Apa yang terjadi jika Validity Proof tidak valid?

Jika verifier berfungsi dengan benar, proof tidak valid seharusnya ditolak dan pembaruan state tidak seharusnya diterima.

Dapatkah Validity Proof mengurangi fee?

Ya, Validity Proof dapat mengurangi fee dengan memungkinkan blockchain memverifikasi proof ringkas, alih-alih mengeksekusi setiap transaksi secara langsung.

Apakah Validity Proof membuat penarikan lebih cepat?

Validity Proof dapat membantu mengurangi keterlambatan penarikan dibandingkan sistem fraud proof, tetapi kecepatan penarikan aktual bergantung pada pembuatan proof, desain bridge, dan aturan penyelesaian.

Apa risiko terbesar sistem Validity Proof?

Risiko terbesar mencakup bug verifier, masalah liveness prover, kegagalan ketersediaan data, bug bridge, dan kontrol upgrade yang tidak aman.

Apakah Validity Proof hanya untuk Layer 2?

Tidak, Validity Proof penting untuk skalabilitas Layer 2, tetapi juga dapat mendukung bridge, zkVM, coprocessor, AI yang dapat diverifikasi, dan sistem komputasi off-chain lainnya.

Apa yang harus diperiksa pengguna sebelum memercayai sistem Validity Proof?

Pengguna harus memeriksa cakupan proof, audit verifier, desentralisasi prover, ketersediaan data, keamanan bridge, kontrol upgrade, dan mekanisme penarikan.

Apakah Validity Proof cukup untuk membuat proyek aman?

Tidak, Validity Proof hanyalah salah satu bagian dari keamanan sistem dan harus dipadukan dengan kontrak aman, data tersedia, bridge aman, dan tata kelola kredibel.

Kesimpulan

Validity Proof merupakan salah satu alat kriptografis paling penting dalam infrastruktur kripto modern.

Validity Proof memungkinkan blockchain memverifikasi bahwa komputasi off-chain dilakukan dengan benar tanpa mengulangi setiap langkah secara on-chain.

Hal ini menjadikannya inti dari ZK-rollup, Validium, Volition, zkEVM, zkVM, bridge, coprocessor, dan gerakan yang lebih luas menuju komputasi yang dapat diverifikasi.

Nilai utama Validity Proof adalah integritas eksekusi.

Validity Proof membantu membuktikan bahwa transisi state mengikuti aturan.

Hal ini dapat menurunkan biaya, meningkatkan skalabilitas, mengurangi ketergantungan pada operator tepercaya, dan mendukung penyelesaian lebih cepat dibandingkan sistem yang mengandalkan periode gugatan panjang.

Namun, Validity Proof bukan jaminan keamanan lengkap dengan sendirinya.

Validity Proof tidak otomatis menyediakan privasi.

Validity Proof tidak otomatis menyelesaikan ketersediaan data.

Validity Proof tidak menghilangkan risiko bridge.

Validity Proof tidak menghilangkan risiko sequencer.

Validity Proof tidak melindungi pengguna dari upgrade tidak aman atau tata kelola yang buruk.

Proyek yang menggunakan Validity Proof harus menjelaskan dengan jelas apa yang dibuktikan, pihak yang menghasilkan proof, tempat verifikasi dilakukan, tempat data tersedia, dan cara pengguna dapat melakukan exit ketika terjadi kegagalan.

Bagi pengguna, cara paling praktis untuk memahami Validity Proof adalah memperlakukannya sebagai bukti kriptografis atas eksekusi yang benar.

Validity Proof kuat karena memungkinkan blockchain memercayai matematika, bukan klaim operator.

Namun, matematika hanya membuktikan pernyataan yang dirancang untuk dibuktikannya.

Sistem di sekitarnya tetap membutuhkan kontrak aman, data tersedia, prover andal, bridge aman, dan tata kelola transparan.

Secara sederhana, Validity Proof membuktikan bahwa sistem kripto mengikuti aturannya, tetapi pengguna tetap harus memeriksa apakah aturan, data, dan struktur kontrolnya aman.