Støy ned. Signal opp. 🔥 AuditAgent har kuttet falske positiver med 2 ganger siden juni - samtidig som alle sanne positiver er intakte (og til og med litt forbedret).

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.