Виталик: Кибербезопасность естественно склоняется к защите, владение криптовалютой означает ставку на это

Основатель Ethereum Виталик Бутерин заявил, что не согласен с распространенным мнением, что "хакеры ИИ означают, что кибербезопасность обречена на провал". Он считает, что как только люди прояснят свои мысли, кибербезопасность естественным образом склоняется в сторону защиты, и любой, кто продолжает держать криптовалюту (включая его самого, у которого около 90% чистых активов), подразумевает ставку на это.

Виталик отметил: если ИИ сможет доказать уравнение Навье-Стокса и теорему Ферма, он сможет доказать "эта программа безопасна" как математическую теорему, даже если программа очень сложная. Он привел в качестве примера приложение для шифрованной связи Signal, чтобы показать, что определение "безопасности" крайне сложно и охватывает подделку сообщений, активные вмешательства, взлом серверов, утечку ключей, побочные каналы аппаратного обеспечения и т.д. Определение меньше и более накапливаемо, чем реализуемая поверхность атаки, и проверка того, достаточно ли определение, более осуществима, чем прямое сканирование кода.

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