Mākslīgā intelekta un blokķēdes drošības krustpunkts ir nākamā lielā kapitāla robeža.
Nesenā emuārā Ethereum līdzdibinātājs Vitalik Buterin izsaka pārliecinošu argumentu: kad AI sistēmas kļūst arvien jaudīgākas, tās supercharged gan ievainojamību atklāšanu, gan mūsu spēju tās novērst. Viņa piedāvātais vairogs? AI atbalstīta formālā verifikācija — pārvēršot matemātiskos pierādījumus praktiskā "protokola bruņās" blokķēdes infrastruktūrai.
Mākslīgā intelekta dubultā asmens drošībā
Uzlabotie AI modeļi jau tagad var skenēt kodu bāzes superskaistos ātrumos, lai atrastu ievainojamības. Nākotnes sistēmas (Buterins atsaucas uz piemēriem kā hipotētiskais "Claude Mythos") varētu dramatiski paātrināt uzbrukumus gudrajiem līgumiem, konsensa algoritmiem un kriptogrāfiskajiem pamatiem. Tradicionālie auditi un kļūdu atlīdzības var neatbilst šai videi.
Buterins noraida pesimismu. Nevis skatoties uz AI kā neizbēgamu draudu atvērtā koda drošībai, viņš to uzskata par iespēju pacelt programmatūras izstrādi uz tās "pēdējā formā".
Kas ir formālā verifikācija?
Formālā verifikācija izmanto mašīnā pārbaudāmus matemātiskus pierādījumus, lai garantētu, ka kods uzvedas tieši tā, kā norādīts, novēršot veselas kļūdu klases. Rīki kā Lean, Coq vai Isabelle ir pierādījuši sarežģītu sistēmu īpašības, taču vēsturiski tie bijuši lēni un darbietilpīgi.
AI maina spēles noteikumus:
- AI ģenerē kandidātu kodu un atbilstošos pierādījumus.
- Cilvēki (vai citi AI) pārskata un uzlabo augsta līmeņa specifikācijas un pieņēmumus.
- Rezultāts: ātrāka kritisko komponentu, kas ir verificējami pareizi, izstrāde.
Šī pieeja ir īpaši spēcīga blockchain "drošajā kodolā" — domā par ZK-EVM, STARK pierādītājiem, kvantu izturīgām parakstiem un konsensa protokoliem. Saglabājot šo kodolu mazu un stingri bruņotu, plašāka sistēma iegūst izturību.
Protokola bruņas praksē
Buterins redz nākotni, kurā:
1. AI paātrina pierādījumu rakstīšanu — nevis roku darbs katru lematu, izstrādātāji aicina AI ģenerēt Lean kodu vai Isabelle taktiku.
2. Verifikācija kļūst skalojama — matemātiskie pierādījumi nodrošina šauru, precīzu saskarni audita veikšanai, daudz vieglāk nekā pārskatīt tūkstošiem tradicionālā koda rindiņu.
3. Aizsardzība apsteidz uzbrukumu — AI atrod kļūdas pirms izvietošanas, kamēr formālie pierādījumi nodrošina, ka tās nevar izbēgt kritiskajos ceļos.
Viņš atzīst ierobežojumus: formālā verifikācija nevar pasargāt no nepareizām specifikācijām, aparatūras uzbrukumiem vai neapstiprinātām perifērijām. Stratēģija ir pragmatiska — maksimizēt drošību visvairāk drošības jutīgajās daļās, vienlaikus pieņemot aprēķinātus riskus citur.
Kāpēc tas ir svarīgi Blockchain kapitāla robežai
Krypto vienmēr ir bijusi augsta riska drošības spēle. Miljardi cirkulē protokolos, kur viena kļūda var novest pie katastrofiskas zaudējumu. Kamēr AI samazina barjeru sarežģītiem uzbrukumiem, projekti, kas pieņem AI atbalstītas formālās metodes, iegūs izšķirošu priekšrocību uzticēšanās un kapitāla efektivitātes ziņā.
Investori jau pievērš uzmanību. Komandas, kas demonstrē verificējamu drošību kodol infrastruktūrā, piesaistīs augstākas novērtējuma cenas paaugstināta riska laikā. Tas nav tikai tehnoloģisks progress — tas ir jauns konkurences traucēklis protokoliem.
Buterina optimistiskā tēze sakrīt ar viņa plašāko "d/acc" (defensīvā paātrinājuma) filozofiju: pieņemt jaudīgas tehnoloģijas, piemēram, AI, bet virzīt tās uz aizsardzības, decentralizētiem iznākumiem, kas stiprina, nevis vājina cilvēka aģentūru un sistēmas izturību.
Ceļš uz priekšu
Formālā verifikācija nepadarīs katru gudro līgumu necaurlaidīgu nakts laikā. Tomēr, runājot par pamatprotokolu slāņiem, AI atbalstīti pierādījumi varētu būt visnozīmīgākais lēciens blockchain drošībā kopš pārejas uz Proof-of-Stake.
Vitalika ziņa ir skaidra: AI laikmets nenozīmē, ka infrastruktūra kļūst trauslāka. Ar pareizajiem rīkiem un domāšanu tas var nozīmēt spēcīgākus protokolus — bruņotus nevis ar cerību, bet ar matemātiku.
Kapitāls plūdīs pie tiem, kas pirmie uzbūvē šo bruņu.