Weryfikacja formalna jest kluczowym elementem Lean Ethereum. Oto wyjaśnienie