mirror of
https://github.com/pezkuwichain/merkle-mountain-range.git
synced 2026-04-22 13:47:57 +00:00
Compare commits
6 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| bb196e8b96 | |||
| bf24bf0b93 | |||
| 8b8adae74c | |||
| be20646ac8 | |||
| a037309912 | |||
| 0b37e46871 |
+1
-1
@@ -1,6 +1,6 @@
|
||||
[package]
|
||||
name = "ckb-merkle-mountain-range"
|
||||
version = "0.3.2"
|
||||
version = "0.4.0"
|
||||
authors = ["Nervos Core Dev <dev@nervos.org>"]
|
||||
edition = "2018"
|
||||
license = "MIT"
|
||||
|
||||
@@ -31,13 +31,13 @@ struct MergeNumberHash;
|
||||
|
||||
impl Merge for MergeNumberHash {
|
||||
type Item = NumberHash;
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Self::Item {
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Result<Self::Item> {
|
||||
let mut hasher = new_blake2b();
|
||||
let mut hash = [0u8; 32];
|
||||
hasher.update(&lhs.0);
|
||||
hasher.update(&rhs.0);
|
||||
hasher.finalize(&mut hash);
|
||||
NumberHash(hash.to_vec().into())
|
||||
Ok(NumberHash(hash.to_vec().into()))
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -9,6 +9,9 @@ pub enum Error {
|
||||
CorruptedProof,
|
||||
/// The leaves is an empty list, or beyond the mmr range
|
||||
GenProofForInvalidLeaves,
|
||||
|
||||
/// The two nodes couldn't merge into one.
|
||||
MergeError(crate::string::String),
|
||||
}
|
||||
|
||||
impl core::fmt::Display for Error {
|
||||
@@ -20,6 +23,7 @@ impl core::fmt::Display for Error {
|
||||
StoreError(msg) => write!(f, "Store error {}", msg)?,
|
||||
CorruptedProof => write!(f, "Corrupted proof")?,
|
||||
GenProofForInvalidLeaves => write!(f, "Generate proof ofr invalid leaves")?,
|
||||
MergeError(msg) => write!(f, "Merge error {}", msg)?,
|
||||
}
|
||||
Ok(())
|
||||
}
|
||||
|
||||
+8
-1
@@ -1,4 +1,11 @@
|
||||
use crate::Result;
|
||||
|
||||
pub trait Merge {
|
||||
type Item;
|
||||
fn merge(left: &Self::Item, right: &Self::Item) -> Self::Item;
|
||||
|
||||
fn merge(left: &Self::Item, right: &Self::Item) -> Result<Self::Item>;
|
||||
|
||||
fn merge_peaks(peak1: &Self::Item, peak2: &Self::Item) -> Result<Self::Item> {
|
||||
Self::merge(peak1, peak2)
|
||||
}
|
||||
}
|
||||
|
||||
+4
-4
@@ -63,7 +63,7 @@ impl<'a, T: Clone + PartialEq + Debug, M: Merge<Item = T>, S: MMRStore<T>> MMR<T
|
||||
let right_pos = left_pos + sibling_offset(height);
|
||||
let left_elem = self.find_elem(left_pos, &elems)?;
|
||||
let right_elem = self.find_elem(right_pos, &elems)?;
|
||||
let parent_elem = M::merge(&left_elem, &right_elem);
|
||||
let parent_elem = M::merge(&left_elem, &right_elem)?;
|
||||
elems.push(parent_elem);
|
||||
height += 1
|
||||
}
|
||||
@@ -96,7 +96,7 @@ impl<'a, T: Clone + PartialEq + Debug, M: Merge<Item = T>, S: MMRStore<T>> MMR<T
|
||||
while rhs_peaks.len() > 1 {
|
||||
let right_peak = rhs_peaks.pop().expect("pop");
|
||||
let left_peak = rhs_peaks.pop().expect("pop");
|
||||
rhs_peaks.push(M::merge(&right_peak, &left_peak));
|
||||
rhs_peaks.push(M::merge_peaks(&right_peak, &left_peak)?);
|
||||
}
|
||||
Ok(rhs_peaks.pop())
|
||||
}
|
||||
@@ -320,7 +320,7 @@ fn calculate_peak_root<
|
||||
M::merge(&sibling_item, &item)
|
||||
} else {
|
||||
M::merge(&item, &sibling_item)
|
||||
};
|
||||
}?;
|
||||
|
||||
if parent_pos < peak_pos {
|
||||
queue.push_back((parent_pos, parent_item, height + 1));
|
||||
@@ -394,7 +394,7 @@ fn bagging_peaks_hashes<'a, T: 'a + PartialEq + Debug + Clone, M: Merge<Item = T
|
||||
while peaks_hashes.len() > 1 {
|
||||
let right_peak = peaks_hashes.pop().expect("pop");
|
||||
let left_peak = peaks_hashes.pop().expect("pop");
|
||||
peaks_hashes.push(M::merge(&right_peak, &left_peak));
|
||||
peaks_hashes.push(M::merge_peaks(&right_peak, &left_peak)?);
|
||||
}
|
||||
peaks_hashes.pop().ok_or(Error::CorruptedProof)
|
||||
}
|
||||
|
||||
+4
-3
@@ -1,8 +1,9 @@
|
||||
mod test_accumulate_headers;
|
||||
mod test_helper;
|
||||
mod test_mmr;
|
||||
mod test_sequence;
|
||||
|
||||
use crate::Merge;
|
||||
use crate::{Merge, Result};
|
||||
use blake2b_rs::{Blake2b, Blake2bBuilder};
|
||||
use bytes::Bytes;
|
||||
|
||||
@@ -26,12 +27,12 @@ struct MergeNumberHash;
|
||||
|
||||
impl Merge for MergeNumberHash {
|
||||
type Item = NumberHash;
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Self::Item {
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Result<Self::Item> {
|
||||
let mut hasher = new_blake2b();
|
||||
let mut hash = [0u8; 32];
|
||||
hasher.update(&lhs.0);
|
||||
hasher.update(&rhs.0);
|
||||
hasher.finalize(&mut hash);
|
||||
NumberHash(hash.to_vec().into())
|
||||
Ok(NumberHash(hash.to_vec().into()))
|
||||
}
|
||||
}
|
||||
|
||||
@@ -72,17 +72,17 @@ struct MergeHashWithTD;
|
||||
|
||||
impl Merge for MergeHashWithTD {
|
||||
type Item = HashWithTD;
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Self::Item {
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Result<Self::Item> {
|
||||
let mut hasher = new_blake2b();
|
||||
let mut hash = [0u8; 32];
|
||||
hasher.update(&lhs.serialize());
|
||||
hasher.update(&rhs.serialize());
|
||||
hasher.finalize(&mut hash);
|
||||
let td = lhs.td + rhs.td;
|
||||
HashWithTD {
|
||||
Ok(HashWithTD {
|
||||
hash: hash.to_vec().into(),
|
||||
td,
|
||||
}
|
||||
})
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -0,0 +1,98 @@
|
||||
use std::fmt;
|
||||
|
||||
use proptest::proptest;
|
||||
use rand::{prelude::*, thread_rng};
|
||||
|
||||
use crate::{util::MemStore, Merge, Result, MMR};
|
||||
|
||||
#[derive(Eq, PartialEq, Clone, Default)]
|
||||
struct NumberRange {
|
||||
start: u32,
|
||||
end: u32,
|
||||
}
|
||||
|
||||
struct MergeNumberRange;
|
||||
|
||||
impl fmt::Debug for NumberRange {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "NumberRange({}, {})", self.start, self.end)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Debug for MergeNumberRange {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "MergeNumberRange")
|
||||
}
|
||||
}
|
||||
|
||||
impl From<u32> for NumberRange {
|
||||
fn from(num: u32) -> Self {
|
||||
Self {
|
||||
start: num,
|
||||
end: num,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl NumberRange {
|
||||
fn is_normalized(&self) -> bool {
|
||||
self.start <= self.end
|
||||
}
|
||||
}
|
||||
|
||||
impl Merge for MergeNumberRange {
|
||||
type Item = NumberRange;
|
||||
fn merge(lhs: &Self::Item, rhs: &Self::Item) -> Result<Self::Item> {
|
||||
Ok(Self::Item {
|
||||
start: lhs.start,
|
||||
end: rhs.end,
|
||||
})
|
||||
}
|
||||
fn merge_peaks(lhs: &Self::Item, rhs: &Self::Item) -> Result<Self::Item> {
|
||||
Self::merge(rhs, lhs)
|
||||
}
|
||||
}
|
||||
|
||||
fn test_sequence_sub_func(count: u32, proof_elem: Vec<u32>) {
|
||||
let store = MemStore::default();
|
||||
let mut mmr = MMR::<_, MergeNumberRange, _>::new(0, &store);
|
||||
let positions = (0..count)
|
||||
.map(|i| mmr.push(NumberRange::from(i)).expect("push"))
|
||||
.collect::<Vec<_>>();
|
||||
let root = mmr.get_root().expect("get_root");
|
||||
assert!(root.is_normalized());
|
||||
let proof = mmr
|
||||
.gen_proof(
|
||||
proof_elem
|
||||
.iter()
|
||||
.map(|elem| positions[*elem as usize])
|
||||
.collect(),
|
||||
)
|
||||
.expect("gen_proof");
|
||||
for item in proof.proof_items() {
|
||||
assert!(item.is_normalized())
|
||||
}
|
||||
mmr.commit().expect("commit");
|
||||
let result = proof
|
||||
.verify(
|
||||
root,
|
||||
proof_elem
|
||||
.iter()
|
||||
.map(|elem| (positions[*elem as usize], NumberRange::from(*elem)))
|
||||
.collect(),
|
||||
)
|
||||
.expect("verify");
|
||||
assert!(result);
|
||||
}
|
||||
|
||||
proptest! {
|
||||
#[test]
|
||||
fn test_sequence(count in 10u32..500u32) {
|
||||
let mut leaves: Vec<u32> = (0..count).collect();
|
||||
let mut rng = thread_rng();
|
||||
leaves.shuffle(&mut rng);
|
||||
let leaves_count = rng.gen_range(1, count - 1);
|
||||
leaves.truncate(leaves_count as usize);
|
||||
test_sequence_sub_func(count, leaves);
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user