pub struct Verifier<SC, A>(/* private fields */);Implementations§
source§impl<SC: StarkGenericConfig, A: MachineAir<Val<SC>>> Verifier<SC, A>
impl<SC: StarkGenericConfig, A: MachineAir<Val<SC>>> Verifier<SC, A>
sourcepub fn verify_shard(
config: &SC,
vk: &StarkVerifyingKey<SC>,
chips: &[&MachineChip<SC, A>],
challenger: &mut SC::Challenger,
proof: &ShardProof<SC>,
) -> Result<(), VerificationError<SC>>where
A: for<'a> Air<VerifierConstraintFolder<'a, SC>>,
pub fn verify_shard(
config: &SC,
vk: &StarkVerifyingKey<SC>,
chips: &[&MachineChip<SC, A>],
challenger: &mut SC::Challenger,
proof: &ShardProof<SC>,
) -> Result<(), VerificationError<SC>>where
A: for<'a> Air<VerifierConstraintFolder<'a, SC>>,
Verify a proof for a collection of air chips.
pub fn eval_constraints(
chip: &MachineChip<SC, A>,
opening: &ChipOpenedValues<SC::Challenge>,
selectors: &LagrangeSelectors<SC::Challenge>,
alpha: SC::Challenge,
permutation_challenges: &[SC::Challenge],
public_values: &[Val<SC>],
) -> SC::Challengewhere
A: for<'a> Air<VerifierConstraintFolder<'a, SC>>,
pub fn recompute_quotient( opening: &ChipOpenedValues<SC::Challenge>, qc_domains: &[Domain<SC>], zeta: SC::Challenge, ) -> SC::Challenge
Auto Trait Implementations§
impl<SC, A> Freeze for Verifier<SC, A>
impl<SC, A> RefUnwindSafe for Verifier<SC, A>where
SC: RefUnwindSafe,
A: RefUnwindSafe,
impl<SC, A> Send for Verifier<SC, A>
impl<SC, A> Sync for Verifier<SC, A>
impl<SC, A> Unpin for Verifier<SC, A>
impl<SC, A> UnwindSafe for Verifier<SC, A>where
SC: UnwindSafe,
A: UnwindSafe,
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> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
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