Ethereum проверяет консенсус-спецификации Fulu, Gloas и Heze на Lean 4
- —Etheorem реализует логику смены состояния и выбора форка для Fulu, Gloas и Heze
- —Результаты сверяются с официальными консенсус-тест-векторами Ethereum
- —Библиотека SizzLean на Lean 4 проверяет сериализацию SSZ и расчёт деревьев Меркла
- —Проект не заменяет клиенты, а расширяет охват формальных доказательств
Почему важно: Снижение риска раскола сети из-за разной трактовки спецификаций повышает надёжность Ethereum перед будущими апгрейдами.
Источник: TokenPost