pub struct Verifier<SC, A>(/* private fields */);Expand description
A verifier for a collection of air chips.
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>,
global_permutation_challenges: &[SC::Challenge],
) -> 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>,
global_permutation_challenges: &[SC::Challenge],
) -> Result<(), VerificationError<SC>>where
A: for<'a> Air<VerifierConstraintFolder<'a, SC>>,
Verify a proof for a collection of air chips.
sourcepub 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 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>>,
Evaluates the constraints for a chip and opening.
sourcepub fn recompute_quotient(
opening: &ChipOpenedValues<SC::Challenge>,
qc_domains: &[Domain<SC>],
zeta: SC::Challenge,
) -> SC::Challenge
pub fn recompute_quotient( opening: &ChipOpenedValues<SC::Challenge>, qc_domains: &[Domain<SC>], zeta: SC::Challenge, ) -> SC::Challenge
Recomputes the quotient for a chip and opening.
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> 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