Vitalik Buterin: AI Tidak Akan Menghancurkan Keselamatan Siber—Mengapa Beliau Masih Menyimpan 90% Kekayaannya dalam Kripto

2026/09/21 15:29:00

Vitalik Buterin Berhujah Bahawa AI Boleh Memperkuat Keselamatan Siber Melalui Pengesahan Formal

Pendiri Ethereum Vitalik Buterin telah menolak secara terbuka pandangan yang semakin berkembang bahawa kecerdasan buatan yang canggih akan menjadikan keselamatan siber tidak dapat dimenangi. Dalam posting terperinci di X pada 16 September 2026, beliau menyatakan bahawa keselamatan siber masih pada dasarnya menguntungkan pihak pertahanan apabila kaedah yang ketat digunakan dan bahawa pemegangan mata wang kripto yang berterusan mewakili pertaruhan tersirat terhadap kesudahan ini. Beliau mencatat bahawa mata wang kripto menyumbang kira-kira 90 peratus daripada kekayaan bersihnya sendiri. Komen-komen itu muncul semasa perbincangan yang lebih luas mengenai serangan berkuasakan AI terhadap infrastruktur digital dan mengikuti pertukaran sebelum ini di mana beliau menolak ramalan penurunan harga bitcoin yang tajam yang disebabkan oleh kegagalan keselamatan.

Kedudukan Buterin berpusat pada potensi pengesahan formal yang dibantu AI untuk membuktikan bahawa perisian kompleks memenuhi sifat keselamatan yang ditakrifkan dengan tepat, mengalihkan keseimbangan daripada perburuan ralat reaktif kepada jaminan matematik proaktif. Sikap ini membawa berat khusus untuk Ethereum, di mana peningkatan skalabiliti dan privasi memerlukan keyakinan yang lebih tinggi terhadap kod asas. Pernyataan Vitalik Buterin pada September 2026 menetapkan bahawa AI akhirnya akan memberi keuntungan kepada pihak pertahanan melalui pengesahan formal sifat keselamatan perisian, satu keyakinan yang diperkuat oleh pengalokasian berterusan sebanyak kira-kira 90 peratus kekayaan peribadinya kepada aset mata wang kripto.

Tindakan balas langsung Vitalik terhadap dakwaan bahawa peretasan AI menghancurkan keselamatan siber

Dalam pos X pada 16 September 2026, Vitalik Buterin membahas apa yang digambarkannya sebagai pandangan yang semakin biasa bahawa peretasan yang digerakkan AI akan menjadikan keselamatan siber terkutuk. Beliau tidak bersetuju, menegaskan bahawa keselamatan siber secara semula jadi menguntungkan pertahanan apabila peserta menerapkan kaedah yang disiplin. Beliau secara eksplisit menghubungkan penilaian ini dengan kepemilikan mata wang kripto, menulis bahawa sesiapa sahaja yang terus memegang mata wang kripto, termasuk dirinya sendiri, dengan kira-kira 90 peratus kekayaan bersihnya, secara tersirat sedang bertaruh pada kelayakan sistem digital yang selamat. Buterin membentuk isu ini bukan sebagai keuntungan ofensif yang tak terelakkan bagi penyerang tetapi sebagai masalah peralihan yang boleh diselesaikan oleh kejuruteraan yang ketat.

Beliau menempatkan pengesahan formal sebagai jalan praktikal, berhujah bahawa sistem AI yang cukup cekap untuk membuktikan keputusan matematik yang sukar juga boleh menetapkan bahawa satu program tertentu memenuhi spesifikasi keselamatannya. Pos ini muncul dalam konteks kebimbangan industri terhadap penemuan kerentanan automatik, namun Buterin mengekalkan bahawa kemampuan yang sama yang mempercepat serangan juga boleh mempercepat pembinaan bukti yang menutup permukaan serangan tersebut secara kekal. Framing ini meningkatkan pengalokasian modal peribadi daripada pilihan portfolio yang mudah kepada isyarat awam terhadap keyakinan teknologi.

Pengesahan Formal sebagai Jalan Matematik untuk Membuktikan Program Selamat

Klaim teknikal asas Buterin berdasarkan pengesahan formal, amalan menggunakan spesifikasi matematik dan bukti untuk menunjukkan bahawa perisian berkelakuan mengikut sifat yang telah ditetapkan di sepanjang semua keadaan yang berkaitan, bukan sekadar menguji skenario yang dipilih. Beliau berhujah bahawa jika AI boleh membuktikan hasil seperti persamaan Navier-Stokes atau Teorem Terakhir Fermat, kuasa penalaran yang sama boleh membuktikan pernyataan bahawa satu program tertentu adalah selamat, walaupun program itu sendiri rumit. Pengesahan formal telah lama digunakan dalam domain berjaminan tinggi seperti aerospace dan kriptografi; kebaruan dalam pandangan Buterin ialah bahawa AI mengurangkan kos dan memperluaskan lingkup yang mungkin bagi bukti-bukti ini.

Selepas bukti diperiksa oleh mesin dan diterima, ia kekal selamanya, manakala penyerang yang menemui kelemahan yang sebelum ini tidak diketahui adalah peristiwa satu kali sahaja. Asimetri ini menjadi asas dakwaan bahawa keselamatan siber lebih mengutamakan pertahanan dalam jangka panjang. Kaedah ini tidak menghilangkan keperluan untuk menulis spesifikasi dengan teliti; ia memperkuat keberkesanan spesifikasi yang dirangka dengan baik. Dengan memperlakukan dakwaan keselamatan sebagai teorem matematik, pembangun berpindah dari keyakinan probabilistik berdasarkan cakupan ujian kepada jaminan deterministik dalam sempadan model yang dipilih. Perpindahan ini khususnya relevan untuk sistem blok rantai di mana satu kecacatan halus sahaja boleh mempengaruhi jumlah nilai yang besar. Oleh itu, hujah ini mengubah semula AI daripada ancaman tulen menjadi alat dua guna yang aplikasi pertahanannya boleh mendominasi apabila industri melabur dalam peralatan dan disiplin yang diperlukan.

Mendefinisikan Keselamatan Merentas Kunci, Pelayan, Sistem Pengendalian, dan Seluruh Tumpukan

Sebuah peringatan penting dalam penaakulan Buterin ialah bahawa maksud “selamat” itu sendiri perlu ditakrifkan dengan cakupan yang mencukupi. Takrif keselamatan boleh melebihi seribu baris spesifikasi formal kerana ia perlu mengatasi pengurusan kunci, kompromi pelayan, integriti sistem pengendali, pangkalan data, lapisan rangkaian, cache, kebocoran saliran sisi, dan risiko rantaian bekalan. Bukti matematik hanya mengesahkan sifat-sifat yang secara eksplisit termasuk; risiko di luar model tetap tidak diatasi. Oleh itu, Buterin menekankan bahawa AI boleh membantu bukan sahaja dalam menghasilkan bukti tetapi juga dalam mengkaji spesifikasi untuk ketidakkompolan dan memperkuatkannya sebelum pelaksanaan.

Implikasi praktikalnya ialah pasukan tidak boleh membataskan usaha pengesahan kepada komponen-komponen keselamatan kritikal yang terpisah; mereka akhirnya perlu merangkumi interaksi antara komponen-komponen tersebut. Perspektif penuh-lapisan ini meningkatkan tahap kejuruteraan tetapi juga meningkatkan had keyakinan. Bagi sistem yang menggabungkan skalabiliti tinggi dengan ciri-ciri privasi, definisi yang tidak lengkap meninggalkan permukaan serangan yang tersisa yang boleh dieksploitasi oleh alat automatik. Dengan menuntut definisi yang komprehensif, Buterin mengalihkan perhatian daripada kejayaan serangan yang menarik perhatian media kepada kerja yang lebih tenang tentang kualiti spesifikasi. Hasilnya ialah penilaian yang lebih realistik terhadap kuasa dan had kaedah formal dalam persekitaran pengeluaran yang kompleks.

Arah Jangka Panjang Ethereum Menuju Pengesahan Penuh-Stack yang Dibantu AI

Buterin menyatakan bahawa pembangunan ethereum dalam tahun-tahun mendatang akan maju mengikut laluan pengesahan formal yang telah beliau gambarkan. Sistem blok rantai yang mengejar ciri-ciri skalabiliti dan privasi khususnya memerlukan asas ini; tanpa jaminan keselamatan perisian yang lebih kuat, ciri-ciri tersebut berisiko memperluas daripada mengecilkan permukaan serangan. Penyelidikan Ethereum Foundation telah menganggap pengesahan formal sebagai alat lintas banyak lintasan protokol jangka panjang. Pasukan keselamatan telah mula menggunakan agen AI untuk menginspeksi kod protokol dan menghasilkan semula kerentanan secara berdiri sendiri, menurut laporan pada 17 September daripada crypto.news. Para penyelidik sedang bekerja menuju arsitektur di mana validator mengesahkan bukti eksekusi ringkas daripada mengeksekusi semula setiap blok.

Usaha tambahan menggabungkan agen AI dengan bukti yang diperiksa mesin untuk pelaksanaan klien, kepatuhan protokol, dan infrastruktur mesin virtual bukti tanpa pengetahuan. Inisiatif-inisiatif ini selari dengan peta jalan teknikal yang lebih luas yang menempatkan pengesahan formal bersama privasi, bukti tanpa pengetahuan, dan perlindungan pasca-kuantum. Arah ini mencerminkan pengiktirafan bahawa pengujian konvensional dan tinjauan manusia sahaja tidak akan boleh dikembangkan mengikut kompleksiti peningkatan protokol generasi seterusnya. Dengan memasukkan pengesahan ke dalam agenda penyelidikan, ethereum menempatkan dirinya untuk menyerap kemampuan AI sebagai penguat pertahanan, bukan sekadar bertindak balas terhadap kemajuan serangan. Jangka masa bertahun-tahun menekankan bahawa peralihan yang dinyatakan oleh Buterin adalah satu program kejuruteraan, bukan satu suis segera.

Projek-projek sedia ada yang menunjukkan blok-blok bangunan kriptografi yang disahkan secara formal

Projek-projek konkrit sudah menggambarkan pendekatan ini. Arklib sedang membangun implementasi STARKs yang telah disahkan secara formal, satu keluarga utama sistem bukti tanpa pengetahuan, di dalam Lean theorem prover. Setiap komponen, dari aritmetik polinomial hingga protokol FRI dan komitmen Merkle, bertujuan untuk membawa bukti kebenaran yang diperiksa oleh mesin. Usaha berkaitan, evm-asm, membina abstraksi Ethereum Virtual Machine yang direka untuk analisis formal. Kerja tambahan merangkumi saluran pengesahan Rust-to-Lean yang mengekstrak kod kriptografi pengeluaran, menghasilkan spesifikasi, dan menutup kewajiban bukti dengan pembuktian AI sambil mengekalkan ketepatan yang diperiksa oleh kernel.

Laporan dari pertengahan 2026 dan pembaruan September mengesahkan pengukuhan aktif protokol sum-check, Spartan, pokok Merkle, teori pengkodan berkaitan FRI, dan primitif lainnya. Usaha-usaha ini menunjukkan bahawa pengesahan end-to-end terhadap infrastruktur kriptografi penting sedang bergerak dari prototaip penyelidikan ke arah pustaka yang boleh digunakan semula. Kewujudan projek-projek seperti ini memberikan asas empirikal untuk dakwaan Buterin bahawa peralatan yang diperlukan sedang muncul. Pembangun boleh mengkaji repositori awam dan nota rilis untuk menilai cakupan semasa dan jurang yang tinggal. Kemajuan dalam pustaka-pustaka ini mengurangkan kos marginal penggunaan kaedah formal terhadap komponen protokol baru dan menyediakan blok-blok binaan yang telah disahkan dan boleh digunakan semula untuk sistem peringkat lebih tinggi.

Alokasi Kekayaan Peribadi sebagai Pertaruhan Eksplisit terhadap Teknologi Pertahanan

Buterin berulang kali menghubungkan pandangan teknikalnya dengan pengagihan modal peribadi. Dengan menyatakan bahawa kira-kira 90 peratus kekayaan bersihnya masih berada dalam mata wang kripto, beliau menunjukkan kepemilikan yang berterusan sebagai pertaruhan tersirat bahawa sistem digital yang sangat selamat boleh dibina walaupun terdapat penyerang automatik yang lebih kuat. Angka ini muncul baik dalam posting keselamatan siber 16 September mahupun dalam respons awal pada 7 September terhadap ramalan penurunan harga Bitcoin yang besar. Lapuran semasa menjelaskan bahawa pernyataan itu tidak bermaksud kedudukan Bitcoin semata-mata; sebahagian besar pemilikan yang diketahui berada dalam ether dan aset berkaitan, jadi eksposur ini paling baik difahami sebagai komitmen luas terhadap ketahanan sistem terdesentralisasi.

Data pasaran pada 17 September meletakkan bitcoin hampir pada 76,000 dolar dan ether hampir pada 2,400–2,460 dolar, menggambarkan skala nilai yang terkait dengan anggapan keselamatan ini. Pengungkapan ini berfungsi sebagai titik data isyarat tinggi kerana ia secara sukarela ditawarkan oleh tokoh prinsipal yang penilaian teknikalnya secara historik mempengaruhi arah protokol. Pembaca boleh merujuk silang pernyataan kekayaan ini dengan laporan transparansi atas rantai dan komen sebelum ini berkaitan yayasan untuk membentuk pandangan bebas mengenai konsistensi. Kaitan antara modal dan keyakinan memberikan contoh praktikal bagaimana optimisme keselamatan jangka panjang boleh diungkapkan di luar kertas penyelidikan tulen.

Awal September Bursa tentang Risiko AI terhadap Keselamatan Inti Bitcoin

Pada 7 September 2026, Buterin menanggapi penilaian oleh pelabur Liron Shapira yang memberikan kebarangkalian 50 peratus kepada bitcoin jatuh lebih daripada 50 peratus dalam tempoh dua tahun kerana kecerdasan buatan boleh merosakkan anggapan keselamatan. Buterin mengambil posisi bertentangan, menyatakan bahawa beliau tetap optimis mengenai keselamatan siber dalam jangka panjang dan memandang kesukaran utama sebagai menguruskan peralihan. Beliau mengharapkan bitcoin menangani isu-isu yang tidak memerlukan persetujuan sosial yang luas, seperti penyesuaian klien atau kolam penambangan, dan memberikan kebarangkalian yang sangat rendah terhadap kegagalan asas dalam fungsi penghasingan atau bukti-kerja.

Beliau menunjukkan bahawa pegangan sedia ada beliau sudah membentuk setara dengan pertaruhan besar melawan senario kemerosotan, sekali lagi merujuk kepada angka kekayaan bersih kira-kira 90 peratus. Komen-komen sebelumnya menetapkan kesinambungan: post pengesahan formal kemudian bukan satu tindakan terpisah tetapi satu pengembangan kepada teori keselamatan yang konsisten. Bersama-sama, dua pernyataan ini membentuk satu kedudukan awam yang koheren yang merangkumi naratif risiko harga jangka pendek dan strategi arsitektur jangka panjang.

Keputusan untuk Peningkatan Skalabiliti dan Privasi pada Rangkaian Blok Rantai

Sistem yang secara serentak mengejar throughput tinggi dan sifat privasi yang kuat memperluas permukaan yang perlu dijamin keselamatannya. Bukti tanpa pengetahuan, sistem bukti rekursif, dan logik transisi keadaan yang kompleks memperkenalkan keperluan kebetulan halus yang sulit diuji sepenuhnya oleh pengujian konvensional. Pengesahan formal menawarkan jalan kepada jaminan yang lebih tinggi kerana tuntutan keselamatan boleh dinyatakan secara matematik dan diperiksa secara mekanikal. Hujah Buterin mengimplikasikan bahawa tanpa kemajuan dalam alat pengesahan, peta jalan skalabiliti dan privasi yang ambisius menghadapi risiko baki yang lebih tinggi. Sebaliknya, penerapan berjaya bukti yang dibantu AI boleh membuka ciri-ciri tersebut dengan keyakinan yang lebih besar.

Penyelidikan ethereum sudah menganggap pengesahan sebagai infrastruktur yang membolehkan pencapaian matlamat-matlamat ini. Konsekuensi praktikalnya ialah pasukan protokol mesti mengalokasikan usaha kejuruteraan kepada kualiti spesifikasi dan infrastruktur bukti secara serentak dengan kerja prestasi. Peserta pasaran yang menilai kesihatan protokol jangka panjang oleh itu boleh memantau kedewasaan pustaka pengesahan dan integrasi komponen yang disahkan ke dalam klien pengeluaran sebagai petunjuk terkemuka kesiapan pertahanan. Perspektif ini mengalih perhatian daripada metrik kuantitatif semata-mata seperti transaksi per saat kepada ukuran kualitatif kedalaman jaminan.

Menyeimbangkan Kemampuan Serangan yang Dipercepat dengan Keuntungan Alat Pertahanan

Sistem AI Frontier boleh mempercepat penemuan kerentanan dan reka bentuk serangan, seperti diakui oleh pelbagai organisasi penyelidikan. Anthropic dan makmal lain telah melaporkan model yang mengenal pasti sejumlah besar kelemahan. Buterin tidak menafikan kemajuan ofensif ini; beliau berpendapat bahawa kemajuan serupa dalam penaakulan mesin boleh mengurangkan kos membina bukti formal dan memperbaiki spesifikasi keselamatan. Pemboleh ubah penentu menjadi disiplin institusi dan kejuruteraan, bukan kemampuan model mentah. Sekali bukti wujud dan disemak secara mesin, ia akan kekal; eksploit individu tetap merupakan peristiwa terpisah.

Asimetri ini menyokong dakwaan bahawa pertahanan boleh memperoleh dan mengekalkan kelebihan apabila pasukan melabur dalam kaedah yang diperlukan. Pemerhati industri boleh memantau nisbah komponen kritikal yang disahkan kepada jumlah luas permukaan kritikal sebagai ukuran konkrit kemajuan. Pernyataan September dengan itu berfungsi sebagai ramalan teknikal dan seruan kepada industri untuk mengorganisasi diri sekitar pengesahan, bukan semata-mata sekitar pengesanan dan tindak balas.

Konteks Ruang untuk Kaedah Berjaminan Tinggi dalam Kod Penting Nilai

Kaedah formal sebelum ini secara sejarah dikecualikan untuk domain di mana kos kegagalan adalah sangat tinggi. Perpustakaan kriptografi, kod penting untuk konsensus, dan sirkuit zero-knowledge kini termasuk dalam kategori ini kerana nilai kewangan dan sistemik yang mereka jamin. Kehadiran perpustakaan tersahkan yang boleh digunakan semula seperti Arklib dan saluran pengesahan yang menyokong menunjukkan bahawa halangan untuk masuk sedang berkurang. Bantuan AI juga mengurangkan tenaga kerja pakar yang diperlukan untuk banyak kewajipan bukti sambil mengekalkan ketepatan melalui pemeriksaan kernel.

Keputusan ethereum untuk memperlakukan pengesahan formal sebagai alat lintas fungsi mencerminkan pengiktirafan terhadap perubahan ini. Ekosistem blok rantai lain dan operator infrastruktur kewangan tradisional menghadapi tekanan yang serupa semasa alat serangan automatik meningkat. Perbincangan pada September 2026 seterusnya menyumbang kepada perbincangan yang lebih luas mengenai tahap jaminan yang sesuai untuk perisian yang menjadi asas sistem aset digital. Pelaku boleh mengkaji kemajuan awam formalisasi kriptografi berdasarkan Lean dan saluran ekstraksi Rust-ke-Lean untuk mengukur keadaan terkini dan jurang kejuruteraan yang tinggal.

Pertimbangan Praktikal untuk Pasukan yang Membina Sistem yang Boleh Diverifikasi

Pasukan yang ingin menerapkan pendekatan ini mesti memulakan dengan definisi keselamatan yang tepat yang merangkumi model ancaman yang berkaitan, kemudian memilih alat yang mampu membuktikan secara mesin. Projek-projek sedia ada menunjukkan bahawa Lean 4, pustaka kriptografi khas, dan pembuktian bantuan AI sudah boleh menangani komponen-komponen yang bukan sepele. Integrasi ke dalam saluran pembangunan berterusan masih merupakan cabaran kejuruteraan yang aktif, begitu juga pengesahan interaksi di seluruh tumpukan penuh. Dokumentasi andaian dan risiko baki di luar model yang disahkan adalah penting untuk komunikasi yang jujur dengan pengguna dan auditor.

Pemantauan terhadap pembaharuan penyelidikan Ethereum Foundation dan usaha pengesahan bebas memberikan penglihatan berterusan terhadap kedewasaan alat. Jalan yang dilukiskan oleh Buterin adalah berperingkat dan berbilang tahun; penggunaan awal pustaka yang disahkan dan penyertaan dalam kerja penyempurnaan spesifikasi boleh memperbesar kelebihan seiring masa. Organisasi yang memperlakukan pengesahan sebagai objektif kejuruteraan utama dan bukan sebagai aktiviti audit selepas kejadian berada dalam kedudukan yang lebih baik untuk menyerap risiko dan peluang yang diciptakan oleh kemajuan kemampuan AI.

Isyarat Ekosistem daripada Paparan Kripto Tahap Pencipta yang Berterusan

Pengesahan awam bahawa seorang tokoh protokol prinsipal mempertahankan sebahagian besar kekayaan peribadi dalam aset mata wang kripto memberikan isyarat yang kukuh terhadap trajektori keselamatan asas. Digabungkan dengan pelaburan penyelidikan aktif dalam pengesahan formal, pengumuman ini menunjukkan bahawa pemutus keputusan utama memandang peralihan pertahanan sebagai boleh dicapai dalam jangka masa yang relevan. Harga pasaran pada 17 September 2026 mencerminkan penilaian berterusan terhadap sistem-sistem ini di bawah keadaan makroekonomi semasa.

Pengamat boleh memantau publikasi penyelidikan seterusnya, pelepasan pustaka, dan integrasi pelanggan sebagai ujian empirikal terhadap tesis tersebut. Gambaran keseluruhan yang muncul ialah optimisme teknologi yang diukur, berasaskan kaedah kejuruteraan tertentu, bukan jaminan yang kabur. Kemajuan berterusan terhadap primitif kriptografi yang disahkan dan spesifikasi penuh-lapisan akan menentukan sama ada kesudahan yang mendukung pertahanan terwujud pada skala yang diperlukan oleh infrastruktur aset digital global.

🔥 Di Luar Berita Utama: Apa yang Dimaksud dengan KuCoin 5.0 untuk Anda

Berita pasaran bergerak pantas — tetapi tempat anda bertindak atasnya sama pentingnya. Pada Oktober ini, KuCoin melancarkan KuCoin 5.0, mengubah KuCoin menjadi platform yang dibina semula. Inilah apa yang sebenarnya berubah untuk anda:

Satu akaun untuk semua. Platform lama memisahkan dana anda ke dalam akaun "spot", "margin", dan "niaga hadapan" yang berasingan dan mengharapkan anda memahami mengapa. Akaun Bersepadu KuCoin 5.0 menghapuskan semua itu — deposit sekali, dan semuanya tersedia secara langsung.
Saham, indeks, dan komoditi. KuCoin 5.0 mengembangkan diri melampaui kripto ke pasaran global. Apabila kripto bergerak mendatar dan ekuitas meningkat (atau sebaliknya), anda boleh berpindah dalam beberapa minit tanpa perlu membuka akaun broker dan menunggu berhari-hari untuk saluran fiat.
Aset dunia nyata (RWA). Paparan yang ditokenkan terhadap aset tradisional seperti komoditi, secara langsung di akaun kripto anda. Salah satu segmen yang paling pesat berkembang dalam kewangan global kini tidak lagi dikhususkan untuk institusi — anda boleh mengaksesnya daripada baki yang sama yang anda gunakan untuk dagangan.
Hasilkan sambil belajar. Belum bersedia untuk berdagang? KCUSD membolehkan koin stabil anda menghasilkan faedah harian yang auto-kompaun. Cara paling tenang untuk menjadikan deposit tidak aktif anda bekerja dengan pulangan 4%.
Pembantu AI dalam bahasa yang mudah. Tanya soalan, dapatkan konteks pasaran, fahami apa yang anda lihat — terintegrasi ke dalam platform, tiada jargon diperlukan.
Sebuah aplikasi yang tidak membanjiri. Lebih pantas, lebih bersih, dan konsisten — intuitif sejak sentuhan pertama, bukan selepas tutorial.
Keselamatan yang boleh anda semak, bukan sekadar dipercayai. Entiti EU berlesen MiCAR, Proof of Reserves yang boleh anda semak sendiri, dan keselamatan bersijil antarabangsa (SOC 2 Type II, ISO 27001:2022).

Cipta akaun anda dalam beberapa minit — dan mulakan di platform yang dibina untuk masa depan kripto, bukan tempat ia bermula.

Soalan Lazim

Apa yang sebenarnya dikatakan Vitalik Buterin mengenai AI dan keselamatan siber pada September 2026?

Vitalik Buterin menyatakan di X bahawa pandangan yang semakin biasa bahawa peretasan AI bermakna keselamatan siber gagal adalah salah. Beliau berhujah bahawa keselamatan siber secara semula jadi menguntungkan pertahanan apabila orang menerapkan kaedah yang ketat, dan sesiapa yang terus memegang mata wang kripto secara implisit sedang bertaruh pada hasil tersebut. Beliau mengesahkan bahawa mata wang kripto mewakili kira-kira 90 peratus daripada kekayaan bersihnya sendiri. Komen-komen itu menekankan pengesahan formal sebagai mekanisme yang boleh menukar kemajuan AI menjadi keuntungan pertahanan dengan membuktikan sifat keselamatan perisian sebagai teorem matematik.

Bagaimana pengesahan formal berbeza daripada pengujian keselamatan konvensional?

Ujian konvensional mengkaji tingkah laku program di bawah input dan senario yang dipilih, memberikan keyakinan probabilistik yang terhad oleh cakupan. Pengesahan formal menggunakan spesifikasi matematik dan bukti untuk menetapkan bahawa sifat keselamatan yang ditakrifkan berlaku di seluruh ruang keadaan yang berkaitan. Sekali bukti diperiksa oleh mesin, ia memberikan jaminan deterministik dalam model tersebut. AI boleh membantu dalam menghasilkan dan memeriksa bukti-bukti ini, berpotensi menjadikan kaedah ini praktikal untuk kod yang lebih besar dan lebih kompleks daripada yang sebelumnya mungkin.

Mengapa Buterin menekankan definisi keselamatan yang komprehensif?

Definisi keselamatan mesti merangkumi kunci, pelayan, sistem pengendalian, pangkalan data, rangkaian, cache, dan risiko berkaitan. Definisi yang tidak lengkap meninggalkan permukaan serangan yang tersisa di luar model yang disahkan. AI boleh membantu mengenal pasti andaian yang hilang dan memperkuat spesifikasi, tetapi kualitas definisi awal tetap menjadi asas. Definisi yang luas meningkatkan usaha kejuruteraan tetapi meningkatkan nilai bukti yang dihasilkan.

Apakah peranan pengesahan formal dalam penyelidikan semasa Ethereum?

Penyelidik ethereum memperlakukan pengesahan formal sebagai alat lintas topik untuk lintasan protokol jangka panjang. Pasukan sudah menggunakan agen AI untuk pemeriksaan kod dan reproduksi kerentanan. Kerja terus berjalan pada bukti eksekusi ringkas, pengesahan klien terhadap spesifikasi, infrastruktur mesin maya tanpa pengetahuan, dan usaha berkaitan. Arah ini menyokong ciri skalabiliti dan privasi akan datang yang memerlukan jaminan yang lebih tinggi.

Adakah projek-projek konkrit yang sudah menghasilkan komponen-komponen yang disahkan?

Ya. Arklib sedang membangun pelaksanaan STARK yang disahkan secara formal dalam Lean. Usaha berkaitan merangkumi abstraksi EVM, saluran ekstraksi Rust-ke-Lean, dan formalisasi sum-check, pokok Merkle, dan primitif kriptografi lainnya. Projek-projek ini menunjukkan bahawa bukti yang disemak mesin untuk komponen infrastruktur penting sedang maju dan menjadi boleh digunakan semula.

Adakah angka 90 peratus kekayaan bersih itu merujuk hanya kepada bitcoin?

Tidak. Pernyataan tersebut mencerminkan eksposur mata wang kripto yang luas, terutama ether dan aset-aset berkaitan berdasarkan laporan yang tersedia. Intinya ialah bahawa majoriti kekayaan peribadi diletakkan dalam sistem-sistem yang andaian keselamatannya akan ditekan oleh senario kegagalan yang dibincangkan.

Penafian: Kandungan ini hanya untuk tujuan maklumat dan tidak merupakan nasihat pelaburan. Pelaburan mata wang kripto membawa risiko. Sila lakukan penyelidikan anda sendiri (DYOR).

Penafian: Halaman ini telah diterjemahkan dengan menggunakan teknologi AI untuk keselesaan anda. Untuk mendapatkan maklumat yang paling tepat, rujuk kepada versi bahasa Inggeris asal.