Expand description
Definition and implementation of the Bulletproofs++ arithmetic circuit protocol.
Structs§
- Arithmetic
Circuit - Represents arithmetic circuit. P - partition function.
- Proof
- Represents arithmetic circuit zero-knowledge proof.
- Serializable
Proof - Represent serializable version of arithmetic circuit proof (uses AffinePoint instead of ProjectivePoint).
- Witness
- Represents arithmetic circuit witness.