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, 

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

Returns a copy of the value.

pub 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, 

pub 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>, 

pub 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, 

pub fn eq(&self, other: &CompactProof<S>) -> bool

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

pub fn ne(&self, other: &CompactProof<S>) -> bool

This method tests for !=.

impl<S: Sigma> Serialize for CompactProof<S> where
    S::Response: Serialize, 

pub 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>