Struct DLEQProof 

pub struct DLEQProof;

DLEQ proof implementation.

Proves that log_g(x) = log_h(y) without revealing the common logarithm.

Trait Implementations

impl SigmaProtocol for DLEQProof

type Statement = DLEQStatement

The public statement to be proven.

type Witness = DLEQWitness

The private witness known only to the prover.

type Commitment = MultiPointCommitment

The commitment message type.

type Challenge = ScalarChallenge

The challenge message type.

type Response = ScalarResponse

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.