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 Jumat inisiatif baru yang berpusat pada “vibe coding”—fitur dari platform Matterhorn yang memungkinkan pengembang mendeskripsikan sebuah aplikasi dalam bahasa sehari-hari, dan AI secara instan menghasilkan seluruh kode smart contract. Meskipun teknik ini mempercepat pengembangan dan menurunkan hambatan untuk membangun aplikasi, teknik ini juga menghadirkan risiko bahwa AI menghasilkan kode yang cacat atau tidak aman yang dapat dieksploitasi oleh penyerang. “Kami sedang berada di awal dunia di mana dApps menjadi ‘hanya Apps’, hal yang umum 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 berpikir bahwa ini adalah perlombaan yang salah. Para pembangun yang membangun dApps yang menangani uang nyata dan pengguna nyata membutuhkan platform yang bisa mereka percayai, dan kemitraan inilah cara kami membangunnya.”
Untuk mengurangi ancaman ini, pendiri Matterhorn Abhinav Ramesh mengatakan perusahaan bekerja sama dengan auditor keamanan eksternal dan alat otomatis untuk membantu pengembang meninjau smart contract yang dihasilkan oleh AI sebelum dideploy. “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 untuk melakukan audit agen, tetapi kami sama sekali tidak merekomendasikan melakukan hal itu saja untuk aplikasi mainnet.” Platform pengembangan Matterhorn dirancang untuk terintegrasi dengan ASI:Chain, sebuah jaringan blockchain yang dikembangkan oleh Artificial Superintelligence Alliance, sebuah kumpulan AI terdesentralisasi yang mencakup Fetch.ai, SingularityNET, dan CUDOS, sehingga memberi pengembang satu lingkungan untuk membangun, mengaudit, dan mendepoy aplikasi terdesentralisasi.
“Bagi kami, ini memudahkan pengguna untuk menghubungkan MCP, membangun/menggunakan skill, membangun dApps, dan melakukan deploy dari satu platform,” kata Ramesh. “Kami bekerja dengan tim ASI pada ‘blessed templates’ untuk mempermudah membangun kontrak yang lebih aman khususnya untuk bahasa berbasis verifikasi formal.” Perusahaan mengatakan pengembang dapat terhubung dengan auditor pihak ketiga melalui platform sebelum meluncurkan kontrak pada blockchain langsung. Namun, meskipun Matterhorn mengatakan platformnya mempercepat pengembangan, platform itu tidak menjamin keamanan. “Kami adalah fasilitator yang kuat bagi para pembangun yang ingin membangun di Web3,” kata Ramesh. “Sama sekali tidak ada jaminan dalam bentuk apa pun dari tim Matterhorn mengenai keselamatan atau keamanan.” Ramesh mengatakan Matterhorn dan ASI Alliance sedang mengembangkan “blessed templates” untuk membantu pengembang membangun smart contract yang lebih aman sekaligus 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 muncul saat agen AI semakin masuk ke industri kripto, di mana para pengembang bereksperimen dengan sistem yang dapat mengelola wallet, mengeksekusi perdagangan, dan menjalankan tugas keuangan di-chain, sehingga memunculkan alat dan riset baru yang ditujukan untuk mengendalikan risiko ketika sistem otonom tersebut menangani mata uang kripto. Khellar Crawford, chief innovation officer SingularityNET, mengatakan banyak 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 kelemahan—sementara F1R3FLY dan ASI:Chain menggunakan arsitektur yang ia sebut “correct-by-construction” berbasis kalkulus Rho. “Kami tidak menebak apakah sebuah aplikasi aman, kami membuktikannya secara matematis menggunakan spatial behavioral types,” kata Crawford kepada Decrypt. “Sebelum bahkan satu baris kode menyentuh jaringan langsung, matematika itu sendiri menjamin bahwa tidak akan ada deadlock, tidak ada eksploit race-condition, dan tidak ada dana yang bocor.”