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