Náš tým pro formální ověřování začíná pracovat na @brevis_zk Pico RISC-V zkVM, navazujíc na naši práci na SP1 a OpenVM. Jsme vděční @EthereumFndn za podporu tohoto úsilí.