Ethereum Foundation сообщила о сквозной формальной верификации leanVM
Ethereum Foundation 3 ноября сообщила, что leanVM прошёл сквозную формальную верификацию. По словам фонда, это ключевой инструмент для постквантовых обновлений Ethereum, но речь о проверке кода, а не о запуске изменений в сети.