Шум вниз. Сигнал вверх. 🔥 AuditAgent сократил количество ложных срабатываний в 2 раза с июня - при этом сохранив все истинные срабатывания нетронутыми (и даже немного улучшив их).

Наша команда формальной верификации формализовала вычисляемые многомерные многочлены в Lean. cc @leanprover Это основа для более надежного, проверяемого машиной рассуждения в zk-доказательствах и проектировании протоколов. 🔗 1/

Доказательства с нулевым разглашением приходят в учет валидаторов. Новый zk-Oracle от @LidoFinance проверяет изменения баланса валидаторов в Ethereum с использованием SP1, предоставляя пользователям более надежные гарантии того, что вознаграждения и балансы корректны.