Struct sigma_fun::secp256k1::DL

pub struct DL<L> { /* private fields */ }

Available on crate feature secp256k1 only.

Proves knowledge of x such that A = x * B for some A and B included in the statement.

Trait Implementations

impl<L: Clone> Clone for DL<L>

fn clone(&self) -> DL<L>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: Debug> Debug for DL<L>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<L: Default> Default for DL<L>

fn default() -> DL<L>

Returns the “default value” for a type.

impl<L> Display for DL<L>

where DL<L>: Sigma,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<L: PartialEq> PartialEq for DL<L>

fn eq(&self, other: &DL<L>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<L> Sigma for DL<L>

where L: IsLessOrEqual<U32> + ArrayLength<u8>, <L as IsLessOrEqual<U32>>::Output: NonZero,

type Witness = Scalar

The witness for the relation.

type Statement = (Point, Point)

The elements of the statement the prover is proving.

type AnnounceSecret = Scalar

The type for the secret the prover creates when generating the proof.

type Announcement = Point

The type for the public announcement the prover sends in the first round of the protocol.

type Response = Scalar<Public, Zero>

The type for the response the prover sends in the last round of the protocol.

type ChallengeLength = L

The length as a typenum

fn respond( &self, witness: &Self::Witness, _statement: &Self::Statement, announce_secret: Self::AnnounceSecret, _announce: &Self::Announcement, challenge: &GenericArray<u8, Self::ChallengeLength> ) -> Self::Response

Generates the prover’s response for the verifier’s challenge.

fn announce( &self, statement: &Self::Statement, announce_secret: &Self::AnnounceSecret ) -> Self::Announcement

Generates the prover’s announcement message.

fn sample_response<Rng: CryptoRng + RngCore>( &self, rng: &mut Rng ) -> Self::Response

Uniformly samples a response from the response space of the Sigma protocol.

fn implied_announcement( &self, statement: &Self::Statement, challenge: &GenericArray<u8, Self::ChallengeLength>, response: &Self::Response ) -> Option<Self::Announcement>

Computes what the announcement must be for the response to be valid.

fn hash_statement<H: Update>(&self, hash: &mut H, statement: &Self::Statement)

Hashes the statement.

fn hash_announcement<H: Update>( &self, hash: &mut H, announcement: &Self::Announcement )

Hashes the announcement.

fn hash_witness<H: Update>(&self, hash: &mut H, witness: &Self::Witness)

Hashes the witness.

fn gen_announce_secret<Rng: CryptoRng + RngCore>( &self, _witness: &Self::Witness, rng: &mut Rng ) -> Self::AnnounceSecret

Generates the secret data to create the announcement

impl<L> Writable for DL<L>

fn write_to<W: Write>(&self, w: &mut W) -> Result

Asks the thing to write itself to W.

impl<L> StructuralPartialEq for DL<L>