Ethereum Foundation сообщил о завершении формальной верификации leanVM

Ethereum Foundation сообщил, что в последние несколько дней завершилась верификация leanVM. В сообщении в соцсети X фонд пояснил, что формальная верификация — это математическое доказательство соответствия программы спецификации, а не набор тестов.

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

Отдельно фонд заявил, что при атаках с использованием ИИ защитники могут применять те же инструменты, что и нападающие, и сохраняют преимущество, поскольку криптография остаётся на их стороне. По его словам, переход Ethereum на постквантовую криптографию сохранит это преимущество.