Enum ergotree_interpreter::sigma_protocol::prover::hint::Hint

pub enum Hint {
    SecretProven(SecretProven),
    CommitmentHint(CommitmentHint),
}

A hint for a prover which helps the prover to prove a statement. For example, if the statement is “pk1 && pk2”, and the prover knows only a secret for the public key pk1, the prover fails on proving without a hint. But if the prover knows that pk2 is known to another party, the prover may prove the statement (with an empty proof for “pk2”).

Variants

SecretProven(SecretProven)

A hint which is indicating that a secret associated with its public image “image” is already proven.

CommitmentHint(CommitmentHint)

A family of hints which are about a correspondence between a public image of a secret image and prover’s commitment to randomness (“a” in a sigma protocol).

Trait Implementations

impl Clone for Hint

fn clone(&self) -> Hint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Hint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Hint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<Hint> for Hint

fn eq(&self, other: &Hint) -> 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 Serialize for Hint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Hint