librustzcash/src/tree.rs

745 lines
24 KiB
Rust
Raw Normal View History

2019-08-20 08:05:14 -07:00
use std::collections::HashMap;
2019-09-02 09:51:00 -07:00
use crate::{Entry, EntryLink, NodeData, Error, EntryKind};
2019-08-20 08:05:14 -07:00
2019-08-22 07:36:05 -07:00
/// Represents partially loaded tree.
///
/// Some kind of "view" into the array representation of the MMR tree.
/// With only some of the leaves/nodes pre-loaded / pre-generated.
/// Exact amount of the loaded data can be calculated by the constructing party,
/// depending on the length of the tree and maximum amount of operations that are going
/// to happen after construction.
2019-08-20 10:07:50 -07:00
pub struct Tree {
2019-09-02 09:51:00 -07:00
stored: HashMap<u32, Entry>,
2019-08-20 08:05:14 -07:00
2019-09-02 09:51:00 -07:00
generated: HashMap<u32, Entry>,
2019-08-20 08:05:14 -07:00
// number of persistent(!) tree entries
stored_count: u32,
// number of virtual nodes generated
generated_count: u32,
2019-09-06 08:52:27 -07:00
root: EntryLink,
2019-08-20 08:05:14 -07:00
}
impl Tree {
2019-09-02 09:51:00 -07:00
fn resolve_link(&self, link: EntryLink) -> Result<IndexedNode, Error> {
2019-08-20 08:05:14 -07:00
match link {
2019-09-02 09:51:00 -07:00
EntryLink::Generated(index) => {
let node = self.generated.get(&index).ok_or(Error::ExpectedInMemory(link))?;
Ok(IndexedNode {
2019-08-20 08:05:14 -07:00
node,
link,
2019-09-02 09:51:00 -07:00
})
2019-08-20 08:05:14 -07:00
},
2019-09-02 09:51:00 -07:00
EntryLink::Stored(index) => {
let node = self.stored.get(&index).ok_or(Error::ExpectedInMemory(link))?;
Ok(IndexedNode {
2019-08-20 08:05:14 -07:00
node,
link,
2019-09-02 09:51:00 -07:00
})
2019-08-20 08:05:14 -07:00
},
}
}
2019-09-02 09:51:00 -07:00
fn push(&mut self, data: Entry) -> EntryLink {
2019-08-20 08:05:14 -07:00
let idx = self.stored_count;
self.stored_count = self.stored_count + 1;
self.stored.insert(idx, data);
2019-09-02 09:51:00 -07:00
EntryLink::Stored(idx)
2019-08-20 08:05:14 -07:00
}
2019-09-02 09:51:00 -07:00
fn push_generated(&mut self, data: Entry) -> EntryLink {
2019-08-20 08:05:14 -07:00
let idx = self.generated_count;
self.generated_count = self.generated_count + 1;
self.generated.insert(idx, data);
2019-09-02 09:51:00 -07:00
EntryLink::Generated(idx)
2019-08-20 08:05:14 -07:00
}
2019-08-22 10:35:56 -07:00
/// Populate tree with plain list of the leaves/nodes. Mostly for tests,
2019-08-22 07:36:05 -07:00
/// since this `Tree` structure is for partially loaded tree.
2019-09-06 08:52:27 -07:00
pub fn populate(loaded: Vec<Entry>, root: EntryLink) -> Self {
let mut result = Tree::invalid();
2019-08-20 08:05:14 -07:00
result.stored_count = loaded.len() as u32;
for (idx, item) in loaded.into_iter().enumerate() {
result.stored.insert(idx as u32, item);
}
2019-09-06 08:52:27 -07:00
result.root = root;
2019-08-20 08:05:14 -07:00
result
}
2019-09-06 08:52:27 -07:00
fn invalid() -> Self {
Tree {
root: EntryLink::Generated(0),
generated: Default::default(),
stored: Default::default(),
generated_count: 0,
stored_count: 0,
}
}
2019-08-22 10:35:56 -07:00
pub fn new(
length: u32,
2019-09-06 05:40:26 -07:00
peaks: Vec<(u32, Entry)>,
extra: Vec<(u32, Entry)>,
2019-09-06 08:52:27 -07:00
) -> Self {
let mut result = Tree::invalid();
2019-08-22 10:35:56 -07:00
result.stored_count = length;
2019-09-06 05:40:26 -07:00
let mut gen = 0;
let mut root = EntryLink::Stored(peaks[0].0);
for (idx, node) in peaks.into_iter() {
2019-08-22 10:35:56 -07:00
result.stored.insert(idx, node);
2019-09-06 05:40:26 -07:00
if gen != 0 {
let next_generated =
combine_nodes(result.
resolve_link(root).expect("Inserted before, cannot fail; qed"),
result.resolve_link(EntryLink::Stored(idx)).expect("Inserted before, cannot fail; qed")
);
root = result.push_generated(next_generated);
}
gen += 1;
2019-08-22 10:35:56 -07:00
}
2019-09-06 09:14:53 -07:00
for (idx, node) in extra {
result.stored.insert(idx, node);
}
2019-09-06 08:52:27 -07:00
result.root = root;
result
2019-08-22 10:35:56 -07:00
}
2019-09-02 09:51:00 -07:00
fn get_peaks(&self, root: EntryLink, target: &mut Vec<EntryLink>) -> Result<(), Error> {
2019-09-02 05:28:51 -07:00
2019-08-29 09:34:27 -07:00
let (left_child_link, right_child_link) = {
2019-09-02 09:51:00 -07:00
let root = self.resolve_link(root)?;
2019-09-02 05:28:51 -07:00
if root.node.complete() {
2019-09-02 08:18:33 -07:00
target.push(root.link);
2019-09-02 09:51:00 -07:00
return Ok(());
2019-09-02 05:28:51 -07:00
}
2019-08-29 09:34:27 -07:00
(
2019-09-02 09:51:00 -07:00
root.left()?,
root.right()?,
2019-08-29 09:34:27 -07:00
)
};
2019-09-02 09:51:00 -07:00
self.get_peaks(left_child_link, target)?;
self.get_peaks(right_child_link, target)?;
Ok(())
2019-08-29 09:34:27 -07:00
}
2019-08-22 07:36:05 -07:00
/// Append one leaf to the tree.
2019-09-06 09:14:53 -07:00
///
/// Returns links to actual nodes that has to be persisted as the result of the append.
pub fn append_leaf(&mut self, new_leaf: NodeData) -> Result<Vec<EntryLink>, Error> {
2019-09-06 08:52:27 -07:00
let root = self.root;
2019-09-02 05:28:51 -07:00
let new_leaf_link = self.push(new_leaf.into());
let mut appended = Vec::new();
appended.push(new_leaf_link);
2019-09-02 08:18:33 -07:00
let mut peaks = Vec::new();
2019-09-02 09:51:00 -07:00
self.get_peaks(root, &mut peaks)?;
2019-09-02 05:28:51 -07:00
let mut merge_stack = Vec::new();
merge_stack.push(new_leaf_link);
while let Some(next_peak) = peaks.pop() {
let next_merge = merge_stack.pop().expect("there should be at least one, initial or re-pushed");
2019-09-02 05:28:51 -07:00
if let Some(stored) = {
2019-09-02 09:51:00 -07:00
let peak = self.resolve_link(next_peak)?;
let m = self.resolve_link(next_merge)?;
2019-09-02 05:28:51 -07:00
if peak.node.leaf_count() == m.node.leaf_count() {
Some(combine_nodes(peak, m))
} else { None }
} {
let link = self.push(stored);
merge_stack.push(link);
appended.push(link);
continue;
2019-09-02 05:11:23 -07:00
}
2019-09-02 05:28:51 -07:00
merge_stack.push(next_merge);
merge_stack.push(next_peak);
}
2019-08-20 10:07:50 -07:00
let mut new_root = merge_stack.pop().expect("Loop above cannot reduce the merge_stack");
2019-09-02 05:28:51 -07:00
while let Some(next_child) = merge_stack.pop() {
new_root = self.push_generated(
combine_nodes(
2019-09-02 09:51:00 -07:00
self.resolve_link(new_root)?,
self.resolve_link(next_child)?,
2019-09-02 05:11:23 -07:00
)
2019-09-02 05:28:51 -07:00
)
}
2019-08-20 10:07:50 -07:00
2019-09-06 08:52:27 -07:00
self.root = new_root;
2019-09-06 09:14:53 -07:00
Ok(appended)
2019-08-20 10:07:50 -07:00
}
#[cfg(test)]
2019-09-02 09:51:00 -07:00
fn for_children<F: FnMut(EntryLink, EntryLink)>(&mut self, node: EntryLink, mut f: F) {
let (left, right) = {
2019-09-02 09:51:00 -07:00
let link = self.resolve_link(node).expect("Failed to resolve link in test");
(
2019-09-02 09:51:00 -07:00
link.left().expect("Failed to find node in test"),
link.right().expect("Failed to find node in test"),
)
};
2019-09-02 09:51:00 -07:00
f(left, right);
}
2019-08-22 04:36:57 -07:00
fn pop(&mut self) {
self.stored.remove(&(self.stored_count-1));
self.stored_count = self.stored_count - 1;
}
2019-08-22 07:36:05 -07:00
/// Truncate one leaf from the end of the tree.
2019-09-06 09:14:53 -07:00
///
/// Returns actual number of nodes that has to be removed from the array representation.
pub fn truncate_leaf(&mut self) -> Result<u32, Error> {
2019-08-22 04:36:57 -07:00
let root = {
2019-08-22 07:36:05 -07:00
let (leaves, root_left_child) = {
2019-09-06 08:52:27 -07:00
let n = self.resolve_link(self.root)?;
2019-08-22 07:36:05 -07:00
(
n.node.leaf_count(),
2019-09-02 09:51:00 -07:00
n.node.left()?,
2019-08-22 07:36:05 -07:00
)
};
2019-08-22 04:36:57 -07:00
if leaves & 1 != 0 {
2019-08-22 07:36:05 -07:00
self.pop();
2019-09-06 08:52:27 -07:00
self.root = root_left_child;
2019-09-06 09:14:53 -07:00
return Ok(1);
2019-08-22 04:36:57 -07:00
} else {
2019-09-06 08:52:27 -07:00
self.resolve_link(self.root)?
2019-08-22 04:36:57 -07:00
}
};
2019-09-02 09:51:00 -07:00
let mut peaks = vec![root.left()?];
let mut subtree_root_link = root.right()?;
2019-08-22 04:36:57 -07:00
let mut truncated = 1;
loop {
2019-09-02 09:51:00 -07:00
let left_link = self.resolve_link(subtree_root_link)?.node;
if let EntryKind::Node(left, right) = left_link.kind {
peaks.push(left);
subtree_root_link = right;
2019-08-22 04:36:57 -07:00
truncated += 1;
} else {
if root.node.complete() { truncated += 1; }
2019-08-22 04:36:57 -07:00
break;
}
}
2019-09-03 08:31:51 -07:00
let mut new_root = *peaks.iter().nth(0).expect("At lest 2 elements in peaks");
2019-09-03 08:31:51 -07:00
for next_peak in peaks.into_iter().skip(1) {
new_root = self.push_generated(
2019-09-02 09:51:00 -07:00
combine_nodes(
self.resolve_link(new_root)?,
self.resolve_link(next_peak)?,
)
);
}
2019-08-22 04:36:57 -07:00
for _ in 0..truncated { self.pop(); }
2019-09-06 08:52:27 -07:00
self.root = new_root;
2019-09-06 09:14:53 -07:00
Ok(truncated)
2019-08-22 04:36:57 -07:00
}
2019-08-22 05:49:43 -07:00
2019-08-22 07:36:05 -07:00
/// Length of array representation of the tree.
2019-08-22 05:49:43 -07:00
pub fn len(&self) -> u32 {
self.stored_count
}
2019-09-06 08:52:27 -07:00
2019-09-06 09:14:53 -07:00
/// Link to the root node
2019-09-06 08:52:27 -07:00
pub fn root(&self) -> EntryLink { self.root }
2019-09-06 09:14:53 -07:00
/// Reference to the root ndoe
pub fn root_node(&self) -> Result<IndexedNode, Error> {
self.resolve_link(self.root)
}
2019-08-20 08:05:14 -07:00
}
2019-08-20 10:07:50 -07:00
2019-09-06 09:14:53 -07:00
pub struct IndexedNode<'a> {
2019-09-02 09:51:00 -07:00
node: &'a Entry,
link: EntryLink,
}
impl<'a> IndexedNode<'a> {
fn left(&self) -> Result<EntryLink, Error> {
self.node.left().map_err(|e| e.augment(self.link))
}
fn right(&self) -> Result<EntryLink, Error> {
self.node.right().map_err(|e| e.augment(self.link))
}
2019-09-06 09:14:53 -07:00
pub fn node(&self) -> &Entry {
self.node
}
2019-08-20 08:05:14 -07:00
}
2019-09-02 09:51:00 -07:00
fn combine_nodes<'a>(left: IndexedNode<'a>, right: IndexedNode<'a>) -> Entry {
Entry {
kind: EntryKind::Node(left.link, right.link),
2019-09-03 02:56:24 -07:00
data: NodeData::combine(&left.node.data, &right.node.data),
2019-08-20 08:05:14 -07:00
}
}
#[cfg(test)]
mod tests {
2019-09-02 09:51:00 -07:00
use super::{Entry, NodeData, Tree, EntryLink, EntryKind};
2019-09-07 01:31:01 -07:00
use quickcheck::{quickcheck, TestResult};
use assert_matches::assert_matches;
2019-08-20 08:05:14 -07:00
fn leaf(height: u32) -> NodeData {
NodeData {
2019-09-03 07:47:21 -07:00
consensus_branch_id: 1,
2019-08-20 08:05:14 -07:00
subtree_commitment: [0u8; 32],
start_time: 0,
end_time: 0,
start_target: 0,
end_target: 0,
start_sapling_root: [0u8; 32],
end_sapling_root: [0u8; 32],
2019-09-03 07:22:21 -07:00
subtree_total_work: 0.into(),
start_height: height as u64,
end_height: height as u64,
2019-08-20 08:05:14 -07:00
shielded_tx: 7,
}
}
2019-09-03 07:22:21 -07:00
fn node(start_height: u64, end_height: u64) -> NodeData {
2019-08-20 08:05:14 -07:00
NodeData {
2019-09-03 07:47:21 -07:00
consensus_branch_id: 1,
2019-08-20 08:05:14 -07:00
subtree_commitment: [0u8; 32],
start_time: 0,
end_time: 0,
start_target: 0,
end_target: 0,
start_sapling_root: [0u8; 32],
end_sapling_root: [0u8; 32],
2019-09-03 07:22:21 -07:00
subtree_total_work: 0.into(),
2019-08-20 08:05:14 -07:00
start_height: start_height,
end_height: end_height,
shielded_tx: 7,
}
}
2019-09-06 09:14:53 -07:00
fn initial() -> Tree {
2019-09-02 09:51:00 -07:00
let node1: Entry = leaf(1).into();
let node2: Entry = leaf(2).into();
2019-08-20 08:05:14 -07:00
2019-09-02 09:51:00 -07:00
let node3 = Entry {
2019-08-20 08:05:14 -07:00
data: node(1, 2),
2019-09-02 09:51:00 -07:00
kind: EntryKind::Leaf,
2019-08-20 08:05:14 -07:00
};
2019-09-06 09:14:53 -07:00
Tree::populate(vec![node1, node2, node3], EntryLink::Stored(2))
2019-08-20 08:05:14 -07:00
}
2019-08-22 04:36:57 -07:00
// returns tree with specified number of leafs and it's root
2019-09-06 09:14:53 -07:00
fn generated(length: u32) -> Tree {
assert!(length >= 3);
2019-09-06 09:14:53 -07:00
let mut tree = initial();
2019-08-22 04:36:57 -07:00
for i in 2..length {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+1).into()).expect("Failed to append");
2019-08-22 04:36:57 -07:00
}
2019-09-06 09:14:53 -07:00
tree
2019-08-22 04:36:57 -07:00
}
2019-08-20 08:05:14 -07:00
#[test]
fn discrete_append() {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
// ** APPEND 3 **
2019-09-06 09:14:53 -07:00
let appended = tree
2019-09-06 08:52:27 -07:00
.append_leaf(leaf(3))
2019-09-02 09:51:00 -07:00
.expect("Failed to append");
2019-09-06 09:14:53 -07:00
let new_root = tree.root_node().expect("Failed to resolve root").node;
2019-08-20 08:05:14 -07:00
// initial tree: (2)
// / \
// (0) (1)
//
// new tree:
// (4g)
// / \
// (2) \
// / \ \
// (0) (1) (3)
//
// so only (3) is added as real leaf
// while new root, (4g) is generated one
assert_eq!(new_root.data.end_height, 3);
2019-09-06 09:14:53 -07:00
assert_eq!(appended.len(), 1);
2019-08-20 08:05:14 -07:00
// ** APPEND 4 **
2019-09-06 09:14:53 -07:00
let appended = tree
2019-09-06 08:52:27 -07:00
.append_leaf(leaf(4))
2019-09-02 09:51:00 -07:00
.expect("Failed to append");
2019-09-06 09:14:53 -07:00
let new_root = tree.root_node().expect("Failed to resolve root").node;
2019-08-20 08:05:14 -07:00
// intermediate tree:
// (4g)
// / \
// (2) \
// / \ \
// (0) (1) (3)
//
// new tree:
// ( 6 )
// / \
// (2) (5)
// / \ / \
// (0) (1) (3) (4)
//
// so (4), (5), (6) are added as real leaves
// and new root, (6) is stored one
assert_eq!(new_root.data.end_height, 4);
2019-09-06 09:14:53 -07:00
assert_eq!(appended.len(), 3);
assert_matches!(tree.root(), EntryLink::Stored(6));
// ** APPEND 5 **
2019-08-20 08:05:14 -07:00
2019-09-06 09:14:53 -07:00
let appended = tree
2019-09-06 08:52:27 -07:00
.append_leaf(leaf(5))
2019-09-02 09:51:00 -07:00
.expect("Failed to append");
2019-09-06 09:14:53 -07:00
let new_root = tree.root_node().expect("Failed to resolve root").node;
2019-08-20 08:05:14 -07:00
// intermediate tree:
// ( 6 )
// / \
// (2) (5)
// / \ / \
// (0) (1) (3) (4)
//
// new tree:
// ( 8g )
// / \
// ( 6 ) \
// / \ \
// (2) (5) \
// / \ / \ \
// (0) (1) (3) (4) (7)
//
// so (7) is added as real leaf
// and new root, (8g) is generated one
assert_eq!(new_root.data.end_height, 5);
2019-09-06 09:14:53 -07:00
assert_eq!(appended.len(), 1);
assert_matches!(tree.root(), EntryLink::Generated(_));
tree.for_children(tree.root(), |l, r| {
2019-09-02 09:51:00 -07:00
assert_matches!(l, EntryLink::Stored(6));
assert_matches!(r, EntryLink::Stored(7));
});
// *** APPEND #6 ***
2019-09-06 09:14:53 -07:00
let appended = tree
2019-09-06 08:52:27 -07:00
.append_leaf(leaf(6))
2019-09-02 09:51:00 -07:00
.expect("Failed to append");
2019-09-06 09:14:53 -07:00
let new_root = tree.root_node().expect("Failed to resolve root").node;
// intermediate tree:
// ( 8g )
// / \
// ( 6 ) \
// / \ \
// (2) (5) \
// / \ / \ \
// (0) (1) (3) (4) (7)
//
// new tree:
// (---8g---)
// / \
// ( 6 ) \
// / \ \
// (2) (5) (9)
// / \ / \ / \
// (0) (1) (3) (4) (7) (8)
//
// so (7) is added as real leaf
// and new root, (8g) is generated one
assert_eq!(new_root.data.end_height, 6);
2019-09-06 09:14:53 -07:00
assert_eq!(appended.len(), 2);
assert_matches!(tree.root(), EntryLink::Generated(_));
tree.for_children(tree.root(), |l, r| {
2019-09-02 09:51:00 -07:00
assert_matches!(l, EntryLink::Stored(6));
assert_matches!(r, EntryLink::Stored(9));
});
// *** APPEND #7 ***
2019-09-06 09:14:53 -07:00
let appended = tree
2019-09-06 08:52:27 -07:00
.append_leaf(leaf(7))
2019-09-02 09:51:00 -07:00
.expect("Failed to append");
let new_root = tree
2019-09-06 09:14:53 -07:00
.root_node()
2019-09-02 09:51:00 -07:00
.expect("Failed to resolve root")
.node;
// intermediate tree:
// (---8g---)
// / \
// ( 6 ) \
// / \ \
// (2) (5) (9)
// / \ / \ / \
// (0) (1) (3) (4) (7) (8)
//
// new tree:
// (---12g--)
// / \
// (---11g---) \
// / \ \
// ( 6 ) \ \
// / \ \ \
// (2) (5) (9) \
// / \ / \ / \ \
// (0) (1) (3) (4) (7) (8) (10)
//
// so (7) is added as real leaf
// and new root, (8g) is generated one
assert_eq!(new_root.data.end_height, 7);
2019-09-06 09:14:53 -07:00
assert_eq!(appended.len(), 1);
assert_matches!(tree.root(), EntryLink::Generated(_));
tree.for_children(tree.root(), |l, r| {
2019-09-02 09:51:00 -07:00
assert_matches!(l, EntryLink::Generated(_));
assert_matches!(r, EntryLink::Stored(10));
});
2019-08-20 08:05:14 -07:00
}
2019-08-22 04:36:57 -07:00
#[test]
fn truncate_simple() {
2019-09-06 09:14:53 -07:00
let mut tree = generated(9);
tree.truncate_leaf().expect("Failed to truncate");
2019-08-22 04:36:57 -07:00
2019-08-22 05:59:18 -07:00
// initial tree:
//
// (-------16g------)
// / \
// (--------14-------) \
// / \ \
// ( 6 ) ( 13 ) \
// / \ / \ \
// (2) (5) (9) (12) \
// / \ / \ / \ / \ \
// (0) (1) (3) (4) (7) (8) (10) (11) (15)
//
// new tree:
// (--------14-------)
// / \
// ( 6 ) ( 13 )
// / \ / \
// (2) (5) (9) (12)
// / \ / \ / \ / \
// (0) (1) (3) (4) (7) (8) (10) (11)
//
// so (15) is truncated
// and new root, (14) is a stored one now
2019-09-06 09:14:53 -07:00
assert_matches!(tree.root(), EntryLink::Stored(14));
2019-08-22 05:59:18 -07:00
assert_eq!(tree.len(), 15);
2019-08-22 04:36:57 -07:00
}
2019-08-22 05:47:49 -07:00
#[test]
fn truncate_generated() {
2019-09-06 09:14:53 -07:00
let mut tree = generated(10);
let deleted = tree.truncate_leaf().expect("Failed to truncate");
2019-08-22 05:47:49 -07:00
2019-08-22 05:59:18 -07:00
// initial tree:
//
// (--------18g--------)
// / \
// (--------14-------) \
// / \ \
// ( 6 ) ( 13 ) \
// / \ / \ \
// (2) (5) (9) (12) (17)
// / \ / \ / \ / \ / \
// (0) (1) (3) (4) (7) (8) (10) (11) (15) (16)
//
// new tree:
// (-------16g------)
// / \
// (--------14-------) \
// / \ \
// ( 6 ) ( 13 ) \
// / \ / \ \
// (2) (5) (9) (12) \
// / \ / \ / \ / \ \
// (0) (1) (3) (4) (7) (8) (10) (11) (15)
// new root is generated
2019-08-22 07:43:03 -07:00
2019-09-06 09:14:53 -07:00
assert_matches!(tree.root(), EntryLink::Generated(_));
2019-08-22 05:47:49 -07:00
2019-08-22 05:59:18 -07:00
// left is 14 and right is 15
2019-08-22 05:47:49 -07:00
let (left_root_child, right_root_child) = {
2019-09-06 09:14:53 -07:00
let root = tree.root_node().expect("Failed to resolve");
2019-08-22 05:47:49 -07:00
(
2019-09-02 09:51:00 -07:00
root.left().expect("Expected node"),
root.right().expect("Expected node"),
2019-08-22 05:47:49 -07:00
)
};
2019-08-22 07:43:03 -07:00
assert_matches!(
(left_root_child, right_root_child),
2019-09-02 09:51:00 -07:00
(EntryLink::Stored(14), EntryLink::Stored(15))
2019-08-22 07:43:03 -07:00
);
2019-08-22 07:36:05 -07:00
// two stored nodes should leave us (leaf 16 and no longer needed node 17)
2019-09-06 09:14:53 -07:00
assert_eq!(deleted, 2);
2019-08-22 05:49:43 -07:00
assert_eq!(tree.len(), 16);
2019-08-22 05:47:49 -07:00
}
#[test]
fn tree_len() {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
assert_eq!(tree.len(), 3);
for i in 0..2 {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+3)).expect("Failed to append");
}
assert_eq!(tree.len(), 7);
2019-09-06 08:52:27 -07:00
tree.truncate_leaf().expect("Failed to truncate");
assert_eq!(tree.len(), 4);
}
2019-09-02 08:26:51 -07:00
#[test]
fn tree_len_long() {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
2019-09-02 08:26:51 -07:00
assert_eq!(tree.len(), 3);
for i in 0..4094 {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+3)).expect("Failed to append");
2019-09-02 08:26:51 -07:00
}
assert_eq!(tree.len(), 8191); // 4096*2-1 (full tree)
for _ in 0..2049 {
2019-09-06 09:14:53 -07:00
tree.truncate_leaf().expect("Failed to truncate");
2019-09-02 08:26:51 -07:00
}
assert_eq!(tree.len(), 4083); // 4095 - log2(4096)
}
quickcheck! {
fn there_and_back(number: u32) -> TestResult {
2019-09-02 05:28:51 -07:00
if number > 1024*1024 {
TestResult::discard()
} else {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
for i in 0..number {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+3)).expect("Failed to append");
}
2019-09-02 05:28:51 -07:00
for _ in 0..number {
2019-09-06 09:14:53 -07:00
tree.truncate_leaf().expect("Failed to truncate");
}
2019-09-06 09:14:53 -07:00
TestResult::from_bool(if let EntryLink::Stored(2) = tree.root() { true } else { false })
}
}
2019-09-02 05:11:23 -07:00
fn leaf_count(number: u32) -> TestResult {
2019-09-02 05:28:51 -07:00
if number > 1024 * 1024 || number < 3 {
2019-09-02 05:11:23 -07:00
TestResult::discard()
} else {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
2019-09-02 05:28:51 -07:00
for i in 1..(number-1) {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+2)).expect("Failed to append");
2019-09-02 05:11:23 -07:00
}
2019-09-02 09:51:00 -07:00
TestResult::from_bool(
2019-09-06 09:14:53 -07:00
tree.root_node().expect("no root").node.leaf_count() == number as u64
2019-09-02 09:51:00 -07:00
)
2019-09-02 05:11:23 -07:00
}
}
fn parity(number: u32) -> TestResult {
if number > 2048 * 2048 || number < 3 {
TestResult::discard()
} else {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
for i in 1..(number-1) {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+2)).expect("Failed to append");
}
TestResult::from_bool(
if number & number - 1 == 0 {
2019-09-06 09:14:53 -07:00
if let EntryLink::Stored(_) = tree.root() { true }
else { false }
} else {
2019-09-06 09:14:53 -07:00
if let EntryLink::Generated(_) = tree.root() { true }
else { false }
}
)
}
}
fn parity_with_truncate(add: u32, delete: u32) -> TestResult {
// First we add `add` number of leaves, then delete `delete` number of leaves
// What is left should be consistent with generated-stored structure
if add > 2048 * 2048 || add < delete {
TestResult::discard()
} else {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
for i in 0..add {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+3)).expect("Failed to append");
}
for _ in 0..delete {
2019-09-06 09:14:53 -07:00
tree.truncate_leaf().expect("Failed to truncate");
}
let total = add - delete + 2;
TestResult::from_bool(
if total & total - 1 == 0 {
2019-09-06 09:14:53 -07:00
if let EntryLink::Stored(_) = tree.root() { true }
else { false }
} else {
2019-09-06 09:14:53 -07:00
if let EntryLink::Generated(_) = tree.root() { true }
else { false }
}
)
}
}
2019-09-03 03:11:10 -07:00
// Length of tree is always less than number of leaves squared
fn stored_length(add: u32, delete: u32) -> TestResult {
if add > 2048 * 2048 || add < delete {
TestResult::discard()
} else {
2019-09-06 09:14:53 -07:00
let mut tree = initial();
for i in 0..add {
2019-09-06 09:14:53 -07:00
tree.append_leaf(leaf(i+3)).expect("Failed to append");
}
for _ in 0..delete {
2019-09-06 09:14:53 -07:00
tree.truncate_leaf().expect("Failed to truncate");
}
let total = add - delete + 2;
TestResult::from_bool(total * total > tree.len())
}
}
}
2019-09-07 01:31:01 -07:00
}