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.