Une autre étape importante dans la vérification formelle. La formalisation des polynômes calculables dans Lean est un pas significatif vers une vérification zk réutilisable et fiable. Un grand merci à l'équipe de vérification formelle de Nethermind pour avoir fait avancer cela.