Dasar-Dasar ZK | Ep. 8: Mengapa bukti ZK begitu mahal Mengverifikasi bukti memakan waktu milidetik. Membuatnya adalah bagian yang mahal. Inilah di mana uang digunakan: 1. Komputasi ditulis ulang. Program Anda harus diubah menjadi bentuk yang dapat dibuktikan secara matematis — sebuah sirkuit. Tidak ada yang gratis dalam langkah ini. 2. Membuat bukti sangat berat. Membangun bukti bisa membutuhkan ribuan kali lebih banyak daya komputasi daripada hanya menjalankan program secara normal. 3. Perangkat keras khusus. Pembuatan bukti serius berjalan di GPU dan chip khusus, itulah sebabnya ada seluruh industri yang fokus pada infrastruktur pembuktian. 4. Biayanya turun cepat. Biaya telah turun beberapa orde dalam beberapa tahun, yang tepatnya mengapa ZK berpindah dari paper ke produksi. Komprominya: bayar sekali untuk membuktikan, biarkan semua orang memverifikasi dengan biaya murah selamanya. Simpan ini💜