Unser Team für formale Verifikation hat berechenbare multivariate Polynome in Lean formalisiert. cc @leanprover Dies ist eine Grundlage für stärkere, maschinengeprüfte Argumentation in zk-Beweisen und Protokolldesign. 🔗 1/

Zero-Knowledge-Beweise kommen zur Validiererbuchhaltung. Der neue zk-Oracle von @LidoFinance überprüft die Änderungen des Validierer-Saldos auf Ethereum mithilfe von SP1 und bietet den Nutzern stärkere Garantien, dass Belohnungen und Salden korrekt sind.