Trait ZkappCheck 

pub trait ZkappCheck {
    type T;

    // Required method
    fn zcheck<Ops: ZkappCheckOps>(
        &self,
        x: &Self::T,
        w: &mut Witness<Fp>,
    ) -> Boolean;
}

Check zkapp preconditions

Required Associated Types

type T

Required Methods

fn zcheck<Ops: ZkappCheckOps>( &self, x: &Self::T, w: &mut Witness<Fp>, ) -> Boolean

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<DefaultFn> ZkappCheck for (&OrIgnore<Boolean>, DefaultFn)

where DefaultFn: Fn() -> Boolean,

type T = Boolean

fn zcheck<Ops: ZkappCheckOps>( &self, x: &Self::T, w: &mut Witness<Fp>, ) -> Boolean

impl<DefaultFn> ZkappCheck for (&OrIgnore<CompressedPubKey>, DefaultFn)

where DefaultFn: Fn() -> CompressedPubKey,

type T = CompressedPubKey

fn zcheck<Ops: ZkappCheckOps>( &self, x: &Self::T, w: &mut Witness<Fp>, ) -> Boolean

impl<DefaultFn> ZkappCheck for (&OrIgnore<Fp>, DefaultFn)

where DefaultFn: Fn() -> Fp,

type T = Fp<MontBackend<FqConfig, 4>, 4>

fn zcheck<Ops: ZkappCheckOps>( &self, x: &Self::T, w: &mut Witness<Fp>, ) -> Boolean

impl<T, DefaultFn> ZkappCheck for (&OrIgnore<ClosedInterval<T>>, DefaultFn)

where DefaultFn: Fn() -> ClosedInterval<T>, T: ForZkappCheck<Fp>,

type T = T

fn zcheck<Ops: ZkappCheckOps>( &self, x: &Self::T, w: &mut Witness<Fp>, ) -> Boolean

Implementors