【Новости рынка】DeepMind доказала безопасность кода Signal за четыре недели
Google DeepMind представила AlphaProof Code — ИИ-агента, который доказывает, что код реализации протокола шифрования Signal соответствует требованиям безопасности. Впервые формальная верификация была проведена для скомпилированного кода. Проверка заняла всего четыре недели: агент написал 6 миллионов строк доказательств на Lean, а людям осталось проверить лишь 1%. Формальная проверка криптографического протокола дошла до уровня кода. Последуют ли этому примеру проекты Web3?
$BTC $ETH $BNB
#币安广场 #Signal #Кибербезопасность
（Источник: ABMedia）
⚠️Предупреждение о рисках: выше представлена информация о рынке, а не инвестиционная рекомендация. Инвестиции сопряжены с риском, поэтому будьте осторожны.
Google DeepMind представила AlphaProof Code — ИИ-агента, который доказывает, что код реализации протокола шифрования Signal соответствует требованиям безопасности. Впервые формальная верификация была проведена для скомпилированного кода. Проверка заняла всего четыре недели: агент написал 6 миллионов строк доказательств на Lean, а людям осталось проверить лишь 1%. Формальная проверка криптографического протокола дошла до уровня кода. Последуют ли этому примеру проекты Web3?
$BTC $ETH $BNB
#币安广场 #Signal #Кибербезопасность
（Источник: ABMedia）
⚠️Предупреждение о рисках: выше представлена информация о рынке, а не инвестиционная рекомендация. Инвестиции сопряжены с риском, поэтому будьте осторожны.
