Struct SchnorrProof 

pub struct SchnorrProof;

Schnorr proof implementation.

Proves knowledge of discrete logarithm x such that X = x * G.

Trait Implementations

impl SigmaProtocol for SchnorrProof

type Statement = SchnorrStatement

The public statement to be proven.

type Witness = SchnorrWitness

The private witness known only to the prover.

type Commitment = PointCommitment

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.