Ethereum qurucusu Vitalik Buterin, süni intellekt dəstəkli ‘formal doğrulama’nın kripto təhlükəsizliyi üçün ən vacib alətlərdən biri ola biləcəyini bildirdi. Bu texnologiya kripto şəbəkələrində zəiflikləri aşkar etməyə kömək edə bilər.
AI və kripto təhlükəsizliyi
Buterin yeni bloq yazısında AI-nin kibertəhlükəsizlikdə rolunu vurğulayıb. Formal doğrulama sistemlərin riyazi olaraq düzgün işlədiyini təsdiqləyir.
Mənbə: coindesk.com
