Vitalik: Süni intellekt tərəfindən dəstəklənən formal təsdiqləmə həm kodun səmərəliliyini, həm də təhlükəsizliyini artırmağa ümid verir

Foresight News xəbər verir ki, Vitalik Buterin blokçeyn təhlükəsizliyi sahəsində formal doğrulamanın tətbiq perspektivlərini müzakirə edən bir məqalə dərc edib. Məqalədə qeyd edilir ki, Ethereum-un qabaqcıl araşdırmalarında yeni bir paradigma ortaya çıxır: kodlar birbaşa EVM bayt kodu, montaj və ya Lean ilə yazılır və Lean-da avtomatik şəkildə yoxlana bilən riyazi sübutlarla onların düzgünlüyü təsdiqlənir. Tədqiqatçı Yoichi Hirai bu paradigmaya "yazılım inkişafının son forması" adını verir. Vitalik hesab edir ki, AI dəstəkli formal doğrulama kodun səmərəliliyini və təhlükəsizliyi eyni zamanda artırmaq potensialına malikdir, xüsusilə STARK, ZK-EVM, kvant müqavimətli imzalar və konsensus alqoritmləri kimi təhlükəsizlik əsas modulları üçün uyğundur. Məqalədə həmçinin vurğulanır ki, formal doğrulama hərşeyə qadir deyil; sübutun əhatə dairəsinin tam olmaması, spesifikasiya səhvləri və ya hardware yan kanalları kimi problemlər səbəbindən nəticəsiz qala bilər. Gələcəkdə proqram təminatı "təhlükəsizlik əsasları" və "təhlükəsiz olmayan kənar hissələrə" bölünə bilər və Ethereum ən mühüm təhlükəsizlik əsaslarından biri olacaq.