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

Основатель платформы Ethereum Виталик Бутерин выступил с заявлением о перспективах применения технологий искусственного интеллекта и математической верификации кода в области кибербезопасности. По его мнению, развитие AI-моделей способно кардинально изменить подходы к обнаружению уязвимостей в программном обеспечении, что, в свою очередь, может привести к росту числа выявленных багов и инцидентов безопасности. Однако Бутерин подчеркнул, что ключевым решением проблемы является переход к так называемому «математически доказуемому» коду. Этот подход предполагает автоматическую проверку безопасности и корректности программ с помощью математических доказательств, что существенно снижает риск ошибок и уязвимостей.

Эксперт отметил, что AI-технологии должны использоваться не только для генерации кода, но и для автоматического создания и проверки доказательств его безопасности. Особое внимание он уделил критически важным инфраструктурам, таким как Ethereum, ZK-системы, STARKs и постквантовая криптография. По мнению Бутерина, именно в этих сферах внедрение новых методов верификации может оказать наибольшее влияние на общий уровень безопасности цифровых систем.

Ранее основатель Ethereum выступал на Web3 Festival, где также делился своими взглядами на будущее технологий и их применение в различных отраслях.

Внимание: обмен криптовалют через проверенный обменник.