18.05.2026 14:32
Виталик Бутерин выразил мнение, что AI-технологии и «математическая верификация кода» способны кардинально изменить будущее кибербезопасности и разраб…
Виталик Бутерин выразил мнение, что AI-технологии и «математическая верификация кода» способны кардинально изменить будущее кибербезопасности и разработки программного обеспечения.
• По его мнению, мощные AI-модели вскоре смогут массово выявлять уязвимости в коде, что приведет к резкому увеличению числа ошибок и взломов.
• В качестве решения он предлагает переход к «математически доказуемому» коду – подходу, при котором безопасность и корректность программы подтверждаются автоматически проверяемыми математическими доказательствами.
• AI-технологии не должны просто создавать больше кода; их следует использовать для автоматического написания и проверки доказательств безопасности.
• Это станет особенно важным для Ethereum, ZK-систем, STARKs, постквантовой криптографии и других критически важных инфраструктур.
• По его мнению, мощные AI-модели вскоре смогут массово выявлять уязвимости в коде, что приведет к резкому увеличению числа ошибок и взломов.
• В качестве решения он предлагает переход к «математически доказуемому» коду – подходу, при котором безопасность и корректность программы подтверждаются автоматически проверяемыми математическими доказательствами.
• AI-технологии не должны просто создавать больше кода; их следует использовать для автоматического написания и проверки доказательств безопасности.
• Это станет особенно важным для Ethereum, ZK-систем, STARKs, постквантовой криптографии и других критически важных инфраструктур.