Kecerdasan buatan mulai menulis kode yang menggerakkan uang di blockchain. Artificial Superintelligence Alliance dan platform pengembang Matterhorn mengatakan bahwa mereka ingin memastikan kode tersebut aman. Matterhorn dan ASI Alliance mengumumkan pada hari Jumat inisiatif baru yang berpusat pada “vibe coding”—fitur dari platform Matterhorn yang memungkinkan pengembang mendeskripsikan sebuah aplikasi dalam bahasa sehari-hari, dan AI seketika menghasilkan seluruh kode smart contract. Teknik ini mempercepat pengembangan dan menurunkan hambatan dalam membangun aplikasi, namun juga menghadirkan risiko bahwa AI menghasilkan kode yang cacat atau tidak aman yang dapat dieksploitasi oleh penyerang. “Kami berada di awal dunia di mana dApps menjadi ‘hanya Apps’, menjadi hal yang biasa seperti situs web dan aplikasi yang kita gunakan saat ini,” kata perusahaan dalam sebuah pernyataan. “Setiap alat lain di ruang ini berlomba untuk mengirimkan kode lebih cepat. Kami pikir perlombaan itu adalah perlombaan yang salah. Para pembangun yang membangun dApps yang menangani uang sungguhan dan pengguna sungguhan membutuhkan sebuah platform yang dapat mereka percayai, dan kemitraan inilah cara kami membangunnya.”
Untuk mengurangi ancaman ini, pendiri Matterhorn Abhinav Ramesh mengatakan bahwa perusahaan bekerja sama dengan auditor keamanan eksternal dan alat otomatis untuk membantu pengembang meninjau smart contract yang dihasilkan oleh AI sebelum penerapan. “Kami bermitra dengan perusahaan audit keamanan yang dapat menawarkan layanan audit melalui Matterhorn untuk para pembangun di Matterhorn,” kata Ramesh kepada Decrypt. “Kami juga memiliki agen AI yang melakukan audit berbasis keagenan, tetapi kami sama sekali tidak menyarankan melakukan itu saja untuk aplikasi mainnet.” Platform pengembangan Matterhorn dirancang untuk terintegrasi dengan ASI:Chain, jaringan blockchain yang dikembangkan oleh Artificial Superintelligence Alliance, sebuah kumpulan AI terdesentralisasi yang mencakup Fetch.ai, SingularityNET, dan CUDOS, sehingga memberikan kepada pengembang satu lingkungan untuk membangun, mengaudit, dan menerapkan aplikasi terdesentralisasi.
“Kami memudahkan pengguna untuk menghubungkan MCP, membangun/menggunakan skill, membangun dApps, dan melakukan penerapan dari satu platform,” kata Ramesh. “Kami bekerja dengan tim ASI pada ‘blessed templates’ untuk memudahkan pembuatan kontrak yang lebih aman khususnya untuk bahasa berbasis verifikasi formal.” Perusahaan mengatakan bahwa pengembang dapat terhubung dengan auditor pihak ketiga melalui platform sebelum meluncurkan kontrak pada blockchain yang sedang berjalan. Namun, meskipun Matterhorn mengatakan platformnya mempercepat pengembangan, hal itu tidak menjamin keamanan. “Kami adalah fasilitator yang kuat bagi para pembangun yang ingin membangun di Web3,” kata Ramesh. “Tidak ada jaminan apa pun dari tim Matterhorn, dalam bentuk apa pun, terkait keselamatan atau keamanan.” Ramesh mengatakan bahwa Matterhorn dan ASI Alliance sedang mengembangkan “blessed templates” untuk membantu pengembang membangun smart contract yang lebih aman sambil mengintegrasikan ASI:Cloud untuk menyediakan daya komputasi bagi sistem AI yang menghasilkan dan menganalisis kode untuk bahasa pemrograman MeTTa, bahasa pemrograman ASI:Chain. Kemitraan ini hadir saat agen AI semakin masuk ke industri kripto, tempat para pengembang bereksperimen dengan sistem yang dapat mengelola wallet, mengeksekusi perdagangan, dan menjalankan tugas keuangan di jaringan, memicu alat dan riset baru yang ditujukan untuk mengendalikan risiko ketika sistem otonom tersebut menangani mata uang kripto. Khellar Crawford, chief innovation officer SingularityNET, mengatakan bahwa sebagian besar industri blockchain bergantung pada pendekatan “patch-and-pray”—menulis smart contract dalam bahasa yang kurang cocok untuk konkurensi yang kompleks dan mengandalkan auditor untuk menangkap kekurangan—sementara F1R3FLY dan ASI:Chain menggunakan arsitektur yang ia sebut “correct-by-construction” berdasarkan kalkulus Rho. “Jika sebuah aplikasi itu aman, kami tidak menebak; kami membuktikannya secara matematis menggunakan tipe perilaku spasial,” kata Crawford kepada Decrypt. “Sebelum satu baris kode pun menyentuh jaringan yang sedang berjalan, matematika itu sendiri menjamin bahwa tidak akan ada deadlock, tidak ada eksploit race-condition, dan tidak ada dana yang bocor.”