A nossa equipa de Verificação Formal está a começar a trabalhar no @brevis_zk Pico RISC-V zkVM, baseando-se no nosso trabalho no SP1 e no OpenVM. Estamos gratos ao @EthereumFndn por apoiar este esforço.

A nossa equipa de Verificação Formal, liderada por @PetarMax, com o apoio de @EthereumFndn, verificou em Lean a correção da extensão OpenVM RISC-V construída por @axiom_xyz. Este trabalho prova a correção a nível de instrução e, pela primeira vez, a consistência de execução e memória. 🧵

AuditAgent v2.1.0 está ativo. Esta versão melhora a flexibilidade do CI, aperfeiçoa o comportamento de validação e refina a experiência do utilizador da plataforma para a preparação diária de auditorias. Melhorias constantes, focadas em fluxos de trabalho do mundo real.