Hałas w dół. Sygnał w górę. 🔥
AuditAgent zmniejszył fałszywe pozytywy o 2x od czerwca - przy zachowaniu wszystkich prawdziwych pozytywów (a nawet ich lekkiej poprawie).
Nasz zespół ds. weryfikacji formalnej sformalizował obliczalne wielomiany wielowymiarowe w Lean. cc @leanprover
To jest fundament dla silniejszego, maszynowo sprawdzanego rozumowania w dowodach zk i projektowaniu protokołów.
🔗
1/
Dowody zerowej wiedzy wkrótce pojawią się w księgowości walidatorów.
Nowy zk-Oracle @LidoFinance weryfikuje zmiany sald walidatorów na Ethereum przy użyciu SP1, dając użytkownikom silniejsze gwarancje, że nagrody i salda są poprawne.