GitHub repository: tezos/riscv-pvm
Primary language: Rust
Description: Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups