Vårt team för formell verifiering påbörjar arbetet med @brevis_zk Pico RISC-V zkVM, med utgångspunkt i vårt arbete med SP1 och OpenVM. Vi är tacksamma mot @EthereumFndn för att de stödjer detta arbete.