Geräusch reduzieren. Signal erhöhen. 🔥 AuditAgent hat die falschen Positiven seit Juni um das 2-fache reduziert - während alle echten Positiven intakt geblieben sind (und sogar leicht verbessert wurden).

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.