GitHub repository: nulltea/gkreco
Primary language: Rust
Description: Verifiable FHE with GKR