GitHub repository: merklefruit/kona
Primary language: Rust
Description: A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.