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.
