AI peretas menyerang, keamanan siber pasti gagal? V God tidak setuju.
Penilaiannya yang inti adalah: keamanan secara alami cenderung berpihak pada pihak bertahan. Jika AI mampu membuktikan persamaan Navier–Stokes dan Teorema Fermat, maka ia juga dapat mengubah “program ini aman” menjadi sebuah teorema matematika; kesulitan sebenarnya bukan pada kode yang rumit, melainkan pada cara mendefinisikan “keamanan”—jika definisinya terlalu sempit, maka permukaan serangan akan bocor dari luar definisi tersebut.
Karena itu, ia berpendapat bahwa verifikasi formal tidak boleh hanya mencakup modul-modul yang dianggap paling penting; basis data, jaringan, cache, dan semua program lainnya harus dimasukkan; definisi keamanan juga harus dapat dibaca dan dapat disusun (komponabel). Dibanding menyapu kode baris demi baris, memverifikasi terlebih dahulu apakah definisi untuk komponen seperti protokol pesan, sandbox, SNARK, FHE, dan sejenisnya sudah memadai, sering kali lebih memungkinkan.
Ini bukan berarti “orang baik menemukan celah lebih dulu daripada orang jahat”, melainkan membuat kode secara bawaan lebih tahan terhadap serangan. V God mengatakan bahwa terus menempatkan sekitar sembilan puluh persen aset bersihnya dalam aset terenkripsi, pada dasarnya adalah taruhan pada jalur ini; tanpa itu, blockchain yang menggabungkan skalabilitas dan privasi sulit punya masa depan. Dalam beberapa tahun ke depan, Ethereum akan mengarah ke langkah seperti ini.
#AI #网络安全 #以太坊 $ETH
Penilaiannya yang inti adalah: keamanan secara alami cenderung berpihak pada pihak bertahan. Jika AI mampu membuktikan persamaan Navier–Stokes dan Teorema Fermat, maka ia juga dapat mengubah “program ini aman” menjadi sebuah teorema matematika; kesulitan sebenarnya bukan pada kode yang rumit, melainkan pada cara mendefinisikan “keamanan”—jika definisinya terlalu sempit, maka permukaan serangan akan bocor dari luar definisi tersebut.
Karena itu, ia berpendapat bahwa verifikasi formal tidak boleh hanya mencakup modul-modul yang dianggap paling penting; basis data, jaringan, cache, dan semua program lainnya harus dimasukkan; definisi keamanan juga harus dapat dibaca dan dapat disusun (komponabel). Dibanding menyapu kode baris demi baris, memverifikasi terlebih dahulu apakah definisi untuk komponen seperti protokol pesan, sandbox, SNARK, FHE, dan sejenisnya sudah memadai, sering kali lebih memungkinkan.
Ini bukan berarti “orang baik menemukan celah lebih dulu daripada orang jahat”, melainkan membuat kode secara bawaan lebih tahan terhadap serangan. V God mengatakan bahwa terus menempatkan sekitar sembilan puluh persen aset bersihnya dalam aset terenkripsi, pada dasarnya adalah taruhan pada jalur ini; tanpa itu, blockchain yang menggabungkan skalabilitas dan privasi sulit punya masa depan. Dalam beberapa tahun ke depan, Ethereum akan mengarah ke langkah seperti ini.
#AI #网络安全 #以太坊 $ETH