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.