Radar Investor — See Beyond the Market
Kecerdasan buatan atau artificial intelligence (AI) semakin mampu melakukan hal-hal yang sebelumnya membutuhkan keahlian manusia tingkat tinggi. Salah satunya adalah menganalisis software untuk menemukan kelemahan keamanan. Perkembangan ini menghadirkan pertanyaan besar bagi industri cryptocurrency.
 |
| AI vs CRYPTO |
Menurutnya, AI justru dapat membantu membuat software crypto menjadi jauh lebih aman. Kuncinya bukan hanya menggunakan AI untuk menemukan bug, tetapi memanfaatkannya untuk membantu membuktikan secara matematis bahwa kode memenuhi aturan keamanan tertentu. Gagasan tersebut menjadi semakin penting karena blockchain pada dasarnya adalah sistem software yang mengelola nilai ekonomi.
90% kekayaan Vitalik berada di crypto
Dalam pernyataannya, Buterin mengatakan bahwa siapa pun yang masih memegang cryptocurrency pada dasarnya sedang membuat taruhan bahwa keamanan crypto mampu bertahan di era AI.
Ia juga menyebut bahwa sekitar 90% kekayaan bersihnya berada di cryptocurrency. Pernyataan tersebut menarik karena Buterin bukan hanya berbicara sebagai pengembang Ethereum, tetapi juga sebagai seseorang yang memiliki eksposur besar terhadap aset crypto.
Namun, angka 90% tersebut tidak seharusnya diterjemahkan sebagai rekomendasi agar investor menempatkan sebagian besar kekayaannya di cryptocurrency. Yang lebih penting adalah alasan di balik keyakinannya. Buterin percaya bahwa industri blockchain harus meningkatkan keamanan software secara fundamental. Seperti yang ia ungkapkan:
There is no future for blockchains without doing this. We need to make software actually secure
Masalahnya kemudian adalah: bagaimana membuat software benar-benar aman? Salah satu jawabannya adalah formal verification.
Dari mencari bug menjadi membuktikan keamanan
Selama ini keamanan software banyak bergantung pada pengujian. Developer menjalankan berbagai skenario untuk mencari tahu apakah program mengalami kesalahan. Kode juga dapat diperiksa melalui audit, penetration testing, bug bounty, dan berbagai metode keamanan lainnya. Semua pendekatan tersebut tetap penting. Namun software modern semakin kompleks.
Sebuah blockchain tidak hanya terdiri dari satu program sederhana. Di dalamnya terdapat smart contract, sistem konsensus, jaringan, cryptographic library, wallet, bridge, Layer-2, database, dan berbagai komponen lainnya. Satu kelemahan kecil saja dapat menimbulkan konsekuensi besar.
Formal verification mencoba mengambil pendekatan yang berbeda. Alih-alih hanya bertanya Apakah kita sudah menemukan bug Pendekatan tersebut bertanya Bisakah kita membuktikan bahwa program memenuhi aturan tertentu?
Apa sebenarnya formal verification?
Bayangkan sebuah smart contract memiliki aturan sederhana Hanya pemilik aset yang boleh melakukan transfer. Dalam pengujian biasa, developer dapat mencoba berbagai kemungkinan.
- Bagaimana jika seseorang mencoba melakukan transfer tanpa izin?
- Bagaimana jika input tertentu dimasukkan?
- Bagaimana jika sistem berada dalam kondisi tertentu?
Semakin banyak skenario yang diuji, semakin besar kemungkinan menemukan masalah. Tetapi tetap ada kemungkinan terdapat kondisi yang belum pernah diuji. Formal verification mencoba memberikan pendekatan yang lebih matematis.
Developer mendefinisikan spesifikasi atau properti yang harus dipenuhi, kemudian menggunakan metode formal untuk membuktikan bahwa kode memenuhi properti tersebut. Jika pembuktiannya berhasil, maka untuk kondisi dan model yang didefinisikan, terdapat dasar matematis bahwa aturan tersebut dipenuhi. Inilah alasan teknologi tersebut menarik bagi blockchain.
Mengapa AI menjadi penting?
Masalahnya, formal verification bukan pekerjaan sederhana. Membuat spesifikasi, memahami kode dalam skala besar, mencari invariant, menghasilkan proof, dan memeriksa sistem dapat membutuhkan waktu serta keahlian khusus. AI berpotensi mengubah situasi tersebut.
AI dapat membantu programmer memahami kode, menemukan kemungkinan kerentanan, menghasilkan kandidat proof, memperbaiki implementasi, serta membantu proses verifikasi. Jika kemampuan AI berkembang cukup jauh, pekerjaan yang sebelumnya terlalu mahal atau terlalu kompleks untuk dilakukan pada seluruh sistem dapat menjadi semakin praktis.
Inilah bagian penting dari pemikiran Buterin. AI tidak hanya digunakan untuk membuat hacker menjadi lebih pintar tapi AI juga dapat digunakan untuk membuat defender menjadi lebih kuat.
AI juga bisa menjadi senjata bagi attacker
Namun ada sisi lain yang tidak boleh diabaikan. Teknologi yang sama dapat digunakan oleh pihak yang menyerang. AI dapat membantu menganalisis source code, mencari pola vulnerability, mengotomatisasi pengujian, dan mempercepat penelitian terhadap kelemahan software.
Artinya, industri crypto berpotensi memasuki perlombaan baru. Di satu sisi AI + attacker = kemampuan mencari celah semakin cepat. Di sisi lain AI + developer = kemampuan mendeteksi dan mencegah celah semakin kuat. Karena itu, persoalannya bukan apakah AI akan digunakan dalam keamanan crypto. Kemungkinan besar AI akan digunakan oleh kedua sisi. Pertanyaan yang lebih penting adalah:
Seberapa jauh kemampuan pertahanan dapat berkembang dibandingkan kemampuan serangan?
Blockchain memiliki alasan khusus untuk memperhatikan keamanan
Keamanan software sangat penting bagi semua industri digital. Tetapi blockchain memiliki karakteristik yang membuatnya semakin sensitif.
Pada sistem tradisional, transaksi tertentu terkadang dapat dibatalkan, dikoreksi, atau dipulihkan melalui pihak tertentu. Pada blockchain, transaksi yang sudah dikonfirmasi umumnya tidak dapat dibatalkan dengan cara yang sama.
Jika sebuah smart contract memiliki celah dan aset berhasil dieksploitasi, proses pemulihan dapat menjadi sangat sulit. Inilah sebabnya keamanan kode bukan hanya persoalan teknis bagi industri crypto. Ia juga berkaitan langsung dengan risiko ekonomi. Sebuah bug dapat berubah menjadi kerugian finansial.
Tetapi formal verification bukan jaminan 100% aman
Di sinilah pembaca perlu berhati-hati. Formal verification bukan berarti sebuah software otomatis bebas dari semua risiko. Ada pertanyaan fundamental Apa yang sebenarnya dibuktikan?
Misalnya sebuah program berhasil dibuktikan memenuhi aturan tertentu. Proof tersebut dapat benar secara matematis. Namun bagaimana jika aturan yang dibuat sejak awal tidak mencakup seluruh risiko yang relevan? Di sinilah batasan formal verification menjadi penting.
Matematika dapat membantu membuktikan bahwa kode memenuhi spesifikasi. Tetapi spesifikasi tersebut tetap dibuat oleh manusia. Jika manusia salah menentukan apa yang harus dilindungi, sebuah sistem dapat memiliki proof yang benar tetapi masih menghadapi risiko di luar ruang lingkup proof tersebut. Karena itu, formal verification sebaiknya dilihat sebagai lapisan keamanan tambahan yang sangat kuat, bukan sebagai pengganti seluruh proses keamanan.
Dari test the codemenuju prove the code
Perkembangan AI berpotensi membawa perubahan filosofi dalam pengembangan software. Selama ini developer banyak bekerja dengan pola Build → Test → Audit → Find Bugs → Patch. Ke depan, sebagian proses dapat berkembang menjadi Build → Specify → Verify → Prove. Perubahan tersebut tidak berarti testing dan audit akan menghilang. Sebaliknya, berbagai metode tersebut dapat saling melengkapi.
- AI dapat membantu mencari bug
- Testing dapat membantu menemukan perilaku yang tidak diharapkan
- Audit dapat melihat kelemahan desain
- Sementara formal verification dapat memberikan pembuktian terhadap properti tertentu.
Jika semuanya dapat digabungkan, keamanan software berpotensi menjadi jauh lebih kuat.
Apa artinya bagi investor crypto?
Bagi investor, berita seperti ini sering kali hanya dilihat dari pertanyaan Apakah ini bullish atau bearish untuk crypto? Padahal ada pertanyaan yang lebih mendasar yaitu Apa yang membuat sebuah aset digital bisa bertahan dalam jangka panjang?
- Harga adalah salah satunya
- Adopsi juga penting
- Regulasi memiliki pengaruh besar
Tetapi infrastruktur teknologinya tidak kalah penting. Jika cryptocurrency semakin banyak digunakan untuk menyimpan dan memindahkan nilai, maka keamanan software yang mengendalikan aset tersebut menjadi bagian dari fondasi ekonominya. Dalam konteks tersebut, perkembangan AI dalam cybersecurity dan formal verification layak diperhatikan.
Bukan karena AI menjamin crypto akan aman. Tetapi karena kemampuan industri dalam menghadapi risiko keamanan dapat menjadi salah satu faktor yang menentukan apakah teknologi blockchain mampu berkembang ketika sistem digital menjadi semakin kompleks.
AI bukan hanya ancaman bagi crypto
Pandangan Vitalik pada akhirnya membawa kita pada pertanyaan yang lebih besar. AI memang dapat membuat serangan digital semakin canggih. Tetapi teknologi yang sama juga dapat membantu manusia membangun sistem pertahanan yang lebih kuat.
Bagi industri blockchain, pergeseran dari sekadar mencari bug menuju membuktikan keamanan kode dapat menjadi salah satu perkembangan paling penting di era AI. Jika teknologi tersebut berhasil diterapkan secara luas, keamanan blockchain di masa depan mungkin tidak hanya bergantung pada seberapa baik developer menemukan kesalahan.
Keamanan juga dapat semakin bergantung pada seberapa banyak perilaku software yang mampu dibuktikan secara matematis. Dan mungkin inilah inti dari pernyataan Vitalik Ancaman terbesar AI terhadap crypto sekaligus dapat menjadi salah satu alasan crypto harus membangun standar keamanan yang jauh lebih tinggi.
Bagi investor, perkembangan tersebut memberikan satu pengingat penting yaitu Jangan hanya melihat aset crypto dari grafik harganya tapi lihat juga teknologi, keamanan, infrastruktur, dan kemampuan ekosistem tersebut beradaptasi ketika dunia digital berubah.
Radar Investor
See Beyond the Market.