GitHub repository: GaloisInc/jolt
Primary language: Rust
Description: The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡