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