pub struct PublicParameters { /* private fields */ }Expand description
The public parameters for the Dory protocol. See section 5 of https://eprint.iacr.org/2020/1274.pdf for details.
Note: even though H_1 and H_2 are marked as blue, they are still needed.
Note: Gamma_1_fin is unused, so we leave it out.
Trait Implementations§
source§impl<'a> From<&'a PublicParameters> for ProverSetup<'a>
impl<'a> From<&'a PublicParameters> for ProverSetup<'a>
source§fn from(value: &'a PublicParameters) -> Self
fn from(value: &'a PublicParameters) -> Self
Converts to this type from the input type.
source§impl From<&PublicParameters> for VerifierSetup
impl From<&PublicParameters> for VerifierSetup
source§fn from(value: &PublicParameters) -> Self
fn from(value: &PublicParameters) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for PublicParameters
impl RefUnwindSafe for PublicParameters
impl Send for PublicParameters
impl Sync for PublicParameters
impl Unpin for PublicParameters
impl UnwindSafe for PublicParameters
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more