【Виталик: Ethereum будет использовать ИИ для проверки безопасности всего программного кода】
Сооснователь Ethereum Виталик публично изложил актуальные технические направления на стыке ИИ и кибербезопасности. Он отверг мнение о том, что ИИ якобы полностью уничтожит кибербезопасность, указав, что у защитной безопасности есть фундаментальное преимущество: ключ заключается в том, чтобы активно писать и проверять код, который устойчивее к атакам.
Виталик отметил, что в будущем ИИ должен стремиться проверять целиком программу — включая базу данных, сеть и кэш, а не только анализировать ключевые фрагменты. Он провел аналогию: если ИИ сможет доказать уравнения Навье—Стокса и последнюю теорему Ферма, то можно будет формализовать утверждение «программа безопасна» в виде математической теоремы, тем самым охватив сценарии атак вроде подделки, повторного воспроизведения, взлома серверов, утечки ключей и атак через побочные каналы.
Он обозначил это направление как приоритет развития Ethereum на ближайшие несколько лет. Заявление направлено на укрепление долгосрочного технического нарратива Ethereum в области безопасности смарт-контрактов, подчеркивая повышение базовой безопасности протокола за счет формальной верификации. Рынку следует обратить внимание на то, превратится ли это направление в конкретные on-chain-инструменты верификации или в прикладные решения экосистемы — это будет ключевой точкой наблюдения, позволяющей проверить эффективность исполнения технологической дорожной карты Ethereum.
Сооснователь Ethereum Виталик публично изложил актуальные технические направления на стыке ИИ и кибербезопасности. Он отверг мнение о том, что ИИ якобы полностью уничтожит кибербезопасность, указав, что у защитной безопасности есть фундаментальное преимущество: ключ заключается в том, чтобы активно писать и проверять код, который устойчивее к атакам.
Виталик отметил, что в будущем ИИ должен стремиться проверять целиком программу — включая базу данных, сеть и кэш, а не только анализировать ключевые фрагменты. Он провел аналогию: если ИИ сможет доказать уравнения Навье—Стокса и последнюю теорему Ферма, то можно будет формализовать утверждение «программа безопасна» в виде математической теоремы, тем самым охватив сценарии атак вроде подделки, повторного воспроизведения, взлома серверов, утечки ключей и атак через побочные каналы.
Он обозначил это направление как приоритет развития Ethereum на ближайшие несколько лет. Заявление направлено на укрепление долгосрочного технического нарратива Ethereum в области безопасности смарт-контрактов, подчеркивая повышение базовой безопасности протокола за счет формальной верификации. Рынку следует обратить внимание на то, превратится ли это направление в конкретные on-chain-инструменты верификации или в прикладные решения экосистемы — это будет ключевой точкой наблюдения, позволяющей проверить эффективность исполнения технологической дорожной карты Ethereum.