Vårt formelle verifiseringsteam har formalisert beregnbare multivariate polynomer i Lean. CC @leanprover Dette er et grunnlag for sterkere, maskinkontrollert resonnement i zk-bevis og protokolldesign. 🔗 1/

Nullkunnskapsbevis kommer til validatorregnskap. @LidoFinance nye zk-Oracle verifiserer endringer i validatorsaldo på Ethereum ved hjelp av SP1, noe som gir brukerne sterkere garantier for at belønninger og saldoer er riktige.