Saya membaca bagian dokumentasi Newton Protocol yang menjelaskan bagaimana operator dimintai pertanggungjawaban, dan saya mendapati diri saya bertahan lebih lama dari yang saya kira pada mekanisme dispute window. Gagasan dasarnya adalah bahwa setelah cukup banyak operator menyetujui pengecekan suatu kebijakan, persetujuan mereka akan digabungkan menjadi satu attestation, tetapi attestation itu tidak dianggap final seketika saat dihasilkan. Ada jendela setelahnya ketika pihak independen mana pun dapat menantangnya dan membuktikan adanya kesalahan dengan zero-knowledge fraud proof, dan jika mereka benar, operator yang menyetujui secara keliru akan dikenai slashing. Kadang saya bertanya-tanya, berapa banyak orang yang menggunakan sistem seperti ini benar-benar menyadari bahwa cap "verified" yang mereka andalkan memiliki masa bawaan di mana cap tersebut masih bisa dibatalkan.
Yang menarik tampaknya adalah bagaimana desain ini meminjam pola yang sudah ada dalam optimistic rollups: Anda mengasumsikan semuanya benar kecuali ada seseorang yang membuktikan sebaliknya, daripada mengharuskan setiap pihak memverifikasi semuanya sendiri sejak awal. Menerapkan logika yang sama pada penegasan kepatuhan terasa sebagai penggunaan pola yang benar-benar berbeda, karena verifikasi optimistis biasanya berkaitan dengan transisi status atau urutan transaksi, bukan apakah sebuah transaksi benar-benar memenuhi aturan yurisdiksi atau kebijakan belanja seseorang. Keamanan ekonomi datang dari operator yang menaruh stake ETH yang di-restake melalui EigenLayer, sehingga jika mereka tertangkap menandatangani persetujuan atas jawaban yang salah, mereka kehilangan sebagian dari stake itu. Secara teori, keselarasan ini terlihat rapi: ketidakjujuran menjadi mahal dan kejujuran menjadi pilihan default yang rasional. Tapi ini membuat saya berpikir bagaimana hal itu berjalan ketika "jawaban salah" bukan sekadar sesuatu yang biner, melainkan sesuatu yang bergantung pada penafsiran kebijakan yang bernuansa terhadap data dunia nyata yang berantakan.
Pertanyaan yang muncul di benak saya adalah: siapa sebenarnya yang punya keahlian dan insentif untuk menangkap kesalahan yang samar selama jendela sengketa itu? Menemukan operator yang jelas-jelas sudah menandatangani persetujuan transaksi yang melanggar aturan sanksi yang jelas tampaknya cukup mudah untuk diperhatikan dan dipersoalkan. Tapi bagaimana dengan kasus yang batasnya abu-abu, ketika logika Rego sebuah kebijakan ambigu, atau umpan oracle yang dipakai dalam evaluasi sudah sedikit kedaluwarsa? Saya tidak sepenuhnya yakin apakah insentif untuk menantang berkembang secara merata untuk setiap jenis kesalahan, karena beberapa kesalahan secara finansial menguntungkan untuk ditemukan, sedangkan yang lain mungkin secara teknis benar menurut bunyi kebijakan, namun meleset dari maksudnya. Hal ini membuat saya bertanya-tanya apakah mekanisme sengketa mengawasi kegagalan yang keras dan jelas dengan baik, sementara yang lebih sunyi dan ambigu bisa lolos begitu saja hanya karena tidak ada yang menganggapnya layak untuk ditantang secara formal.
Kalau melihat gambaran besarnya, ada ketegangan antara ingin agar Newton terasa netral secara kredibel—artinya tidak ada satu pihak pun yang mengendalikan hasil—dan kenyataan praktis bahwa slashing dan sengketa membutuhkan pelaku ekonomi yang benar-benar memperhatikan dan bertindak secara rasional di setiap langkah. Sistem ini bergantung pada cukup banyak pihak independen yang benar-benar mengawasi perilaku operator secara dekat untuk menangkap dan membuktikan adanya kekurangan. Namun saya tidak yakin bagaimana ketahanan pengawasan itu saat jaringan melewati fase beta, ketika volume evaluasi kebijakan bisa tumbuh jauh lebih cepat daripada jumlah orang yang mampu mengauditnya secara individual. Ini agak seperti bergantung pada kumpulan juri yang harus tetap terlibat dan tetap tajam secara teknis untuk selamanya, dan saya bertanya-tanya apakah peran pemantauan ini akhirnya terkonsentrasi pada sejumlah kecil aktor yang canggih, bukan benar-benar terdistribusi seperti yang diimplikasikan arsitekturnya.
Saya tidak yakin ada cara untuk menilai dari luar apakah model keamanan ekonomi ini akan terbukti kuat begitu sengketa sungguhan mulai terjadi dengan frekuensi dan skala yang bermakna, karena mekanisme yang terlihat solid di litepaper dan mekanisme yang benar-benar diuji oleh perilaku adversarial itu benar-benar hal yang berbeda. Struktur staking dan slashing NEWT memberi operator alasan finansial untuk berperilaku jujur, tetapi pertanyaan yang lebih menarik bagi saya adalah apakah sisi challenge dan dispute mendapat perhatian berkelanjutan yang cukup untuk berfungsi sebagai pemeriksaan yang dirancang—bukan menjadi jaring pengaman teoretis yang jarang dipraktikkan. Mungkin itulah pengujiannya yang sebenarnya ke depan... bagaimanapun, waktu yang akan membuktikannya 👍
