Další milník ve formálním ověřování. Formalizace vyčíslitelných polynomů v Lean je významným krokem k opakovaně použitelné a spolehlivé verifikaci zk. Obrovský kredit týmu Nethermind Formal Verification za to, že to posunul kupředu.