Struct PedersenProof 

pub struct PedersenProof;

Pedersen commitment opening proof implementation.

Proves knowledge of (v, r) such that C = v * G + r * H.

Trait Implementations

impl SigmaProtocol for PedersenProof

type Statement = PedersenStatement

The public statement to be proven.

type Witness = PedersenWitness

The private witness known only to the prover.

type Commitment = PointCommitment

The commitment message type.

type Challenge = ScalarChallenge

The challenge message type.

type Response = MultiScalarResponse

The response message type.

fn prover_commit( statement: &Self::Statement, _witness: &Self::Witness, ) -> (Self::Commitment, Vec<u8>)

Generate the prover’s initial commitment.

fn prover_response( _statement: &Self::Statement, witness: &Self::Witness, state: &[u8], challenge: &Self::Challenge, ) -> Result<Self::Response>

Generate the prover’s response to a challenge.

fn verifier( statement: &Self::Statement, commitment: &Self::Commitment, challenge: &Self::Challenge, response: &Self::Response, ) -> Result<()>

Verify a proof transcript.