Un altro traguardo nella verifica formale. Formalizzare i polinomi calcolabili in Lean è un passo significativo verso una verifica zk riutilizzabile e affidabile. Un grande merito al team di Verifica Formale di Nethermind per aver portato avanti questo progetto.