pub struct DefaultSubproofVerifier { /* private fields */ }Expand description
A dummy verifier which prints a warning on the first proof and does nothing else.
Implementations§
source§impl DefaultSubproofVerifier
impl DefaultSubproofVerifier
sourcepub fn new() -> Self
pub fn new() -> Self
Creates a new DefaultSubproofVerifier.
Trait Implementations§
source§impl Default for DefaultSubproofVerifier
impl Default for DefaultSubproofVerifier
source§fn default() -> DefaultSubproofVerifier
fn default() -> DefaultSubproofVerifier
Returns the “default value” for a type. Read more
source§impl SubproofVerifier for DefaultSubproofVerifier
impl SubproofVerifier for DefaultSubproofVerifier
source§fn verify_deferred_proof(
&self,
_proof: &ShardProof<BabyBearPoseidon2>,
_vk: &StarkVerifyingKey<BabyBearPoseidon2>,
_vk_hash: [u32; 8],
_committed_value_digest: [u32; 8],
) -> Result<(), MachineVerificationError<BabyBearPoseidon2>>
fn verify_deferred_proof( &self, _proof: &ShardProof<BabyBearPoseidon2>, _vk: &StarkVerifyingKey<BabyBearPoseidon2>, _vk_hash: [u32; 8], _committed_value_digest: [u32; 8], ) -> Result<(), MachineVerificationError<BabyBearPoseidon2>>
Verify a deferred proof.
Auto Trait Implementations§
impl !Freeze for DefaultSubproofVerifier
impl RefUnwindSafe for DefaultSubproofVerifier
impl Send for DefaultSubproofVerifier
impl Sync for DefaultSubproofVerifier
impl Unpin for DefaultSubproofVerifier
impl UnwindSafe for DefaultSubproofVerifier
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