Eksploit Venus dan Mango mengungkap masalah rekayasa yang sama di bawah kondisi pasar yang sangat berbeda
Salah satunya mengandalkan lantai oracle yang sudah usang selama runtuh, sementara yang lain mengandalkan harga yang menggelembung karena likuiditas yang tipis
Tidak ada protokol yang gagal karena kontrak pintar menghitung dengan salah
Lapisan eksekusinya tetap konsisten secara internal
Yang gagal adalah asumsi bahwa harga yang valid sama dengan sinyal pasar yang tepercaya
Perbedaan itu menjadi mahal ketika kondisi pasar berubah lebih cepat daripada kode yang tidak dapat diubah
Kebanyakan protokol merespons dengan menyematkan perlindungan lebih ke eksekusi melalui circuit breaker, fallback oracle, dan logika validasi tambahan
Setiap pengaman mengurangi satu jenis risiko sekaligus membuat sistem lebih kompleks untuk diaudit, diperbarui, dan dikoordinasikan saat modus kegagalan baru muncul
Trade-off itu membuat saya lebih memperhatikan arsitektur yang memisahkan kebijakan dari eksekusi, bukan meminta kontrak untuk memahami setiap kondisi tepi pasar
Newton Protocol adalah salah satu contohnya, mengeksplorasi arah tersebut lewat kebijakan Rego yang dapat diprogram yang dievaluasi sebelum eksekusi, alih-alih memperluas logika kontrak itu sendiri
Divergensi oracle, kondisi depeg, atau kualitas likuiditas menjadi keputusan kebijakan, bukan asumsi permanen di dalam kode yang immutable
Jika kondisi-kondisi itu gagal, tidak ada attestation kriptografis yang diproduksi dan eksekusi hanya berhenti
Apakah pendekatan ini akan menjadi hal yang umum masih belum pasti
Pendekatan ini menambahkan lapisan koordinasi lain, dan banyak tim mungkin tetap menerima eksekusi yang tak peka konteks karena arsitektur yang lebih sederhana lebih mudah dirilis dan dipelihara
Namun jika agen otonom pada akhirnya mengalokasikan modal tanpa pengawasan manusia yang berkelanjutan, masalah infrastruktur yang lebih sulit mungkin bukan hanya mengeksekusi transaksi dengan benar
Melainkan memutuskan asumsi pasar mana yang pantas dijadikan kebijakan dan mana yang seharusnya tidak pernah menjadi kode
@NewtonProtocol $NEWT #newt $LAB $EVAA
Salah satunya mengandalkan lantai oracle yang sudah usang selama runtuh, sementara yang lain mengandalkan harga yang menggelembung karena likuiditas yang tipis
Tidak ada protokol yang gagal karena kontrak pintar menghitung dengan salah
Lapisan eksekusinya tetap konsisten secara internal
Yang gagal adalah asumsi bahwa harga yang valid sama dengan sinyal pasar yang tepercaya
Perbedaan itu menjadi mahal ketika kondisi pasar berubah lebih cepat daripada kode yang tidak dapat diubah
Kebanyakan protokol merespons dengan menyematkan perlindungan lebih ke eksekusi melalui circuit breaker, fallback oracle, dan logika validasi tambahan
Setiap pengaman mengurangi satu jenis risiko sekaligus membuat sistem lebih kompleks untuk diaudit, diperbarui, dan dikoordinasikan saat modus kegagalan baru muncul
Trade-off itu membuat saya lebih memperhatikan arsitektur yang memisahkan kebijakan dari eksekusi, bukan meminta kontrak untuk memahami setiap kondisi tepi pasar
Newton Protocol adalah salah satu contohnya, mengeksplorasi arah tersebut lewat kebijakan Rego yang dapat diprogram yang dievaluasi sebelum eksekusi, alih-alih memperluas logika kontrak itu sendiri
Divergensi oracle, kondisi depeg, atau kualitas likuiditas menjadi keputusan kebijakan, bukan asumsi permanen di dalam kode yang immutable
Jika kondisi-kondisi itu gagal, tidak ada attestation kriptografis yang diproduksi dan eksekusi hanya berhenti
Apakah pendekatan ini akan menjadi hal yang umum masih belum pasti
Pendekatan ini menambahkan lapisan koordinasi lain, dan banyak tim mungkin tetap menerima eksekusi yang tak peka konteks karena arsitektur yang lebih sederhana lebih mudah dirilis dan dipelihara
Namun jika agen otonom pada akhirnya mengalokasikan modal tanpa pengawasan manusia yang berkelanjutan, masalah infrastruktur yang lebih sulit mungkin bukan hanya mengeksekusi transaksi dengan benar
Melainkan memutuskan asumsi pasar mana yang pantas dijadikan kebijakan dan mana yang seharusnya tidak pernah menjadi kode
@NewtonProtocol $NEWT #newt $LAB $EVAA