Nuestro equipo de Verificación Formal está comenzando a trabajar en el @brevis_zk Pico RISC-V zkVM, basándose en nuestro trabajo en SP1 y OpenVM. Estamos agradecidos al @EthereumFndn por apoyar este esfuerzo.