Kebanyakan orang mengira ZK milik Newton tentang privasi. Menurut saya, mereka melewatkan pilihan desain yang lebih besar.
Pasar masih bergerak menyamping, jadi pada akhirnya saya membaca bagian dari whitepaper Newton Protocol daripada melihat grafik. Saya tidak mencari penjelasan lain tentang bukti zero-knowledge. Saya ingin tahu bagaimana @NewtonProtocol benar-benar mengevaluasi kebijakan tanpa membuat rangkaian kriptografi yang berbeda setiap kali seseorang menulis aturan baru.
Jawabannya tidak seperti yang saya harapkan.
Di atas kertas, Newton mendeskripsikan dirinya sebagai lapisan otorisasi terdesentralisasi di mana para pengembang menulis kebijakan dalam Rego, bahasa kebijakan yang sama yang banyak digunakan dalam sistem enterprise. Kebijakan-kebijakan tersebut dievaluasi oleh jaringan operator terdesentralisasi sebelum sebuah transaksi dieksekusi, dengan hasilnya didukung oleh bukti atestasi kriptografis.
Tapi ini yang sebenarnya menarik perhatian saya:
Kebanyakan sistem ZK dimulai dari sirkuit.
Newton memulai dengan mesin kebijakan.
Alih-alih merancang sirkuit zero-knowledge khusus untuk setiap aturan sanksi, batas pengeluaran, atau pemeriksaan kelayakan, Newton mengompilasi seluruh mesin evaluasi Rego ke dalam ZK virtual machine tujuan-umum (menggunakan sistem seperti SP1/RISC Zero). Bukti ini tidak memberikan sertifikasi untuk sirkuit buatan tangan. Bukti ini menyertifikasi bahwa kebijakan Rego tertentu, dijalankan pada input tertentu, menghasilkan output tertentu.
Saya pikir ini adalah perbedaan yang penting.
Kebanyakan orang mendengar “ZK” dan langsung memikirkan privasi.
Arsitektur ini juga tentang skalabilitas bagi pengembang.
Jika setiap aturan kepatuhan baru memerlukan sirkuit baru, pengembangan kebijakan akan menjadi masalah kriptografi. Desain Newton berupaya memisahkan tanggung jawab tersebut. Para penulis kebijakan terus menulis logika Rego standar, sementara protokol menangani pembuktian secara kriptografis di bawahnya.
Berikut mekanismenya, disederhanakan.
Seorang pengembang menulis sebuah kebijakan.
Kebijakannya disimpan dan direferensikan.
Operator mengevaluasi maksud transaksi terhadap kebijakan itu menggunakan eksekusi Rego yang deterministik.
Setelah konsensus tercapai, jaringan menghasilkan bukti kriptografis bahwa evaluasi telah dilakukan dengan benar sebelum kontrak pintar melanjutkan. Protokol yang lebih luas menggabungkan evaluasi kebijakan deterministik dengan attestasi berbasis BLS dan keamanan ekonomi EigenLayer.
Namun, saya tidak berpikir ini otomatis menyelesaikan setiap tantangan.
Pembuatan bukti tujuan-umum biasanya lebih fleksibel daripada membangun sirkuit khusus, tetapi fleksibilitas sering disertai trade-off performa. Apakah pendekatan ini tetap efisien untuk beban kerja institusional skala besar akan bergantung pada implementasi, biaya pembuatan bukti, dan throughput di dunia nyata—bukan hanya diagram arsitektur.
Itu mungkin metrik yang layak dipantau.
Mengapa ini penting?
Karena Newton tidak hanya berusaha membuat keputusan kebijakan bersifat privat.
Ini berusaha membuat pengembangan kebijakan bisa diprogram.
Jika pengembang bisa terus memperbarui aturan bisnis tanpa mendesain ulang sirkuit kriptografis, kepatuhan akan menjadi jauh lebih dekat ke rekayasa perangkat lunak normal, bukan rekayasa ZK khusus. Itu proposisi nilai yang sangat berbeda daripada sekadar mengatakan, “kami menggunakan zero-knowledge.”
Saya tidak menganggap ini sebagai bukti bahwa Newton telah menyelesaikan kepatuhan yang dapat diprogram.
Tapi saya memang berpikir arsitektur ini menggeser arah percakapan.
Pertanyaan yang menarik sekarang bukan lagi “Apakah kebijakan ini bisa dibuktikan?”
“Apakah setiap kebijakan masa depan dapat dibuktikan tanpa membangun ulang sistem pembuktian?”
Itulah pilihan desain yang akan saya pantau saat ekosistem Newton semakin matang.
