Formell verifisering er en kjernekomponent i Lean Ethereum. Her er en forklaring