[−][src]Struct sigma_fun::CompactProof
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,
[src]
S::ChallengeLength: Clone,
S::Response: Clone,
pub fn clone(&self) -> CompactProof<S>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<S: Debug + Sigma> Debug for CompactProof<S> where
S::ChallengeLength: Debug,
S::Response: Debug,
[src]
S::ChallengeLength: Debug,
S::Response: Debug,
impl<'de, S: Sigma> Deserialize<'de> for CompactProof<S> where
S::Response: Deserialize<'de>,
[src]
S::Response: Deserialize<'de>,
pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
impl<S: PartialEq + Sigma> PartialEq<CompactProof<S>> for CompactProof<S> where
S::ChallengeLength: PartialEq,
S::Response: PartialEq,
[src]
S::ChallengeLength: PartialEq,
S::Response: PartialEq,
pub fn eq(&self, other: &CompactProof<S>) -> bool
[src]
pub fn ne(&self, other: &CompactProof<S>) -> bool
[src]
impl<S: Sigma> Serialize for CompactProof<S> where
S::Response: Serialize,
[src]
S::Response: Serialize,
pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl<S: Sigma> StructuralPartialEq for CompactProof<S>
[src]
Auto Trait Implementations
impl<S> RefUnwindSafe for CompactProof<S> where
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: RefUnwindSafe,
<S as Sigma>::Response: RefUnwindSafe,
[src]
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: RefUnwindSafe,
<S as Sigma>::Response: RefUnwindSafe,
impl<S> Send for CompactProof<S> where
<S as Sigma>::ChallengeLength: ArrayLength<u8>,
<S as Sigma>::Response: Send,
[src]
<S as Sigma>::ChallengeLength: ArrayLength<u8>,
<S as Sigma>::Response: Send,
impl<S> Sync for CompactProof<S> where
<S as Sigma>::ChallengeLength: ArrayLength<u8>,
<S as Sigma>::Response: Sync,
[src]
<S as Sigma>::ChallengeLength: ArrayLength<u8>,
<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,
[src]
<<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,
[src]
<<S as Sigma>::ChallengeLength as ArrayLength<u8>>::ArrayType: UnwindSafe,
<S as Sigma>::Response: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Mark for T
[src]
#[must_use]pub fn mark<M>(self) -> <M as ChangeMark<T>>::Out where
M: ChangeMark<T>,
[src]
M: ChangeMark<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,