В сообщении в X фонд указал, что верификация завершилась за последние несколько дней. Формальная верификация — это математическое доказательство соответствия программы спецификации, а не набор тестов.
leanVM в фонде называют одним из ключевых инструментов для постквантовых обновлений Ethereum — перевода криптографии сети на алгоритмы, устойчивые к атакам квантовых компьютеров. Там также пишут, что оценки наступления Q-Day сдвинулись на более ранний срок. Q-Day — момент, когда квантовые компьютеры смогут угрожать нынешней криптографии. Так же сдвинулись оценки сроков достижения квантовой устойчивости на всех трёх уровнях Ethereum.
Фонд заявил, что при атаках с использованием ИИ защитники могут применять те же инструменты, что и нападающие, и сохраняют преимущество, потому что криптография на их стороне. По его словам, переход Ethereum на постквантовую криптографию сохранит это преимущество.
