ノイズを下げます。信号を上げます。🔥 AuditAgentは、6月以降、誤検知を2倍に削減し、すべての真陽性をそのまま維持しました(さらにわずかに改善されました)。

私たちの形式的検証チームは、Leanで計算可能な多変量多項式を形式化しました。CC@leanprover これは、zk 証明とプロトコル設計におけるより強力なマシン チェックされた推論の基盤となります。 🔗 1/

ゼロ知識証明がバリデーターアカウンティングに登場します。 @LidoFinance の新しい zk-Oracle は、SP1 を使用してイーサリアム上のバリデーター残高の変更を検証し、報酬と残高が正しいというより強力な保証をユーザーに提供します。