Anthropic Mythos vs Keamanan DeFi: Tumpukan Audit Sudah Rusak

Mythos Anthropic vs Keamanan DeFi: Tumpukan Audit Sudah Rusak
Pekan ini, ekosistem DeFi kembali menelan kerugian lebih dari $750 juta akibat serangkaian peretasan protokol yang, pada permukaan, tampak seperti cerita lama: kontrol akses yang salah konfigurasi, celah reentrancy, kegagalan logika bridge. Namun vektor serangan semakin tajam, jeda waktu antara penemuan dan pengosongan dana semakin singkat, dan perkakas di sisi penyerang sebentar lagi akan mendapat peningkatan yang serius.
Mythos milik Anthropic, sistem AI internal mereka yang dibangun untuk riset kerentanan otomatis, tidak sekadar menemukan bug lebih cepat. Sistem ini bernalar melintasi seluruh basis kode, merangkai primitif eksploit secara berantai, dan beroperasi dengan kecepatan di mana pertahanan DeFi yang ada bukan sekadar lambat, melainkan sudah tidak relevan secara struktural. Ini bukan peningkatan marginal terhadap perkakas penyerang yang sudah ada. Ini adalah pergeseran kategori.
Pekan $750 juta ini bukan kebetulan soal waktu. Ini adalah pratinjau dari apa yang terjadi ketika asimetri ofensif-defensif dalam keamanan DeFi semakin melebar, bukan menyempit.
Mengapa Tumpukan Gesekan DeFi Tidak Pernah Menjadi Keamanan Nyata
Model keamanan DeFi yang dominan adalah teater gesekan. Cara kerjanya begini: buat eksploit cukup merepotkan sehingga kebanyakan penyerang tidak mau repot, dan cukup mahal sehingga mereka yang tetap mencoba bisa terdeteksi sebelum menguras semuanya.
Mekanisme aktualnya adalah:
- Multisig, mengharuskan M-dari-N pemegang kunci untuk menandatangani, menambah beban koordinasi
- Timelock, menunda eksekusi upgrade dan transfer besar selama 24-72 jam
- Audit, tinjauan kode berkala oleh firma seperti Trail of Bits, Certik, OpenZeppelin
Ini efektif terhadap penyerang oportunistik dengan kemampuan teknis menengah. Tidak efektif terhadap sistem AI yang dapat membaca basis kode Solidity sepanjang 50.000 baris dalam hitungan detik, mengidentifikasi interaksi state yang tidak kentara di antara berbagai kontrak, dan menghasilkan rantai eksploit yang berfungsi sebelum analis manusia mana pun menyelesaikan pembacaan pertama mereka.
Tumpukan gesekan ini dirancang berdasarkan ekonomi penyerang manusia. Mythos mengubah fungsi biaya tersebut sepenuhnya.
Apa yang Sebenarnya Dilakukan Mythos terhadap Permukaan Serangan
Sebagaimana dijelaskan dalam pratinjau teknis Mythos dari Anthropic, sistem ini mampu menganalisis implementasi TLS, menandai pola penggunaan ulang nonce AES-GCM, dan menelusuri rantai dependensi di seluruh tumpukan perangkat lunak yang kompleks -- jenis analisis TLS dan AES-GCM ala Mythos yang sebelumnya membutuhkan seorang kriptografer senior dan beberapa minggu kerja.
Untuk DeFi, ini diterjemahkan ke dalam beberapa vektor ancaman konkret:
-
Rantai eksploitasi lintas kontrak. Sebagian besar peretasan besar pada 2024-2025 mengeksploitasi interaksi antar kontrak, bukan bug dalam satu kontrak saja. AI berkelas Mythos dapat memodelkan interaksi ini secara menyeluruh. Insiden Kelp DAO yang pernah saya bahas sebelumnya, di mana miskonfigurasi LayerZero DVN mengakibatkan kerugian $292 juta, adalah persis jenis interaksi multi-sistem yang dirancang untuk ditemukan oleh Mythos.
-
Perangkaian zero-day dengan kecepatan mesin. Kerentanan zero-day berbasis AI dalam kripto bukan lagi sekadar teori. Kekhawatirannya adalah sistem AI yang mengidentifikasi tiga masalah berkeparahan rendah secara individual, lalu menggabungkannya menjadi jalur eksploitasi kritis yang tidak akan pernah dihubungkan oleh auditor manusia mana pun.
-
Permukaan serangan oracle dan bridge. Logika bridge padat, spesifikasinya buruk, dan bersentuhan dengan banyak sistem eksternal. Di sinilah auditor manusia secara konsisten melewatkan hal-hal penting. Di sinilah pula sistem penalaran otomatis memiliki daya ungkit paling besar.
Tidak ada satu pun dari ini yang mensyaratkan Mythos digunakan secara jahat. Kemampuan yang sama yang tersedia bagi para peneliti Anthropic akan tersedia, dalam bentuk tertentu, bagi semua orang dalam 18-24 bulan ke depan.
Audit Smart Contract DeFi Sudah Mulai Ketinggalan Zaman
Industri audit tidak mampu mengimbangi laju perkembangan. Audit Tier-1 yang khas menghabiskan biaya $50.000-$300.000, memakan waktu 4-8 minggu, dan mencakup snapshot basis kode yang tetap. Sementara protokol terus-menerus merilis pembaruan. Audit tersebut sering kali sudah usang sebelum tintanya pun kering.
Yang lebih buruk, audit menciptakan rasa aman yang palsu. Seperti yang didokumentasikan analisis Olympix tentang mengapa audit smart contract gagal, Euler Finance sudah diaudit. Ronin sudah diaudit. Nomad sudah diaudit. Peretasan jembatan Ronin senilai $625 juta pada 2022 lolos begitu saja justru karena auditor meninjau kontrak secara terpisah, bukan proses pengelolaan kunci validator yang menjadi fondasinya.
Menyatakan "kami sudah diaudit" pada 2026 akan membawa sinyal keamanan yang kurang lebih sama dengan menyatakan "kami pakai HTTPS" pada 2015. Itu kebersihan dasar, bukan postur pertahanan.
Keusangan audit smart contract DeFi bukan sesuatu yang akan datang, melainkan sudah terjadi bagi protokol yang beroperasi pada skala besar, sebuah pola yang dikonfirmasi oleh riset keamanan Web3 dari Olympix yang menunjukkan sebagian besar eksploit berasal dari kontrak yang sudah diaudit. Pertanyaannya adalah apakah tim-tim tersebut beradaptasi atau terus membeli perlindungan yang sama, mahal namun tidak memadai.
Project Glasswing dan Kerangka Risiko AI yang Muncul sebagai Respons
Tidak semua orang lengah. Project Glasswing, sebuah inisiatif riset keamanan AI berbasis kripto, sedang mengerjakan kerangka pemantauan berkelanjutan berbantuan AI yang dirancang untuk beroperasi secepat ancaman yang dihasilkan AI. Inti dari gagasan ini tepat: jika AI bisa menemukan eksploit secara real time, lapisan deteksi dan respons pun harus beroperasi secara real time.
Ini berarti beralih dari audit berkala menuju:
- Pemantauan invarian, pemeriksaan on-chain yang memberikan peringatan ketika kondisi kontrak melanggar kondisi yang diharapkan
- Verifikasi formal, pembuktian matematis atas kebenaran logika inti protokol, bukan sekadar tinjauan informal
- Pipeline fuzzing berkelanjutan, pembuatan pengujian otomatis yang berjalan terhadap setiap commit, bukan hanya pada saat audit
Beberapa protokol sudah berada di jalur yang benar. Arsitektur hook Uniswap v4 dirancang dengan mempertimbangkan verifikasi formal. MakerDAO telah berinvestasi besar-besaran dalam pemodelan keamanan ekonomi. Namun keduanya adalah pengecualian. Median protokol DeFi pada tahun 2025 masih merilis dengan satu audit tunggal dan timelock 48 jam, lalu menganggap urusannya selesai.
Matematika Timelock Tidak Lagi Berlaku
Inilah masalah struktural dengan timelock secara khusus: timelock mengasumsikan bahwa seorang analis manusia memiliki waktu untuk meninjau transaksi yang tertunda, mengidentifikasinya sebagai berbahaya, dan mengoordinasikan respons sebelum transaksi tersebut dieksekusi.
Pada 48-72 jam, hal itu masuk akal. Tim keamanan yang kompeten bisa bergerak, menilai, dan merespons.
Sekarang bayangkan seorang penyerang yang menggunakan AI exploit chaining dalam DeFi untuk mengidentifikasi kerentanan, merancang eksploitasi, menyiapkan proposal governance yang tampak sah, dan hanya mengungkapkan muatan berbahayanya melalui jalur eksekusi kondisional yang aktif setelah timelock berakhir. Timelock-nya tidak gagal, asumsi kecepatan analisis yang mendasarinya itulah yang gagal.
Permukaan serangan governance adalah garis terdepan utama berikutnya. Saya memperkirakan setidaknya satu eksploitasi lapisan governance yang signifikan pada tahun 2026 yang akan mengekspos persis celah ini.
Seperti Apa Tumpukan Pertahanan yang Sesungguhnya Dibutuhkan
Keamanan berbasis hambatan harus memberi jalan bagi keamanan berbasis kebenaran. Jalan praktis ke depan memiliki tiga lapisan:
Lapisan 1, Verifikasi formal pada inti protokol. Bukan semuanya, melainkan logika penyelesaian, invariant akuntansi, pola kontrol akses. Certora dan Halmos sudah siap untuk produksi. Tidak ada alasan bagi protokol dengan TVL $500 juta untuk tidak menggunakannya.
Lapisan 2, Pemantauan berkelanjutan berbantuan AI. Alat seperti Forta Network, Hexagate, dan Hypernative sedang melakukan pekerjaan nyata di sini. Mereka menangkap perilaku on-chain yang anomali sebelum selesai terjadi. Ini adalah lapisan deteksi yang perlu berkembang untuk mengimbangi ancaman berkecepatan AI.
Layer 3, Respons insiden yang bisa bergerak lebih cepat dari pemungutan suara DAO. Mekanisme jeda yang aktif berdasarkan deteksi otomatis, bukan setelah proposal tata kelola. Multisig darurat dengan panduan respons yang sudah diotorisasi sebelumnya. Respons cepat tim Euler pada 2023, yang berhasil memulihkan $197 juta melalui negosiasi, berhasil sebagian karena mereka memiliki pihak penanggung jawab yang jelas dan bisa bertindak cepat. Kebanyakan protokol tidak memiliki itu.
Infrastruktur pembayaran agen AI yang saya bahas dalam artikel x402 dan jalur pembayaran otonom juga relevan di sini. Karena agen AI bertransaksi secara otonom di blockchain, permukaan serangan untuk eksploit berbantuan AI berkembang seiring volume transaksi, bukan sekadar jumlah protokol.
Pertanyaan Sesungguhnya Adalah Siapa yang Beradaptasi Lebih Dulu
Mythos dari Anthropic merupakan pengakuan publik bahwa sistem AI kini beroperasi di garis terdepan riset kerentanan. Kemampuan analitis yang sama akan terus menyebar. Itu selalu terjadi demikian.
Protokol DeFi yang bertahan dalam dua tahun ke depan adalah yang memperlakukan keamanan sebagai masalah rekayasa berkelanjutan, bukan sekadar kotak centang kepatuhan. Yang tidak melakukannya akan menjadi bahan studi kasus.
Pekan $750 juta bukanlah skenario terburuk. Itu adalah garis dasar yang sedang kita normalisasi, sebelum alat-alat ini semakin murah dan mudah diakses. Jendela untuk membangun ulang tumpukan pertahanan masih terbuka, namun tidak akan bertahan lama.
Tidak ada teks yang diberikan untuk diterjemahkan. Mohon sertakan teks yang ingin Anda terjemahkan ke dalam Bahasa Indonesia.