Penerapan ZKP: ZK Rollup & Koin Privasi

Ethereum memproses sekitar 15 TPS. Visa: sekitar 1700 TPS. Untuk meningkatkan skala, agregasi ZK mengelompokkan ribuan transaksi di luar rantai, menghitung bukti SNARK tentang validitasnya, lalu memublikasikan bukti tersebut di dalam rantai. Validator hanya memverifikasi bukti (1 ms), bukan setiap transaksi.

Pengguna mengirimkan transaksi kepada pengurut. Pengurut mengelompokkan transaksi, mengeksekusinya di luar rantai, menghitung bukti transisi keadaan (SNARK/STARK yang membuktikan bahwa akar keadaan baru sudah benar), lalu memublikasikan bukti + data panggilan terkompresi ke Ethereum L1.

zkSync Era (Matter Labs) adalah agregasi ZK yang kompatibel dengan EVM dan menggunakan SNARK khusus (Boojum, berbasis STARK). Pengembang menerapkan kontrak Solidity yang dikompilasi menjadi bytecode zkEVM. Kapasitas: 2000+ TPS dengan jaminan keamanan setara Ethereum.

StarkNet menggunakan STARK (melalui pembukti Stark) dan bahasa Cairo. Tidak memerlukan penyiapan tepercaya. Program dikompilasi menjadi bytecode Cairo, dibuktikan dengan STARK, lalu diverifikasi di Ethereum. Digunakan oleh dYdX (v3), Immutable X (token tak-tergantikan), dan Sorare (olahraga fantasi).

Polygon zkEVM menggunakan bukti berbasis PLONK untuk meniru EVM secara tepat. Kontrak pintar Ethereum apa pun dapat bekerja tanpa modifikasi. Pembukti menghasilkan bukti PLONK untuk setiap kelompok transaksi yang dapat diverifikasi di Ethereum L1 dalam satu transaksi.

Zcash (ZEC) menggunakan SNARK Groth16 (protokol Sapling) untuk memungkinkan transaksi terlindungi: pengirim, penerima, dan jumlah semuanya tersembunyi. SNARK membuktikan bahwa transaksi tersebut valid (tidak ada pembelanjaan ganda dan jumlahnya seimbang) tanpa mengungkapkan data privat apa pun.

Catatan terlindungi Zcash berkomitmen pada (nilai, penerima, keacakan) menggunakan hash Pedersen. SNARK membuktikan: (1) Anda mengetahui pra-citra komitmen (Anda memiliki catatan tersebut), (2) catatan belum dibelanjakan (dalam himpunan pembatal), (3) jumlah keluaran sama dengan jumlah masukan.

Monero menggunakan tanda tangan cincin + komitmen Pedersen (RingCT) — tanpa SNARK, semua transaksi terlindungi secara bawaan. Zcash: berbasis SNARK, alamat transparan dan terlindungi hidup berdampingan. Monero: kriptografi lebih sederhana, privasi bawaan lebih kuat; Zcash: jaminan kriptografis lebih kuat.

Bukti identitas ZK: buktikan bahwa Anda berusia di atas 18 tahun tanpa mengungkapkan tanggal lahir; buktikan bahwa Anda adalah warga negara tanpa mengungkapkan nomor paspor; buktikan bahwa Anda adalah investor terakreditasi tanpa mengungkapkan kekayaan bersih. Implementasi: Polygon ID, Semaphore (pensinyalan anonim).

ZK-ML: buktikan bahwa inferensi jaringan saraf dihitung dengan benar pada masukan privat. Digunakan untuk: diagnosis medis (membuktikan bahwa model berjalan pada data Anda tanpa membagikan data tersebut), penilaian kredit (membuktikan bahwa model memberikan hasil tanpa mengungkapkan masukan). Masih berada pada tahap penelitian untuk model besar.

Bukti ZK memungkinkan komputasi yang dialihdayakan dan dapat diverifikasi: penyedia awan membuktikan bahwa ia menjalankan komputasi dengan benar, dan klien memverifikasinya dalam hitungan milidetik tanpa menjalankan ulang komputasi tersebut. Berguna untuk inferensi AI, analitik data, dan jembatan tanpa kepercayaan.

Apa yang dipublikasikan agregasi ZK ke Ethereum L1 untuk membuktikan validitas transaksi?

Agregasi ZK (zkSync, StarkNet, Polygon zkEVM) menggunakan SNARK/STARK untuk skalabilitas L2. Zcash menggunakan Groth16 untuk transaksi terlindungi. ZKP juga diterapkan pada identitas, inferensi ML, dan komputasi dialihdayakan yang dapat diverifikasi. Berikutnya: Enkripsi Homomorfik.