AI İlk Dəfə Zcash-də 4 İllik Kritik Təhlükəni Aşkar Etdi!

Zcash-də dörd illik proqram səhvi süni intellekt tərəfindən aşkarlandı

Kripto dünyasında nadir hallarda belə təhlükəli proqram səhvləri uzun müddət gizli qala bilir. Zcash şəbəkəsində dörd ildir mövcud olan və sonsuz sayda token buraxmağa imkan verə biləcək ciddi proqram səhvi süni intellekt (AI) vasitəsilə tapıldı. Bu kəşf kripto bazarında böyük sarsıntı yaratdı və Zcash tokeninin dəyəri 38% azaldı.

Shielded Labs və AI-nin rolu

Bu kritik səhvi Shielded Labs adlı qeyri-kommersiya təşkilatı AI modeli vasitəsilə aşkar etdi. Onlar Anthropic-in yeni Opus 4.8 modeli ilə kodu dərindən analiz edərək insan gözü ilə görünməyən zəiflikləri üzə çıxardılar. Bu, AI-nin kripto və ənənəvi bank proqramlarında oxşar təhlükələri aşkar etməkdə nə qədər effektiv olduğunu göstərir.

Ekspertlərin fikirləri və formal təsdiqin əhəmiyyəti

Dragonfly sərmayə şirkətinin idarəedici tərəfdaşı Haseeb Qureshi AI-nin proqram təminatını yaxşılaşdıracağına inanır. SingularityNET-in CEO-su Ben Goertzel isə belə səhvlərin yalnız kriptoda deyil, bank proqramlarında da ola biləcəyini vurğulayır. Ethereum-un yaradıcısı Vitalik Buterin formal təsdiqi riyazi sübutlarla proqram səhvsizliyini təmin edən əsas müdafiə üsulu kimi izah edir. Zcash komandası da proqram təminatını formal təsdiqə keçirməyi planlaşdırır.

Rust proqramlaşdırma dili formal təsdiq üçün əlverişli olsa da, "unsafe" konstruktların mövcudluğu çətinliklər yaradır. Təhlükəsizlik şirkəti CertiK-in CEO-su Ronghui Gu AI ilə təhlükəsizlik mübarizəsinin qeyri-bərabər olduğunu bildirir. Hakerlər AI tokenlərini sərf edərək hədəflərə hücum edir, təhlükəsizlik şirkətləri isə məhdud resurslarla çoxsaylı müştəriləri qorumağa çalışır.

Formal təsdiq – gələcəyin təhlükəsizlik açarı

ZODL şirkətinin rəhbəri Josh Swihart formal təsdiqi ən yaxşı həll kimi qiymətləndirir. O deyir: “AI bu səhvi tapdı, amma formal təsdiq bütün oxşar problemlərin həllini gətirəcək.” Bu yanaşma kripto dünyasında proqram səhvlərinin təkrarlanmaması üçün ən etibarlı yol kimi qəbul edilir.

İnsanlara təsiri və gələcək perspektivlər

Zcash tokeninin dəyərinin 38% azalması investorlar arasında narahatlıq yaratdı. Bu hadisə süni intellektin təhlükəsizlik sahəsindəki potensialını göstərməklə yanaşı, proqram təminatının riyazi sübutlarla təsdiqlənməsinin zəruriliyini də önə çıxardı. Kripto və bank sektorunda AI-nin rolu artdıqca, formal təsdiq kimi metodların tətbiqi daha da vacib olacaq.

Bu kəşf həm texnoloji, həm də sosial baxımdan təhlükəsizlik standartlarının yüksəldilməsinə təkan verir. İnsanlar daha güvənli və şəffaf sistemlərə ehtiyac duyur, AI isə bu ehtiyacı qarşılamaq üçün yeni imkanlar açır.