Een andere mijlpaal in formele verificatie. Het formaliseren van berekenbare polynomen in Lean is een belangrijke stap richting herbruikbare en betrouwbare zk-verificatie. Grote waardering voor het Nethermind Formal Verification-team voor het voortstuwen hiervan.