Struct sigma_fun::CompactProof

pub struct CompactProof<S: Sigma> {
    pub challenge: GenericArray<u8, S::ChallengeLength>,
    pub response: S::Response,
}

A proof produced by FiatShamir.

It is called “compact” becasue it includes the challenge instead of all the announcements. It is advantageous to include the announcements instead if you are implementing batch verification for the underlying group’s Sigma protocol but this isn’t implemented yet.

Fields

challenge: GenericArray<u8, S::ChallengeLength>

C

response: S::Response

R

Trait Implementations

impl<S: Clone + Sigma> Clone for CompactProof<S>where
    S::ChallengeLength: Clone,
    S::Response: Clone,

fn clone(&self) -> CompactProof<S>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<S: Debug + Sigma> Debug for CompactProof<S>where
    S::ChallengeLength: Debug,
    S::Response: Debug,

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

Formats the value using the given formatter.

impl<'de, S: Sigma> Deserialize<'de> for CompactProof<S>where
    S::Response: Deserialize<'de>,

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

Deserialize this value from the given Serde deserializer.

impl<S: PartialEq + Sigma> PartialEq<CompactProof<S>> for CompactProof<S>where
    S::ChallengeLength: PartialEq,
    S::Response: PartialEq,

fn eq(&self, other: &CompactProof<S>) -> 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<S: Sigma> Serialize for CompactProof<S>where
    S::Response: Serialize,

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

Serialize this value into the given Serde serializer.

impl<S: Sigma> StructuralPartialEq for CompactProof<S>