Zero Knowledge Application (zkApp)

Berikut versi koreksi dengan semua tautan (keempatnya) hadir dan atribut tautan tetap sama:

Apa itu Zero Knowledge Application (zkApp)?

Zero Knowledge Application (zkApp) adalah program blockchain yang membuktikan bahwa ia mengikuti aturan tanpa mengungkap data pribadi yang digunakan. Bayangkan seperti penjaga pintu: Anda membuktikan bahwa Anda cukup umur, tetapi tanggal lahir Anda tetap rahasia. Rantai memverifikasi perhitungan, bukan rahasia.

Cara kerja zkApps

Bayangkan ini: Zero Knowledge Application (zkApp) membuktikan Anda memenuhi sekumpulan aturan tanpa mengekspos data Anda. Ia bergantung pada zero knowledge proofs agar hal itu dapat diverifikasi oleh semua orang.

• Langkah 1: Anda membuka aplikasi dan memilih apa yang ingin dibuktikan, seperti pendapatan di atas ambang tertentu atau kepemilikan token.
• Langkah 2: Perangkat Anda membuat bukti bahwa pernyataan itu benar, menggunakan sirkuit yang disediakan aplikasi. Tidak ada data mentah yang keluar dari perangkat Anda.
• Langkah 3: Bukti beserta metadata minimal dibungkus ke dalam transaction dan dikirim ke jaringan.
• Langkah 4: Kontrak pintar memeriksa bukti dengan sebuah verifier. Jika lulus, kontrak melanjutkan tindakan.
• Langkah 5: Rantai memperbarui status, misal memberi akses, memindahkan dana, atau mencatat suara, tanpa mengungkap input pribadi Anda.

Ya, itu saja. Matematika yang bekerja sehingga data Anda tidak perlu.

Mengapa zkApps penting

Jadi apa manfaatnya untuk Anda?

• Manfaat: Privasi nyata dengan verifikasi publik, artinya kebocoran lebih sedikit dan kerumitan lebih rendah. Lihat juga privacy.
• Perspektif: Mereka muncul saat orang ingin kontrol atas data dan bukti keaslian, seperti pertemuan antara Rolex dan thread Reddit.
• Relevansi: Harapkan penerapan di pemeriksaan kredit DeFi, voting privat, akses KYC ringan, permainan, dan bahkan keanggotaan kreator.

Karakteristik Utama zkApps

Apa yang membedakan mereka:

• Bukti: Mereka menampilkan kebenaran sebuah perhitungan tanpa mengungkap input.
• Minimal: Hanya data yang diperlukan yang tercatat di rantai, yang baik untuk biaya dan privasi.
• Komposabilitas: Bukti yang diverifikasi di satu aplikasi dapat membuka aksi di aplikasi lain.
• Lokal: Pekerjaan berat dapat dilakukan di luar rantai pada perangkat Anda, lalu rantai hanya memverifikasi.
• Diaudit: Matematikanya bersifat publik, sehingga siapa pun dapat memverifikasi hasilnya secara independen.

Variasi

Tidak semua rancangan sama. Varian umum yang akan Anda lihat:

1. SNARK: zkApps berbasis bukti ringkas yang diverifikasi cepat dan ukurannya kecil.
2. STARK: Bukti tanpa penyiapan tepercaya, seringkali lebih besar namun transparan dan dapat diskalakan.
3. Rollup: Aplikasi di dalam zk rollup yang menggabungkan banyak aksi dengan satu bukti.
4. Identitas: Bukti kepribadian, usia, domisili, atau keanggotaan tanpa pengungkapan identitas pribadi.
5. DeFi: Swap privat, pemeriksaan kredit, dan pemeriksaan jaminan dengan pengungkapan selektif.

Contoh

Anda menggunakan Zero Knowledge Application (zkApp) untuk membuktikan akun Anda memiliki token di atas ambang tertentu untuk bergabung ke Discord privat, sementara saldo tepat Anda tetap tersembunyi.

Fakta Menarik

Matematika di balik bukti zk berakar dari tahun 1980an, namun label zkApp baru populer setelah pembuat mulai mengemas bukti itu ke dalam aplikasi blockchain sehari hari yang bisa diklik.

Ringkasan

Singkatnya: Zero Knowledge Application (zkApp) memungkinkan Anda membuktikan sesuatu di rantai tanpa membocorkan terlalu banyak, yang terasa seperti internet menjadi sedikit lebih dewasa.