Наша команда з формальної верифікації розпочинає роботу над @brevis_zk Pico RISC-V zkVM, спираючись на нашу роботу над SP1 та OpenVM. Ми вдячні @EthereumFndn за підтримку цієї ініціативи.