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

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