MembershipDigest

Trait MembershipDigest 

Source
pub trait MembershipDigest: Clone {
    type ConcatenationHash: Digest + FixedOutput + Clone + Debug + Send + Sync;
    type SnarkHash: Digest + FixedOutput + Clone + Debug + Send + Sync;
}
Expand description

Trait defining the different hash types for different proof systems.

Required Associated Types§

Source

type ConcatenationHash: Digest + FixedOutput + Clone + Debug + Send + Sync

Source

type SnarkHash: Digest + FixedOutput + Clone + Debug + Send + Sync

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§

Source§

impl MembershipDigest for MithrilMembershipDigest

Default implementation of MembershipDigest for Mithril TODO: SnarkHash will be changed with Poseidon. For now, we use Blake2b<U64> (U64 is set for having something different than the ConcatenationHash) as a placeholder.

Source§

type ConcatenationHash = CoreWrapper<CtVariableCoreWrapper<Blake2bVarCore, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>

Source§

type SnarkHash = CoreWrapper<CtVariableCoreWrapper<Blake2bVarCore, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>>>