Верификация leanVM в Ethereum завершена — в декабре 2028 года начнётся переход к постквантовой безопасности

Фонд Ethereum объявил о завершении сквозной формальной верификации leanVM. Её выдающаяся производительность знаменует начало перехода к постквантовой безопасности в декабре 2028 года. В постквантовую эпоху безопасность Ethereum выйдет на новый уровень!