Bukti tanpa pengetahuan (zero knowledge proof) biasanya berarti seseorang membangun sirkuit yang sangat spesifik untuk satu hal yang sangat spesifik. Membuktikan saldo berada di atas angka. Membuktikan bahwa sebuah suara dihitung dengan benar. Satu tugas sempit, satu sirkuit khusus yang dibuat hanya untuk tugas itu. Dan jika Anda ingin membuktikan hal lain, Anda pada dasarnya mulai dari awal.
Sistem perselisihan Newton tidak bekerja seperti itu, dan butuh waktu beberapa saat bagi saya untuk benar-benar memahaminya. Alih-alih membangun sirkuit baru untuk setiap kebijakan yang ditulis seseorang, mereka mengambil seluruh mesin kebijakan Rego—yaitu interpreter yang sebenarnya menjalankan aturan kepatuhan—lalu mengompilasi semuanya menjadi zkvm tujuan umum. Jadi, kebijakan apa pun yang ditulis dalam Rego, pemeriksaan sanksi, batas kecepatan, aturan kelayakan multi-langkah apa pun, apa pun itu, otomatis menjadi dapat dibuktikan. Tidak perlu pekerjaan sirkuit baru untuk setiap kebijakan. Yang dibuat agar dapat dibuktikan adalah mesinnya sendiri, bukan setiap aturan secara individual.
Ini hanya bekerja karena ada sesuatu yang hampir membosankan tentang Rego. Itu deterministik. Kebijakan yang sama, input yang sama, output yang sama, setiap saat, tanpa efek samping dan tanpa ada hal acak yang menyelinap di mana pun. Determinisme itulah alasan utama pendekatan ini bisa menyatu. Jika bahasa kebijakan mengizinkan adanya status dari luar atau adanya Randomness (acak), kamu tidak bisa mengompilasinya menjadi sebuah sirkuit dan mengharapkan bukti itu bermakna apa pun yang konsisten.
Jadi, inilah yang sebenarnya dibeli oleh pendekatan ini. Saat seseorang menantang sebuah attestation (pernyataan validasi), yaitu hasil reSult yang ditandatangani operator dari evaluasi kebijakan, mereka tidak meminta siapa pun untuk sekadar mempercayai versi mereka tentang apa yang seharusnya terjadi. Mereka menjalankan kebijakan yang sama sendiri melalui zkvm dan mendapatkan bukti matematis yang nyata—bukan opini, bukan interpretasi yang berbeda—sebuah bukti bahwa hasil awal itu keliru. Smart contract memeriksa bukti itu, memeriksa jendela tantangannya, lalu memutuskan. Tidak ada pemungutan suara. Tidak ada komite. Tidak ada pihak yang menilai siapa yang lebih kredibel. Cukup matematika pengecekan dalam kontrak dan pemberian slashing pada operator yang ternyata salah jika buktinya terbukti.
Ini terkait dengan gagasan besar tentang Newton yang mengembalikan attestation lolos/gagal yang ditandatangani sebelum sebuah transaksi selesai. Jika attestation itu salah, itu bukan sekadar laporan bug yang menunggu untuk diperdebatkan nanti. Ini sesuatu yang bisa dibantah secara matematis oleh siapa pun yang mau mengeceknya—jaminan yang sangat berbeda dibandingkan yang ditawarkan kebanyakan sistem.
Yang membuat saya tersangkut adalah membayangkan ini dalam kompleksitas dunia nyata. Contoh di whitepaper adalah pemeriksaan sanksi yang cukup sederhana, segelintir aturan, input yang bersih, dan tentu saja itu membuktikan dengan rapi melalui zkvm tanpa banyak kesulitan. Tetapi logika kepatuhan dunia nyata menjadi lebih rumit dengan cepat. Ada banyak sumber data yang saling merujuk satu sama lain, kondisi bertingkat, kebijakan yang menarik dari beberapa feed berbeda sekaligus dan menggabungkannya dengan cara yang tidak sesederhana satu aturan yang jelas. Saya belum tahu apakah waktu pembuatan bukti akan tetap masuk akal ketika kebijakan tidak lagi terlihat seperti contoh tiga baris, melainkan seperti logika sanksi dan kelayakan yang benar-benar ingin dijalankan institusi dunia nyata.
Magic Labs adalah tim di balik semua ini, kelompok yang sama yang membangun infrastruktur wallet yang berjalan di atas hal-hal seperti Polymarket, jadi sisi eksekusinya jelas memahami apa yang mereka lakukan pada skala. Apakah kepercayaan yang sama akan tetap berlaku ketika kebijakan menjadi benar-benar rumit—waktu bukti, ukuran sirkuit, semuanya—adalah sesuatu yang belum pernah saya lihat dibahas di mana pun.
Penasaran apakah ada yang sebenarnya sudah mengujinya terhadap sesuatu yang lebih dekat dengan kompleksitas dunia nyata, bukan contoh buku teks yang bersih.