mina_tree::zkapps::intefaces

Trait TransactionCommitmentInterface

Source 
pub trait TransactionCommitmentInterface {
    type AccountUpdate: AccountUpdateInterface;
    type CallForest: CallForestInterface;
    type W: WitnessGenerator<Fp>;

    // Required methods
    fn empty() -> Fp;
    fn commitment(account_updates: &Self::CallForest) -> Fp;
    fn full_commitment(
        account_updates: &Self::AccountUpdate,
        memo_hash: Fp,
        commitment: Fp,
        w: &mut Self::W,
    ) -> Fp;
}

Required Associated Types§

Source

type AccountUpdate: AccountUpdateInterface

Source

type CallForest: CallForestInterface

Source

type W: WitnessGenerator<Fp>

Required Methods§

Source

fn empty() -> Fp

Source

fn commitment(account_updates: &Self::CallForest) -> Fp

Source

fn full_commitment( account_updates: &Self::AccountUpdate, memo_hash: Fp, commitment: Fp, w: &mut Self::W, ) -> Fp

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§