feat: add Groth16+BSB22 backend#427

Open

rose2221 wants to merge 18 commits into

mainfrom

rs/groth16_impl

Commits on May 8, 2026

Implement Groth16+BSB22 Prover, Verifier, and Setup with Core Types
rose2221
committed
feat: update prover and verifier to support Groth16 proof scheme
rose2221
committed
feat: add BSB22 commitment support to Groth16 prover and setup
rose2221
committed
Enhance Groth16 setup and verification process with multi-challenge support
rose2221
committed
fixes
rose2221
committed
refactor: remove unused dependencies and functions from Cargo.toml and setup.rs
rose2221
committed
cargo fmt
rose2221
committed
perf(groth16): cut prove peak memory ~48% and time ~25%

Bisht13
authored and
rose2221
committed
style: clean up formatting and improve readability in multiple files
rose2221
committed
style: format mathematical expressions in comments for consistency
rose2221
committed
refactor: improve error handling and documentation across prover and setup modules
rose2221
committed
fix: update expected output values and reduce NUM_SHA_CALLS for consistency
rose2221
committed
chore: remove unused dependencies from Cargo.lock and Cargo.toml
rose2221
committed
fix: correct PROVER_VERSION to match the intended versioning scheme
rose2221
committed
feat: enhance CSP benchmarks to support multiple backends and improve output structure
rose2221
committed
feat: add zeroize support for secure memory handling and enhance benchmark helpers
rose2221
committed
docs: improve documentation for CommitmentInfo and VerifyingKey structs; clarify wire index conventions and Krs validation
rose2221
committed

Commits on May 12, 2026

Refactor Groth16 proving key handling to support mmap-backed I/O
rose2221
committed