Ruído reduzido. Sinal aumentado. 🔥 A AuditAgent reduziu os falsos positivos em 2x desde junho - mantendo todos os verdadeiros positivos intactos (e até melhorando ligeiramente).

A nossa equipa de Verificação Formal formalizou polinómios multivariados computáveis em Lean. cc @leanprover Esta é uma base para um raciocínio mais robusto, verificado por máquina, em provas zk e design de protocolos. 🔗 1/

As provas de conhecimento zero estão a chegar à contabilidade dos validadores. O novo zk-Oracle da @LidoFinance verifica as alterações de saldo dos validadores na Ethereum usando SP1, proporcionando aos utilizadores garantias mais fortes de que as recompensas e os saldos estão corretos.