mina_tree::zkapps::intefaces

Trait LocalStateInterface

Source 
pub trait LocalStateInterface {
    type Z: ZkappApplication;
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required methods
    fn add_check(
        local: &mut LocalState<Self::Z>,
        failure: TransactionFailure,
        b: Self::Bool,
        w: &mut Self::W,
    );
    fn add_new_failure_status_bucket(local: &mut LocalState<Self::Z>);
}

Required Associated Types§

Source

type Z: ZkappApplication

Source

type W: WitnessGenerator<Fp>

Source

type Bool: BoolInterface

Required Methods§

Source

fn add_check( local: &mut LocalState<Self::Z>, failure: TransactionFailure, b: Self::Bool, w: &mut Self::W, )

Source

fn add_new_failure_status_bucket(local: &mut LocalState<Self::Z>)

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§