Struct sigma_fun::CompactProof
source · [−]pub struct CompactProof<S: Sigma> {
pub challenge: GenericArray<u8, S::ChallengeLength>,
pub response: S::Response,
}
Expand description
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
sourceimpl<S: Clone + Sigma> Clone for CompactProof<S> where
S::ChallengeLength: Clone,
S::Response: Clone,
impl<S: Clone + Sigma> Clone for CompactProof<S> where
S::ChallengeLength: Clone,
S::Response: Clone,
sourcefn clone(&self) -> CompactProof<S>
fn clone(&self) -> CompactProof<S>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<S: Debug + Sigma> Debug for CompactProof<S> where
S::ChallengeLength: Debug,
S::Response: Debug,
impl<S: Debug + Sigma> Debug for CompactProof<S> where
S::ChallengeLength: Debug,
S::Response: Debug,
sourceimpl<'de, S: Sigma> Deserialize<'de> for CompactProof<S> where
S::Response: Deserialize<'de>,
impl<'de, S: Sigma> Deserialize<'de> for CompactProof<S> where
S::Response: Deserialize<'de>,
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl<S: PartialEq + Sigma> PartialEq<CompactProof<S>> for CompactProof<S> where
S::ChallengeLength: PartialEq,
S::Response: PartialEq,
impl<S: PartialEq + Sigma> PartialEq<CompactProof<S>> for CompactProof<S> where
S::ChallengeLength: PartialEq,
S::Response: PartialEq,
sourcefn eq(&self, other: &CompactProof<S>) -> bool
fn eq(&self, other: &CompactProof<S>) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &CompactProof<S>) -> bool
fn ne(&self, other: &CompactProof<S>) -> bool
This method tests for !=
.
impl<S: Sigma> StructuralPartialEq for CompactProof<S>
Auto Trait Implementations
impl<S> RefUnwindSafe for CompactProof<S> where
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: RefUnwindSafe,
<S as Sigma>::Response: RefUnwindSafe,
impl<S> Send for CompactProof<S> where
<S as Sigma>::Response: Send,
impl<S> Sync for CompactProof<S> where
<S as Sigma>::Response: Sync,
impl<S> Unpin for CompactProof<S> where
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: Unpin,
<S as Sigma>::Response: Unpin,
impl<S> UnwindSafe for CompactProof<S> where
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: UnwindSafe,
<S as Sigma>::Response: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Mark for T
impl<T> Mark for T
sourcefn mark<M>(self) -> <M as ChangeMark<T>>::Out where
M: ChangeMark<T>,
fn mark<M>(self) -> <M as ChangeMark<T>>::Out where
M: ChangeMark<T>,
Returns a new instance of the invocant that will be marked with M
. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more