Віталік Бутерін окреслив AI-підсилену формальну верифікацію як ключову для ролі Ethereum у безпеці станом на 19 травня

За даними BlockBeats, співзасновник Ethereum Віталік Бутерін 19 травня розповів, як формальна верифікація, посилена ШІ, стане «найвищою формою розробки програмного забезпечення» і критичним захистом від передових загроз з боку ШІ. Віталік пояснив, що формальна верифікація перетворює коректність коду на математично перевірювані теореми, забезпечуючи безпеку ПЗ за допомогою математичного доведення, а не традиційного тестування чи аудитів.

Віталік наголосив, що цей підхід особливо підходить для наступних етапів оновлень Ethereum, зокрема квантово-стійких підписів, систем доказів STARK, консенсусу з толерантністю до візантійських відмов та ZK-EVM. Він зазначив, що за умов зростання викликів безпеці з боку ШІ Ethereum стане ключовим елементом архітектури «security core», де критичні системи посилюються формальними методами, тоді як периферійні компоненти працюють у пісочницях із мінімальними привілеями.