GitHub repository: 10to4/ceno
Primary language: Rust
Description: Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol