Saya sudah memikirkan apa yang sebenarnya terjadi ketika seorang operator mengevaluasi sebuah kebijakan dan menghasilkan bukti kriptografis. Newton Protocol terdengar sederhana: sebuah transaksi masuk, operator memeriksanya terhadap kebijakan yang ditulis di Rego, mereka menghasilkan sebuah bukti, sistem hilir mewarisi keyakinan. Tapi saya terus terpaku pada adanya celah yang terasa lebih penting daripada yang disebutkan dalam materi pemasaran.
Celah itu adalah ini: verifikasi tidak sama dengan kepercayaan.
Saat operator Newton menjalankan operator NEWT dan memvalidasi transaksi di dalam Trusted Execution Environments, mereka sedang menciptakan bukti bahwa validasi telah terjadi. Itu nyata. Bukti kriptografis yang diselesaikan di onchain, terlihat oleh siapa pun di Newton Explorer. Protokol ini canggih tentang hal tersebut. Namun bukti bahwa sesuatu telah diperiksa tidak sama dengan kepastian bahwa pemeriksaan itu dilakukan dengan benar. Dan ketika sebuah kebijakan menjadi portabel sehingga aplikasi hilir mewarisi aturan otorisasi yang sama, biaya untuk mendapatkan verifikasi yang keliru berhenti menjadi masalah lokal.
Itu menjadi masalah jaringan.
Pertimbangkan apa yang dipertaruhkan sebenarnya. Penerbit stablecoin menggunakan Newton untuk memberlakukan kelayakan investor. Sebuah vault memakai kerangka kebijakan yang sama untuk memeriksa batas pengeluaran. Sebuah platform RWA mengadopsi versi matang dari logika penyaringan sanksi yang sudah divalidasi oleh tiga protokol lain. Jika seorang operator mengambil jalan pintas dalam verifikasi karena terburu-buru membuat bukti, keliru mengonfigurasi adaptor oracle, membiarkan nilai stake meluruh di bawah ambang slashing tanpa menyadari bahwa kesalahan tersebut merambat ke hilir melalui setiap aplikasi yang mewarisi kebijakan itu. Penerbit tidak menangkapnya duluan. Vault tidak menangkapnya duluan. Semua orang yang menyalin kebijakan terbukti itu menangkapnya secara bersamaan.
Itu bagian yang tidak nyaman. Efek jaringan dalam sistem otorisasi bekerja berbeda dibandingkan yang terjadi pada lapisan likuiditas atau eksekusi. Pada kasus itu, skala dan penggunaan ulang justru mengurangi risiko lewat keberagaman dan redundansi. Likuiditas lebih dalam. Lebih banyak validator. Banyak rute. Tapi pada verifikasi kebijakan, mekanismenya berbalik. Saat kebijakan matang dan menjadi digunakan ulang, mereka memusatkan kepercayaan pada lebih sedikit permukaan audit. Jika semua orang memvalidasi terhadap jaringan operator yang sama, semua orang menghadapi risiko verifikasi yang sama.
Desain Newton mencoba mengatasinya dengan tekanan ekonomi berupa restaking collateral, kondisi slashing, penyelarasan biaya. Operator dibayar lebih banyak saat mereka melayani lebih banyak aplikasi. Mereka juga dihukum lebih keras jika gagal. Secara teori, itu rapi. Dalam praktiknya, saya kurang yakin itu tetap bertahan saat ada tekanan. Slashing hanya bekerja jika perilaku salah terdeteksi. Tetapi evaluasi kebijakan terjadi di dalam TEE. Logika yang sebenarnya bersifat tidak transparan. Sebuah bukti dihasilkan. Bukti itu valid atau tidak valid. Jika seorang operator punya insentif untuk menghasilkan bukti palsu dan punya keyakinan yang masuk akal bahwa deteksi mengharuskan menangkap mereka di dalam TEE itu sendiri, maka ekonomi menjadi cepat berantakan.
Ada juga pertanyaan tentang apa sebenarnya yang dimaksud dengan "verifikasi yang benar" ketika kebijakan bertemu dengan keputusan penilaian dunia nyata. Filter yurisdiksi bukan gerbang logis yang murni. Adaptor oracle bisa jujur tentang kualitas data tanpa jujur tentang relevansi data tersebut bagi model risiko aplikasi tertentu. Operator bisa benar-benar berbeda pendapat soal interpretasi kebijakan. Jika mereka membangun konsensus lewat pemungutan suara kuorum, apa yang terjadi ketika kuorum itu sendiri menghadapi insentif yang saling bertentangan?
Newton Protocol sedang membangun sesuatu yang nyata di sini. Membuat otorisasi bisa diverifikasi lintas rantai, membuatnya bisa digunakan ulang, membuatnya memiliki dasar ekonomi, bukan sekadar teknis. Itu tidak mudah. Tapi menurut saya protokol ini masih meremehkan masalah yang diciptakannya dengan membuat kebijakan menjadi portabel. Semakin mudah untuk mewarisi logika verifikasi orang lain, semakin sulit untuk memastikan bahwa pewarisan itu sendiri aman.
Itu bagian yang sedang saya pantau.
@NewtonProtocol #Newt $NEWT $LAB $TLM
