Formell verifiering är en kärnkomponent i Lean Ethereum. Här är en förklaring