Expand description
Zero-knowledge proving configuration for Binius64 constraint systems.
This module provides ZKProver, which wraps the Binius64 IOP prover with a
Spartan-based zero-knowledge wrapper. The prover counterpart to
[binius_verifier::zk_config::ZKVerifier].
Structs§
- ZKProver
- Zero-knowledge prover for Binius64 constraint systems.
Enums§
- Error
- Error type for ZK proving.