AI, zəiflikləri tapma xərclərini azaltmağa kömək edir, kripto sənayesi iki düşərgəyə bölünür

Kripto, çevik təmir və minimal dəyişməzlik arasında iki təhlükəsizlik yolu ilə parçalanır.

Müəllif: @Bankless

Tərcümə: AididiaoJP, Foresight News

AI-nin zəiflikləri tapma qabiliyyəti, kripto sənayesinin təhlükəsizlik strategiyalarını yenidən təşkil etməyə məcbur edir.

İlk öncə Bitcoin şəbəkəsinə baxaq. 22 oktyabrda Bitcoin Core, LLM (böyük dil modeli) üçün sadə bir göstəriş verərək tapılan zəifliklərə xüsusi olaraq yönəlmiş bir təhlükəsizlik strategiyası dəyişikliyini birləşdirdi. Keçmişdə, bu cür problemlər bir il müddətinə gizli saxlanıla bilərdi; indi isə düzəliş və dərc etmə mümkün qədər tez irəliləməlidir. Dəyişiklik müəllifi Antoine Poinsot açıq şəkildə dedi: LLM, bəzi növ problemləri tapmağı „xeyli asanlaşdırır”.

Bu tək hadisə deyil. AI modelləri vasitəsilə aşkar edilən iki PHP əsas zəifliyi, internetdə 1.3 milyon hostu risk altına aldı. Initia isə bütün şəbəkəni dayandırdı: hücumçular, həmtəsisçi Zon tərəfindən „Gün 0 zəifliyi” adlandırılan bir zəiflikdən istifadə edərək, təxminən 2.7 milyon dollar dəyərində tokenlər istehsal etdilər və onları digər zəncirlərə köçürdülər. Hal-hazırda bu hücumda AI-nin istifadə edilib-edilmədiyi dəqiqləşdirilməyib, amma onun bir şəkildə iştirak etdiyini demək, yəqin ki, irəliləməz.

Məlumatlar da eyni istiqamətdə gedir. DefiLlama-nın haker hadisələri bazası göstərir ki, 2026-cı ildən bəri 1 milyon dollardan çox olan 112 hücum baş verib; 2025-ci il ərzində isə bu say 70-dir. Anthropic-in ağıllı müqavilə tədqiqatı isə 2025-ci il üçün qabaqcıl modellərin simulyasiya mühitində „zəiflikdən gələn gəlir”inin təxminən hər 1.3 ayda iki dəfə artdığını aşkar etdi.

Hücumçuların əllərində yorulmaz, davamlı olaraq inkişaf edən zəiflik ovçuları var, nə etməli? Kripto sənayesi iki çox fərqli cavab ortaya qoyur.

Çevik yanaşma: istənilən vaxt dəyişə bilər, istənilən vaxt dayandıra bilər

Birinci cavab, çevik qalmaqdır: sürətlə düzəliş edə bilmək, eyni zamanda sürətlə dayandıra bilmək.

Starknet, bu gün ən aydın nümunədir. Cümə axşamı, icması müstəqil post-kvant L1-ə keçid araşdırmağı qərara aldı. Bunun səbəblərindən biri, kriptologiyanı öz ritmində yeniləmək istəyidir. StarkWare-in dediyinə görə: „Biz Ethereum-un kifayət qədər sürətlə işləməsinə etibar edə bilmərik ki, bu da bizim təhlükəsizliyimizi təmin etsin.” CEO Eli Ben-Sasson, kvant hesablama dövrünün gəlmə vaxtını „iki il” olaraq qiymətləndirir və AI-nin bu zaman çərçivəsini sürətləndirdiyini düşünür.

Ethereum tədqiqatçıları da ehtiyatlıdır. Bu ayın əvvəlində, Justin Drake, sənayeni „sığınacaq rejimi” üçün hazırlamağa çağırdı, yəni vəsaitləri tamamilə yeni, daha təhlükəsiz ünvanlara köçürmək. Bunun arxasında AI tərəfindən idarə olunan bir sıra riyazi irəliləyişlər var.

Amma çevikliyin də bir qiyməti var. Hər bir idarəçi açarı, hər bir yeniləmə yolu, həm hücum sahəsi, həm də asılılıq nöqtəsidir. Qayda dəyişdirmək özü də yeni zəifliklər yarada bilər. Buna görə də Ethereum bu həftə Glamsterdam-ı Hoodi test şəbəkəsindən çıxardı, çünki tədqiqatlar onun Gas dəyişikliklərinin artıq yerləşdirilmiş müqavilələrin davranışını dəyişə biləcəyini göstərdi.

Minimalist yanaşma: hücum sahəsini minimuma endirmək

İkinci cavab, hədəfi kiçiltməkdir.

Ethereum inkişafçısı Ross (z0r0z) cümə axşamı açıq şəkildə dedi: əsas rəqəmsal infrastruktur kodunu açıq zəncirdə köçürmək, hər kəsin nə baş verdiyini təsdiqləyə bilməsi üçün; sonra serversiz olmaq; hətta tətbiqləri də blokçeyn koduna yazmaq, onların hər dəfə eyni şəkildə işləməsini təmin etmək. Bu fikir birdən-birə o qədər də qəribə görünmür.

Bu, əlbəttə ki, bir az iddialıdır. Amma bu, əslində Ross-un „sıfır test” yanaşmasıdır: əgər qurucular sabah yox olsalar, sistem hələ də təhlükəsiz işləyə bilərmi? Kod nə qədər kiçik, daha dəqiq və daha asan təsdiqlənə bilirsə, o qədər az hücum edilə bilən yer var, etibar etməli olduğunuz obyektlər də o qədər azdır. Ross cavabında əlavə etdi: „İnkişafçılar daha sadə kod üzərində işləməyə diqqət yetirməlidirlər.”

Eyni intuisiyalar Ethereum kriptologiyasında da ortaya çıxır. Vitalik dedi ki, Ethereum-un yol xəritəsi artıq „yalnız hash” istiqamətinə yönəlib, bunun bir hissəsi hash-ın AI-nin sürətləndirə biləcəyi riyazi istifadələr üçün bir struktur olaraq dizayn edilməməsidir.

Tərs tərəf də eyni dərəcədə aydındır. Açıq, dəyişməz kodu, AI hücumçuları da oxuya bilər; bir dəfə onlayn olduqda, düzəliş etmək mümkün deyil. Buna görə də minimalizm, kodun yoxlanılması üçün kifayət qədər kiçik olduğu zaman ən yaxşı şəkildə istifadə edilməlidir.

AI sübutları, „düzəldilməz”i o qədər də qorxulu etmir

İndi formal təsdiqə gəldik. Formal təsdiq, kodun müəyyən qaydaları pozmayacağını sübut etmək üçün riyaziyyatdan istifadə etməkdir.

Tarixdə, formal təsdiq dəhşətli dərəcədə bahalı olub. seL4 əməliyyat sistemi nüvəsinin qurulması yalnız iki insan ili çəkdi, lakin təsdiq 20 insan ili aldı. Amma Anthropic və Theorem-in cümə axşamı yayımladığı yeni tədqiqat göstərir ki, bu yol getdikcə ucuzlaşır: Claude ilə 123 açıq mənbə kitabxanasındakı 239 giriş nöqtəsini təsdiqləyərək, müəyyən fərziyyələr altında, giriş nöqtələrinin hansı olursa olsun, maksimum 64MB-a qədər, çöküş olmayacağını sübut etdi. Bütün proses yalnız bir neçə həftə çəkdi.

Qiymət də var. Sübutun miqyası kodun genişlənməsi ilə artır. Yuxarıda qeyd olunan işdə, tipik bir sübut təxminən 600,000 sətir, müvafiq proqram isə təxminən 18,000 maşın əmri, bir neçə yüz milyon AI token istehlak edə bilər. Və sübut yalnız sizin müəyyən etdiyiniz xüsusiyyətləri əhatə edir, bütün zəiflikləri istisna etmir.

Amma diqqət yetirin, kim ən çox faydalanır: kiçik, tək məqsədli kod. Bu, minimalizmin zəncirə keçmək istədiyi kod növüdür. Əgər AI sübut xərclərini aşağı salmağa davam edərsə, „düzəldilməz” o qədər də əhəmiyyətli olmayacaq, çünki kod əvvəldən düzəliş etməyə ehtiyac duymur.

Təbii ki, L1 və rollup kimi sistemlərin həcmi böyükdür və hələ də inkişaf edir, çevikliyin əhəmiyyətini itirmir. Sadəcə olaraq, AI-nin yeni paradigmasında, „sıfır test” təhlükəsizlik strategiyasının əsas ölçüsü kimi görünür, sadəcə mərkəzləşdirilmiş ideal deyil. Bu tendensiyaları izləmək dəyərli olacaq.

Bu məzmun yalnız ümumi məlumat məqsədilə təqdim olunur və maliyyə, investisiya, hüquqi və ya vergi məsləhəti hesab edilməməlidir. Burada qeyd olunan hər hansı tədbir, mükafat, onlayn kampaniya və ya əlaqəli məlumat hər hansı kriptoaktivin alınması, satılması, treydinqi və ya digər əməliyyatların aparılması üçün tövsiyə, təşviq və ya dəvət kimi qiymətləndirilməməlidir. Kriptoaktivlər yüksək dəyişkənliyə malikdir və maliyyə itkisinə səbəb ola bilər. WEEX-in xidmətləri, məhsulları və əlaqəli tədbirlərinin əlçatanlığı regiondan asılı olaraq dəyişə bilər. İştirakınızın yerli qanunvericilik və tənzimləyici tələblərə uyğun olmasını təmin etmək sizin məsuliyyətinizdir.