Struct ark_marlin::ahp::verifier::VerifierFirstMsg [−][src]
pub struct VerifierFirstMsg<F> { pub alpha: F, pub eta_a: F, pub eta_b: F, pub eta_c: F, }
Expand description
First message of the verifier.
Fields
alpha: F
Query for the random polynomial.
eta_a: F
Randomizer for the lincheck for A
.
eta_b: F
Randomizer for the lincheck for B
.
eta_c: F
Randomizer for the lincheck for C
.
Trait Implementations
Auto Trait Implementations
impl<F> RefUnwindSafe for VerifierFirstMsg<F> where
F: RefUnwindSafe,
impl<F> Send for VerifierFirstMsg<F> where
F: Send,
impl<F> Sync for VerifierFirstMsg<F> where
F: Sync,
impl<F> Unpin for VerifierFirstMsg<F> where
F: Unpin,
impl<F> UnwindSafe for VerifierFirstMsg<F> where
F: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V