Формальная верификация является ключевой частью Lean Ethereum. Вот объяснение