Struct sigma_fun::EqAll

source · [−]

pub struct EqAll<S, N> { /* private fields */ }

Expand description

Combinator for proving any number of statements of the same kind have the same witness.

Implementations

source

impl<S, N> EqAll<S, N>

source

pub fn new(sigma: S) -> Self

Create a EqAll<N,S> from a Sigma protocol S.

Trait Implementations

source

impl<S: Clone, N: Clone> Clone for EqAll<S, N>

source

fn clone(&self) -> EqAll<S, N>

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl<S: Debug, N: Debug> Debug for EqAll<S, N>

source

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

Formats the value using the given formatter. Read more

source

impl<S: Default, N: Default> Default for EqAll<S, N>

source

fn default() -> EqAll<S, N>

Returns the “default value” for a type. Read more

source

impl<S, N> Display for EqAll<S, N> where
EqAll<S, N>: Sigma,

source

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

Formats the value using the given formatter. Read more

source

impl<S: PartialEq, N: PartialEq> PartialEq<EqAll<S, N>> for EqAll<S, N>

source

fn eq(&self, other: &EqAll<S, N>) -> bool

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

source

fn ne(&self, other: &EqAll<S, N>) -> bool

This method tests for !=.

source

impl<N: Unsigned, S: Sigma> Sigma for EqAll<S, N>

type Witness = <S as Sigma>::Witness

The witness for the relation.

type Statement = Vec<<S as Sigma>::Statement, Global>

The elements of the statement the prover is proving.

type AnnounceSecret = <S as Sigma>::AnnounceSecret

The type for the secret the prover creates when generating the proof.

type Announcement = Vec<<S as Sigma>::Announcement, Global>

The type for the public announcement the prover sends in the first round of the protocol.

type Response = <S as Sigma>::Response

The type for the response the prover sends in the last round of the protocol.

type ChallengeLength = <S as Sigma>::ChallengeLength

The length as a typenum Read more

source

fn respond(
 &self,
 witness: &Self::Witness,
 statement: &Self::Statement,
 announce_secret: Self::AnnounceSecret,
 announce: &Self::Announcement,
 challenge: &GenericArray<u8, Self::ChallengeLength>
) -> Self::Response

Generates the prover’s response for the verifier’s challenge.

source

fn gen_announce_secret<Rng: CryptoRng + RngCore>(
 &self,
 witness: &Self::Witness,
 rng: &mut Rng
) -> Self::AnnounceSecret

Generates the secret data to create the announcement

source

fn announce(
    &self,
    statement: &Self::Statement,
    announce_secret: &Self::AnnounceSecret
) -> Self::Announcement

Generates the prover’s announcement message.

source

fn sample_response<Rng: CryptoRng + RngCore>(
&self,
rng: &mut Rng
) -> Self::Response

Uniformly samples a response from the response space of the Sigma protocol.

source

fn implied_announcement(
 &self,
 statements: &Self::Statement,
 challenge: &GenericArray<u8, Self::ChallengeLength>,
 response: &Self::Response
) -> Option<Self::Announcement>

Computes what the announcement must be for the response to be valid.

source

fn hash_statement<H: Update>(&self, hash: &mut H, statements: &Self::Statement)

Hashes the statement.

source

fn hash_announcement<H: Update>(
 &self,
 hash: &mut H,
 announcements: &Self::Announcement
)

Hashes the announcement.

source

fn hash_witness<H: Update>(&self, hash: &mut H, witness: &Self::Witness)

Hashes the witness.

source

impl<S: Sigma, N: Unsigned> Writable for EqAll<S, N>

source

fn write_to<W: Write>(&self, w: &mut W) -> Result

Asks the thing to write itself to W.

source

impl<S, N> StructuralPartialEq for EqAll<S, N>

Auto Trait Implementations

impl<S, N> RefUnwindSafe for EqAll<S, N> where
N: RefUnwindSafe,
S: RefUnwindSafe,

impl<S, N> Send for EqAll<S, N> where
N: Send,
S: Send,

impl<S, N> Sync for EqAll<S, N> where
N: Sync,
S: Sync,

impl<S, N> Unpin for EqAll<S, N> where
N: Unpin,
S: Unpin,

impl<S, N> UnwindSafe for EqAll<S, N> where
N: UnwindSafe,
S: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> Mark for T

source

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

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T> ToString for T where
T: Display + ?Sized,

source

default fn to_string(&self) -> String

Converts the given value to a String. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct sigma_fun::EqAll

Implementations

impl<S, N> EqAll<S, N>

pub fn new(sigma: S) -> Self

Trait Implementations

impl<S: Clone, N: Clone> Clone for EqAll<S, N>

fn clone(&self) -> EqAll<S, N>

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

impl<S: Debug, N: Debug> Debug for EqAll<S, N>

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

impl<S: Default, N: Default> Default for EqAll<S, N>

fn default() -> EqAll<S, N>

impl<S, N> Display for EqAll<S, N> where EqAll<S, N>: Sigma,

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

impl<S: PartialEq, N: PartialEq> PartialEq<EqAll<S, N>> for EqAll<S, N>

fn eq(&self, other: &EqAll<S, N>) -> bool

fn ne(&self, other: &EqAll<S, N>) -> bool

impl<N: Unsigned, S: Sigma> Sigma for EqAll<S, N>

type Witness = <S as Sigma>::Witness

type Statement = Vec<<S as Sigma>::Statement, Global>

type AnnounceSecret = <S as Sigma>::AnnounceSecret

type Announcement = Vec<<S as Sigma>::Announcement, Global>

type Response = <S as Sigma>::Response

type ChallengeLength = <S as Sigma>::ChallengeLength

fn respond( &self, witness: &Self::Witness, statement: &Self::Statement, announce_secret: Self::AnnounceSecret, announce: &Self::Announcement, challenge: &GenericArray<u8, Self::ChallengeLength>) -> Self::Response

fn gen_announce_secret<Rng: CryptoRng + RngCore>( &self, witness: &Self::Witness, rng: &mut Rng) -> Self::AnnounceSecret

fn announce( &self, statement: &Self::Statement, announce_secret: &Self::AnnounceSecret) -> Self::Announcement

fn sample_response<Rng: CryptoRng + RngCore>( &self, rng: &mut Rng) -> Self::Response

fn implied_announcement( &self, statements: &Self::Statement, challenge: &GenericArray<u8, Self::ChallengeLength>, response: &Self::Response) -> Option<Self::Announcement>

fn hash_statement<H: Update>(&self, hash: &mut H, statements: &Self::Statement)

fn hash_announcement<H: Update>( &self, hash: &mut H, announcements: &Self::Announcement)

fn hash_witness<H: Update>(&self, hash: &mut H, witness: &Self::Witness)

impl<S: Sigma, N: Unsigned> Writable for EqAll<S, N>

fn write_to<W: Write>(&self, w: &mut W) -> Result

impl<S, N> StructuralPartialEq for EqAll<S, N>

Auto Trait Implementations

impl<S, N> RefUnwindSafe for EqAll<S, N> where N: RefUnwindSafe, S: RefUnwindSafe,

impl<S, N> Send for EqAll<S, N> where N: Send, S: Send,

impl<S, N> Sync for EqAll<S, N> where N: Sync, S: Sync,

impl<S, N> Unpin for EqAll<S, N> where N: Unpin, S: Unpin,

impl<S, N> UnwindSafe for EqAll<S, N> where N: UnwindSafe, S: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Mark for T

fn mark<M>(self) -> <M as ChangeMark<T>>::Out where M: ChangeMark<T>,

impl<T> Same<T> for T

type Output = T

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T> ToString for T where T: Display + ?Sized,

default fn to_string(&self) -> String

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<S, N> Display for EqAll<S, N> where
EqAll<S, N>: Sigma,

fn respond(
&self,
witness: &Self::Witness,
statement: &Self::Statement,
announce_secret: Self::AnnounceSecret,
announce: &Self::Announcement,
challenge: &GenericArray<u8, Self::ChallengeLength>
) -> Self::Response

fn gen_announce_secret<Rng: CryptoRng + RngCore>(
&self,
witness: &Self::Witness,
rng: &mut Rng
) -> Self::AnnounceSecret

fn announce(
&self,
statement: &Self::Statement,
announce_secret: &Self::AnnounceSecret
) -> Self::Announcement

fn sample_response<Rng: CryptoRng + RngCore>(
&self,
rng: &mut Rng
) -> Self::Response

fn implied_announcement(
&self,
statements: &Self::Statement,
challenge: &GenericArray<u8, Self::ChallengeLength>,
response: &Self::Response
) -> Option<Self::Announcement>

fn hash_announcement<H: Update>(
&self,
hash: &mut H,
announcements: &Self::Announcement
)

impl<S, N> RefUnwindSafe for EqAll<S, N> where
N: RefUnwindSafe,
S: RefUnwindSafe,

impl<S, N> Send for EqAll<S, N> where
N: Send,
S: Send,

impl<S, N> Sync for EqAll<S, N> where
N: Sync,
S: Sync,

impl<S, N> Unpin for EqAll<S, N> where
N: Unpin,
S: Unpin,

impl<S, N> UnwindSafe for EqAll<S, N> where
N: UnwindSafe,
S: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

fn mark<M>(self) -> <M as ChangeMark<T>>::Out where
M: ChangeMark<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T> ToString for T where
T: Display + ?Sized,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,