Unser Team für formale Verifikation beginnt mit der Arbeit an dem @brevis_zk Pico RISC-V zkVM, basierend auf unserer Arbeit an SP1 und OpenVM. Wir sind dankbar für die Unterstützung dieser Initiative durch die @EthereumFndn.