Notre équipe de Vérification Formelle commence à travailler sur le @brevis_zk Pico RISC-V zkVM, en s'appuyant sur notre travail sur SP1 et OpenVM. Nous sommes reconnaissants envers le @EthereumFndn pour son soutien à cet effort.