Module reciprocal 

Definition and implementation of the reciprocal range-proof protocol based on arithmetic circuits protocol.

Structs

Proof

Represents reciprocal range-proof: zk-proof that committed value lies in [0..dim_np^dim_nd) range.

ReciprocalRangeProofProtocol

Represents public reciprocal range proof protocol information. Using this information and challenge both prover and verifier can derive the arithmetic circuit.

SerializableProof

Represent serializable version of reciprocal proof (uses AffinePoint instead of ProjectivePoint and serialized version of circuit proof).

Witness

Represents reciprocal range-proof protocol witness.