Melu alhaalla. Signaali ylös. 🔥 AuditAgent on vähentänyt vääriä positiivisia tuloksia 2-kertaisena kesäkuusta lähtien - pitäen samalla kaikki todelliset positiiviset ennallaan (ja jopa hieman parantuneina).

Muodollinen verifiointitiimimme on formalisoinut laskettavat monimuuttujapolynomit Leanissa. cc @leanprover Tämä on perusta vahvemmalle, konetarkistetulle päättelylle zk-todistuksissa ja protokollasuunnittelussa. 🔗 1/

Nollatietotodistukset ovat tulossa validaattorikirjanpitoon. @LidoFinance:n uusi zk-Oracle tarkistaa validaattorin saldomuutokset Ethereumissa SP1:n avulla, mikä antaa käyttäjille vahvemmat takeet siitä, että palkkiot ja saldot ovat oikein.