Формальна верифікація є основною частиною Lean Ethereum. Ось пояснення