Struct pallet_mmr::Module[][src]

pub struct Module<T: Config<I>, I: Instance = DefaultInstance>(_);

A public part of the pallet.

Implementations

impl<T: Config<I> + 'static, I: Instance> Module<T, I>[src]

pub fn mmr_root_hash() -> <T as Config<I>>::Hash[src]

Latest MMR Root hash.

pub fn mmr_leaves() -> u64[src]

Current size of the MMR (number of leaves).

pub fn mmr_peak<K: EncodeLike<u64>>(key: K) -> Option<<T as Config<I>>::Hash>[src]

Hashes of the nodes in the MMR.

Note this collection only contains MMR peaks, the inner nodes (and leaves) are pruned and only stored in the Offchain DB.

impl<T: Config<I>, I: Instance> Module<T, I>[src]

pub fn generate_proof(
    leaf_index: u64
) -> Result<(<<T as Config<I>>::LeafData as LeafDataProvider>::LeafData, Proof<<T as Config<I>>::Hash>), Error>
[src]

Generate a MMR proof for the given leaf_index.

Note this method can only be used from an off-chain context (Offchain Worker or Runtime API call), since it requires all the leaves to be present. It may return an error or panic if used incorrectly.

pub fn verify_leaf(
    leaf: <<T as Config<I>>::LeafData as LeafDataProvider>::LeafData,
    proof: Proof<<T as Config<I>>::Hash>
) -> Result<(), Error>
[src]

Verify MMR proof for given leaf.

This method is safe to use within the runtime code. It will return Ok(()) if the proof is valid and an Err(..) if MMR is inconsistent (some leaves are missing) or the proof is invalid.

Trait Implementations

impl<T: Config<I>, I: Instance> Callable<T> for Module<T, I>[src]

type Call = Call<T, I>

impl<T: Clone + Config<I>, I: Clone + Instance> Clone for Module<T, I>[src]

impl<T: Copy + Config<I>, I: Copy + Instance> Copy for Module<T, I>[src]

impl<T: Config<I>, I: Instance> Debug for Module<T, I> where
    T: Debug,
    I: Debug
[src]

impl<T: Eq + Config<I>, I: Eq + Instance> Eq for Module<T, I>[src]

impl<T: Config<I>, I: Instance> GetPalletVersion for Module<T, I>[src]

impl<T: Config<I>, I: Instance> IntegrityTest for Module<T, I>[src]

impl<T: Config<I>, I: Instance> ModuleErrorMetadata for Module<T, I>[src]

impl<T: Config + Config<I>, I: Instance> OffchainWorker<<T as Config>::BlockNumber> for Module<T, I>[src]

impl<T: Config + Config<I>, I: Instance> OnFinalize<<T as Config>::BlockNumber> for Module<T, I>[src]

impl<T: Config<I>, I: Instance> OnGenesis for Module<T, I>[src]

impl<T: Config + Config<I>, I: Instance> OnInitialize<<T as Config>::BlockNumber> for Module<T, I>[src]

impl<T: Config<I>, I: Instance> OnRuntimeUpgrade for Module<T, I>[src]

impl<T: PartialEq + Config<I>, I: PartialEq + Instance> PartialEq<Module<T, I>> for Module<T, I>[src]

impl<T: Config<I>, I: Instance> StructuralEq for Module<T, I>[src]

impl<T: Config<I>, I: Instance> StructuralPartialEq for Module<T, I>[src]

Auto Trait Implementations

impl<T, I> RefUnwindSafe for Module<T, I> where
    I: RefUnwindSafe,
    T: RefUnwindSafe
[src]

impl<T, I> Send for Module<T, I> where
    I: Send,
    T: Send
[src]

impl<T, I> Sync for Module<T, I> where
    I: Sync,
    T: Sync
[src]

impl<T, I> Unpin for Module<T, I> where
    I: Unpin,
    T: Unpin
[src]

impl<T, I> UnwindSafe for Module<T, I> where
    I: UnwindSafe,
    T: UnwindSafe
[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> CheckedConversion for T[src]

impl<T> DynClone for T where
    T: Clone
[src]

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> IsType<T> for T[src]

impl<T, Outer> IsWrappedBy<Outer> for T where
    T: From<Outer>,
    Outer: AsRef<T> + AsMut<T> + From<T>, 
[src]

pub fn from_ref(outer: &Outer) -> &T[src]

Get a reference to the inner from the outer.

pub fn from_mut(outer: &mut Outer) -> &mut T[src]

Get a mutable reference to the inner from the outer.

impl<T> MaybeDebug for T where
    T: Debug

impl<T> MaybeDebug for T where
    T: Debug

impl<T> MaybeRefUnwindSafe for T where
    T: RefUnwindSafe

impl<T> Member for T where
    T: 'static + Clone + PartialEq<T> + Eq + Send + Sync + Debug
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> SaturatedConversion for T

impl<T> Scalar for T where
    T: PartialEq<T> + Copy + Any + Debug
[src]

impl<SS, SP> SupersetOf<SS> for SP where
    SS: SubsetOf<SP>, 

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<S, T> UncheckedInto<T> for S where
    T: UncheckedFrom<S>, 
[src]

impl<T, S> UniqueSaturatedInto<T> for S where
    T: Bounded,
    S: TryInto<T>, 

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,