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