$ETH — Ethereum завершил формальную проверку leanVM
...
Исследовательская ветка Ethereum, посвящённая leanVM, завершила сквозную формальную верификацию. Это шаг к квантовой безопасности: полный переход на постквантовую защиту намечен на декабрь 2028 года.
Формальная верификация — математическое доказательство того, что код делает ровно то, что задумано. Для сети, которая держит десятки миллиардов долларов, это важнее громких анонсов.
До этого, напоминаем, в обновлении Glamsterdam нашли и исправили уязвимость.
Подписывайтесь на канал — каждый день собираем главное по токенам и проектам. Не инвестсовет.
#ETH #BTC #PEARL
...
Исследовательская ветка Ethereum, посвящённая leanVM, завершила сквозную формальную верификацию. Это шаг к квантовой безопасности: полный переход на постквантовую защиту намечен на декабрь 2028 года.
Формальная верификация — математическое доказательство того, что код делает ровно то, что задумано. Для сети, которая держит десятки миллиардов долларов, это важнее громких анонсов.
До этого, напоминаем, в обновлении Glamsterdam нашли и исправили уязвимость.
Подписывайтесь на канал — каждый день собираем главное по токенам и проектам. Не инвестсовет.
#ETH #BTC #PEARL