Fundamental dan Prinsip Bukti Tanpa Pengetahuan (Fundamentals ZK Proof)

Komputasi tradisional berlangsung seperti ini: Menyediakan dataMenyediakan proses komputasiMenghasilkan outputVerifikator menjalankan ulang komputasi untuk memastikan kebenaran ZK bekerja secara berbeda total: Pembuktikan melakukan komputasiMengompresi komputasi menjadi “proof”Verifikator hanya memeriksa validitas proof, tanpa mengetahui input atau mengulang komputasi Keunggulannya:• Verifikasi sangat cepat (meskipun komputasi kompleks)• Privasi terjaga, input tidak perlu diungkapkan• Verifikasi on-chain (ideal untuk smart contract) Karena itu, ZK sering disebut teknologi dasar yang menggabungkan privasi, skalabilitas, dan kepatuhan.

Setiap teknologi ZK wajib memenuhi tiga properti utama:

1. Completeness — Jika pernyataan benar, proof selalu lolos verifikasi.
2. Soundness — Jika pernyataan salah, proof tidak bisa dipalsukan untuk lolos verifikasi.
3. Zero-Knowledge — Verifikator tidak mengetahui data asli dari proof, hanya bahwa “kesimpulan benar.”

Properti ini menjadikan ZK sangat andal untuk audit, penyelesaian, dan pengungkapan regulasi di sektor keuangan.

Nama lengkap: Succinct Non-interactive Argument of Knowledge

Fitur:
• Ukuran proof kecil
• Verifikasi sangat cepat
• Cocok untuk mainnet dan smart contract
• Membutuhkan trusted setup
• Matematika kompleks (kurva eliptik, sirkuit aljabar)

Proyek perwakilan: Polygon zkEVM, Zcash, Scroll, Aleo

Use case:
• Proof on-chain TPS tinggi
• Verifikasi identitas dan kepatuhan
• ZK Rollup, jaringan pembayaran

Sistem ZK tipikal terdiri dari empat langkah:

1. Menerjemahkan masalah ke sirkuit matematika — Contoh: “Jumlah transaksi tidak melebihi 10.000 USDT” dikodekan sebagai batasan aljabar.

2. Pembuktikan menghasilkan proof dari input privat — Input bisa berupa:
   ￮ Identitas
   ￮ Jumlah transaksi
   ￮ Saldo akun
   ￮ Data internal perusahaan

3. Verifikator menggunakan kunci verifikasi untuk memeriksa proof — Tidak perlu tahu data input, cukup memverifikasi proof.

4. Smart contract verifikasi berjalan on-chain — Proof dikompresi menjadi paket kecil agar validasi on-chain efisien.

Operasi keuangan membutuhkan verifikasi tanpa membuka detail

Contoh:
• Status KYC
• Aset memadai
• Eksposur risiko regulasi
• Kepatuhan batas transaksi

Semua bisa dicapai dengan ZK.

Perlindungan privasi kini menjadi mandat regulasi global

Contoh:
• EU GDPR
• MiCA pengecualian privasi
• US GLBA (Gramm-Leach-Bliley Act)

ZK membantu bisnis “melindungi pengguna secara patuh.”

Auditabilitas + privasi kini bisa dicapai bersamaan berkat ZK

Teknologi privasi lain sulit menyeimbangkan keduanya.