Vårt formelle verifikasjonsteam begynner arbeidet med @brevis_zk Pico RISC-V zkVM, og bygger videre på vårt arbeid med SP1 og OpenVM. Vi er takknemlige for at @EthereumFndn støtter dette arbeidet.