Struct polkadot_ckb_merkle_mountain_range::MMR

pub struct MMR<T, M, S> { /* private fields */ }

Implementations

impl<T, M, S> MMR<T, M, S>

pub fn new(mmr_size: u64, store: S) -> Self

pub fn mmr_size(&self) -> u64

pub fn is_empty(&self) -> bool

pub fn batch(&self) -> &MMRBatch<T, S>

pub fn store(&self) -> &S

impl<T: Clone + PartialEq, M: Merge<Item = T>, S: MMRStoreReadOps<T>> MMR<T, M, S>

pub fn push(&mut self, elem: T) -> Result<u64>

pub fn get_root(&self) -> Result<T>

get_root

pub fn get_ancestor_peaks_and_root( &self, prev_mmr_size: u64 ) -> Result<(Vec<T>, T)>

get_ancestor_root

pub fn gen_proof(&self, pos_list: Vec<u64>) -> Result<MerkleProof<T, M>>

Generate merkle proof for positions

1. sort positions
2. push merkle proof to proof by peak from left to right
3. push bagged right hand side root

pub fn gen_node_proof( &self, pos_list: Vec<u64> ) -> Result<NodeMerkleProof<T, M>>

Generate node merkle proof for positions

1. sort positions
2. push merkle proof to proof by peak from left to right
3. push bagged right hand side root

pub fn gen_ancestry_proof( &self, prev_mmr_size: u64 ) -> Result<AncestryProof<T, M>>

Generate proof that prior merkle root r’ is an ancestor of current merkle proof r

1. calculate positions of peaks of old root r’ given mmr size n
2. generate membership proof of peaks in root r
3. calculate r’ from peaks(n)
4. return (mmr root r’, peak hashes, membership proof of peaks(n) in r)

impl<T, M, S: MMRStoreWriteOps<T>> MMR<T, M, S>

pub fn commit(&mut self) -> Result<()>