pub struct MultiTraceStarkVerifier<'c, SC: StarkGenericConfig> { /* private fields */ }Expand description
Verifies a partitioned proof of multi-matrix AIRs.
Implementations§
Source§impl<'c, SC: StarkGenericConfig> MultiTraceStarkVerifier<'c, SC>
impl<'c, SC: StarkGenericConfig> MultiTraceStarkVerifier<'c, SC>
pub fn new(config: &'c SC) -> Self
Sourcepub fn verify(
&self,
challenger: &mut SC::Challenger,
mvk: &MultiStarkVerifyingKey<SC>,
proof: &Proof<SC>,
) -> Result<(), VerificationError>
pub fn verify( &self, challenger: &mut SC::Challenger, mvk: &MultiStarkVerifyingKey<SC>, proof: &Proof<SC>, ) -> Result<(), VerificationError>
Verify collection of InteractiveAIRs and check the permutation cumulative sum is equal to zero across all AIRs.
Sourcepub fn verify_raps(
&self,
challenger: &mut SC::Challenger,
mvk: &MultiStarkVerifyingKeyView<'_, SC>,
proof: &Proof<SC>,
) -> Result<(), VerificationError>
pub fn verify_raps( &self, challenger: &mut SC::Challenger, mvk: &MultiStarkVerifyingKeyView<'_, SC>, proof: &Proof<SC>, ) -> Result<(), VerificationError>
Verify general RAPs without checking any relations (e.g., cumulative sum) between exposed values of different RAPs.
Public values is a global list shared across all AIRs.
num_challenges_to_sample[i]is the number of challenges to sample in the trace challenge phase corresponding toproof.commitments.after_challenge[i]. This must have length equal toproof.commitments.after_challenge.
Auto Trait Implementations§
impl<'c, SC> Freeze for MultiTraceStarkVerifier<'c, SC>
impl<'c, SC> RefUnwindSafe for MultiTraceStarkVerifier<'c, SC>where
SC: RefUnwindSafe,
impl<'c, SC> Send for MultiTraceStarkVerifier<'c, SC>where
SC: Sync,
impl<'c, SC> Sync for MultiTraceStarkVerifier<'c, SC>where
SC: Sync,
impl<'c, SC> Unpin for MultiTraceStarkVerifier<'c, SC>
impl<'c, SC> UnwindSafe for MultiTraceStarkVerifier<'c, SC>where
SC: RefUnwindSafe,
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