Nossa equipe de Verificação Formal está começando a trabalhar no @brevis_zk Pico RISC-V zkVM, ampliando nosso trabalho no SP1 e OpenVM. Somos gratos ao @EthereumFndn por apoiar esse esforço.