CEO Helius Labs Mert Mumtaz telah memperingatkan bahwa kripto memasuki era keamanan baru di mana AI, verifikasi formal, dan standar perangkat lunak yang lebih tinggi dapat memisahkan tim infrastruktur serius dari protokol yang rapuh. Dalam sebuah postingan yang banyak dilihat di X, ia berargumen bahwa kripto "akan memasuki era antariksa", dengan kode keuangan yang tak berubah semakin menuntut ketelitian seperti industri yang tidak toleran terhadap kegagalan seperti penerbangan luar angkasa, manufaktur chip, dan lainnya.
Argumen utama Mumtaz adalah bahwa sebagian besar perangkat lunak secara historis mentolerir tingkat ketidakrapian yang tidak lagi dapat dipertahankan oleh kripto. Dalam bisnis internet konvensional, bug dapat menyebabkan downtime, kehilangan pendapatan, atau gangguan yang memalukan, tetapi operator terpusat biasanya dapat melakukan intervensi, memperbaiki sistem, mengembalikan perubahan, atau mengganti rugi pengguna. Kripto, tulisnya, secara struktural berbeda karena janji intinya bergantung pada eksekusi yang tidak dapat dibatalkan dalam lingkungan yang bersifat adverserial.
"Kode keuangan yang tak berubah ibarat pesawat luar angkasa yang meninggalkan Bumi dan Anda tidak dapat mengontrolnya lagi. Ia harus berfungsi, atau akan terjadi bencana," kata Mumtaz. "Krisis ini pernah muncul sebelumnya. Pada akhir 1960-an, sebuah konferensi NATO mendeklarasikan 'krisis perangkat lunak', karena industri perangkat lunak semakin tidak rapih dan tidak ada yang benar-benar dapat memahami sistem-sistem ini dalam skala besar."
Kripto Harus Mencapai Tingkat Keamanan Penerbangan Luar Angkasa
Ia menghubungkan krisis perangkat lunak sebelumnya dengan akar intelektual dari verifikasi formal, mengutip Edsger Dijkstra dan argumen yang sudah lama ada bahwa pengujian dapat menunjukkan keberadaan bug, tetapi bukan ketiadaannya. Untuk sistem di mana ketepatan itu penting, kata Mumtaz, perangkat lunak harus diperlakukan kurang seperti produk konsumen yang iteratif dan lebih seperti objek matematika yang dapat dipahami dan dibuktikan.
Kerangka pemikiran itu sangat relevan dengan kripto karena sistem blockchain menangani miliaran dolar aset melalui kode yang bersifat publik, tak berubah, dan terus-menerus diselidiki oleh penyerang. Mumtaz berargumen bahwa industri ini sering kali mengadopsi profil risiko penerbangan atau penerbangan luar angkasa sambil mempertahankan budaya pengembangan aplikasi web. Menurutnya, kripto termasuk dalam kategori industri perangkat lunak dengan margin kesalahan rendah, namun "sebagian besar industri dibangun menggunakan standar tidak rapih dari sistem sebelumnya yang dapat diintervensi manusia."
CEO Helius Labs juga menyoroti apa yang ia gambarkan sebagai "fasad desentralisasi" yang telah memperlunak urgensi masalah yang dirasakan. Kunci admin, set validator yang dikendalikan, koordinasi sosial, dan intervensi darurat, menurutnya, telah menciptakan rasa nyaman jangka pendek. Namun mekanisme-mekanisme itu juga mengaburkan perbedaan antara sistem yang benar-benar otonom dan sistem yang masih dapat diselamatkan oleh operator manusia ketika ada yang rusak.
Mumtaz memperkirakan perbedaan itu akan semakin sulit diabaikan seiring peningkatan AI. Daripada hanya memandang AI sebagai vektor ancaman, ia membingkainya sebagai kekuatan yang akan membuat praktik perangkat lunak yang ketat lebih mudah diakses. Penulisan spesifikasi, bantuan pembuktian, penalaran simbolik, fuzzing, audit, pemeriksaan invarian, dan alur kerja verifikasi formal, katanya, bisa menjadi jauh lebih mudah digunakan dalam skala besar.
"Hikmahnya adalah AI akan sangat menyederhanakan proses verifikasi formal dan membuat program lebih ketat. Apa yang dulunya sangat manual dan mahal sekarang akan menjadi dapat dikelola dalam skala besar: penulisan spesifikasi, bantuan pembuktian, penalaran simbolik, fuzzing, audit, pemeriksaan invarian, dan alur kerja verifikasi formal semuanya akan menjadi jauh lebih mudah diakses," tulisnya. "Serangkaian keadaan ini akan membawa kripto mencapai potensi ultimatnya, tetapi saya curiga hanya melalui ujian yang berat."
"Ujian yang berat" itu adalah inti peringatannya. Mumtaz mengatakan mekanisme "seleksi alam yang agresif" sudah dimulai dan mungkin berlanjut selama beberapa tahun. Tim yang kuat, menurutnya, akan muncul dengan sistem yang lebih tahan banting, sementara arsitektur yang lebih lemah akan gagal di bawah harapan keamanan yang lebih tinggi dan peralatan adverserial yang semakin canggih.
Ia berhati-hati untuk tidak membingkai kegagalan-kegagalan itu murni sebagai tindakan jahat atau kelalaian. "Tim-tim serius akan muncul lebih kuat dari sebelumnya, sementara rumah-rumah jerami akan runtuh," tulis Mumtaz, menambahkan bahwa yang terakhir tidak harus dibaca sebagai penghinaan karena sistem-sistem ini memang sulit untuk dibangun.
Implikasi yang lebih luas adalah bahwa siklus kompetitif berikutnya di dunia kripto mungkin tidak hanya didefinisikan oleh throughput, insentif likuiditas, atau distribusi, tetapi oleh ketepatan yang dapat ditunjukkan. Keadaan akhir yang diharapkan Mumtaz adalah sebuah industri di mana keamanan, ketelitian, dan privasi kembali menjadi perhatian utama, memungkinkan kripto menjadi "secara terbukti lebih aman, lebih tangguh, dan lebih Lindy daripada sistem keuangan terpusat mana pun." Kalimat penutupnya tegas: "Saya long matematika dan saya long kripto."
Waktu postingan Mert ini patut diperhatikan karena muncul tepat setelah rilis Claude Fable 5 dan Claude Mythos 5 oleh Anthropic pada 9 Juni, sebuah peluncuran yang menggarisbawahi betapa cepatnya AI bergerak ke dalam penelitian keamanan ofensif dan defensif. Anthropic mengatakan Fable 5 adalah model tersedia umum terbaik mereka, tetapi menambahkan pengamanan seputar kueri keamanan siber karena kemampuan yang sama dapat disalahgunakan; Mythos 5, versi yang kurang dibatasi, untuk sementara dibatasi hanya untuk pembela siber dan penyedia infrastruktur terpilih melalui Project Glasswing bekerja sama dengan pemerintah AS.
Bagi DeFi, itulah bagian yang tidak nyaman dari cerita ini. Jika model AI semakin dapat bernalar melalui basis kode besar, mengidentifikasi kelemahan logika halus, dan membantu mengubah kerentanan menjadi eksploit yang berfungsi, maka kontrak pintar publik menjadi target alami bagi perburuan bug berbantuan AI. Peringatan "rumah jerami" Mumtaz oleh karena itu tidak abstrak: AI mungkin sangat memampatkan waktu yang dibutuhkan baik auditor maupun penyerang untuk menemukan invarian rusak berikutnya, asumsi yang tidak aman, atau kasus tepi yang dapat dieksploitasi dalam kode keuangan kripto.
Pada waktu berita ini ditulis, total kapitalisasi pasar kripto berada di angka $2,12 triliun.
