|
|
@ -1,7 +1,7 @@ |
|
|
|
use super::*;
|
|
|
|
use crate::{
|
|
|
|
hash::rpo::Rpo256,
|
|
|
|
merkle::{int_to_node, MerklePathSet},
|
|
|
|
merkle::{int_to_node, MerklePathSet, MerkleTree, SimpleSmt},
|
|
|
|
Felt, Word, WORD_SIZE, ZERO,
|
|
|
|
};
|
|
|
|
|
|
|
@ -15,7 +15,8 @@ const EMPTY: Word = [ZERO; WORD_SIZE]; |
|
|
|
#[test]
|
|
|
|
fn test_root_not_in_store() -> Result<(), MerkleError> {
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec())?;
|
|
|
|
let store = MerkleStore::default().with_merkle_tree(LEAVES4)?;
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
assert_eq!(
|
|
|
|
store.get_node(LEAVES4[0], NodeIndex::make(mtree.depth(), 0)),
|
|
|
|
Err(MerkleError::RootNotInStore(LEAVES4[0])),
|
|
|
@ -32,10 +33,9 @@ fn test_root_not_in_store() -> Result<(), MerkleError> { |
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_merkle_tree() -> Result<(), MerkleError> {
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec())?;
|
|
|
|
store.add_merkle_tree(LEAVES4.to_vec())?;
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
|
|
|
|
// STORE LEAVES ARE CORRECT ==============================================================
|
|
|
|
// checks the leaves in the store corresponds to the expected values
|
|
|
@ -176,24 +176,22 @@ fn test_leaf_paths_for_empty_trees() -> Result<(), MerkleError> { |
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_get_invalid_node() {
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec()).expect("creating a merkle tree must work");
|
|
|
|
store
|
|
|
|
.add_merkle_tree(LEAVES4.to_vec())
|
|
|
|
.expect("adding a merkle tree to the store must work");
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
let _ = store.get_node(mtree.root(), NodeIndex::make(mtree.depth(), 3));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_add_sparse_merkle_tree_one_level() -> Result<(), MerkleError> {
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
let keys2: [u64; 2] = [0, 1];
|
|
|
|
let leaves2: [Word; 2] = [int_to_node(1), int_to_node(2)];
|
|
|
|
store.add_sparse_merkle_tree(48, keys2.into_iter().zip(leaves2.into_iter()))?;
|
|
|
|
let smt = SimpleSmt::new(1)
|
|
|
|
.unwrap()
|
|
|
|
.with_leaves(keys2.into_iter().zip(leaves2.into_iter()))
|
|
|
|
.unwrap();
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
store.extend(smt.inner_nodes());
|
|
|
|
|
|
|
|
let idx = NodeIndex::make(1, 0);
|
|
|
|
assert_eq!(smt.get_node(idx).unwrap(), leaves2[0]);
|
|
|
@ -208,15 +206,14 @@ fn test_add_sparse_merkle_tree_one_level() -> Result<(), MerkleError> { |
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_sparse_merkle_tree() -> Result<(), MerkleError> {
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
store
|
|
|
|
.add_sparse_merkle_tree(SimpleSmt::MAX_DEPTH, KEYS4.into_iter().zip(LEAVES4.into_iter()))?;
|
|
|
|
|
|
|
|
let smt = SimpleSmt::new(SimpleSmt::MAX_DEPTH)
|
|
|
|
.unwrap()
|
|
|
|
.with_leaves(KEYS4.into_iter().zip(LEAVES4.into_iter()))
|
|
|
|
.unwrap();
|
|
|
|
|
|
|
|
let mut store = MerkleStore::default();
|
|
|
|
store.extend(smt.inner_nodes());
|
|
|
|
|
|
|
|
// STORE LEAVES ARE CORRECT ==============================================================
|
|
|
|
// checks the leaves in the store corresponds to the expected values
|
|
|
|
assert_eq!(
|
|
|
@ -472,7 +469,9 @@ fn wont_open_to_different_depth_root() { |
|
|
|
// For this example, the depth of the Merkle tree is 1, as we have only two leaves. Here we
|
|
|
|
// attempt to fetch a node on the maximum depth, and it should fail because the root shouldn't
|
|
|
|
// exist for the set.
|
|
|
|
let store = MerkleStore::default().with_merkle_tree([a, b]).unwrap();
|
|
|
|
let mtree = MerkleTree::new(vec![a, b]).unwrap();
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
let index = NodeIndex::root();
|
|
|
|
let err = store.get_node(root, index).err().unwrap();
|
|
|
|
assert_eq!(err, MerkleError::RootNotInStore(root));
|
|
|
@ -499,7 +498,9 @@ fn store_path_opens_from_leaf() { |
|
|
|
|
|
|
|
let root = Rpo256::merge(&[m.into(), n.into()]);
|
|
|
|
|
|
|
|
let store = MerkleStore::default().with_merkle_tree([a, b, c, d, e, f, g, h]).unwrap();
|
|
|
|
let mtree = MerkleTree::new(vec![a, b, c, d, e, f, g, h]).unwrap();
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
let path = store.get_path(root.into(), NodeIndex::make(3, 1)).unwrap().path;
|
|
|
|
|
|
|
|
let expected = MerklePath::new([a.into(), j.into(), n.into()].to_vec());
|
|
|
@ -509,7 +510,8 @@ fn store_path_opens_from_leaf() { |
|
|
|
#[test]
|
|
|
|
fn test_set_node() -> Result<(), MerkleError> {
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec())?;
|
|
|
|
let mut store = MerkleStore::default().with_merkle_tree(LEAVES4)?;
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
let value = int_to_node(42);
|
|
|
|
let index = NodeIndex::make(mtree.depth(), 0);
|
|
|
|
let new_root = store.set_node(mtree.root(), index, value)?.root;
|
|
|
@ -520,8 +522,9 @@ fn test_set_node() -> Result<(), MerkleError> { |
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_constructors() -> Result<(), MerkleError> {
|
|
|
|
let store = MerkleStore::new().with_merkle_tree(LEAVES4)?;
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec())?;
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
|
|
|
|
let depth = mtree.depth();
|
|
|
|
let leaves = 2u64.pow(depth.into());
|
|
|
@ -532,12 +535,12 @@ fn test_constructors() -> Result<(), MerkleError> { |
|
|
|
}
|
|
|
|
|
|
|
|
let depth = 32;
|
|
|
|
let store = MerkleStore::default()
|
|
|
|
.with_sparse_merkle_tree(depth, KEYS4.into_iter().zip(LEAVES4.into_iter()))?;
|
|
|
|
let smt = SimpleSmt::new(depth)
|
|
|
|
.unwrap()
|
|
|
|
.with_leaves(KEYS4.into_iter().zip(LEAVES4.into_iter()))
|
|
|
|
.unwrap();
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(smt.inner_nodes());
|
|
|
|
let depth = smt.depth();
|
|
|
|
|
|
|
|
for key in KEYS4 {
|
|
|
@ -726,7 +729,9 @@ fn get_leaf_depth_works_with_depth_8() { |
|
|
|
#[cfg(std)]
|
|
|
|
#[test]
|
|
|
|
fn test_serialization() -> Result<(), Box<dyn Error>> {
|
|
|
|
let original = MerkleStore::new().with_merkle_tree(LEAVES4)?;
|
|
|
|
let mtree = MerkleTree::new(LEAVES4.to_vec())?;
|
|
|
|
let mut store = MerkleStore::new();
|
|
|
|
store.extend(mtree.inner_nodes());
|
|
|
|
let decoded = MerkleStore::read_from_bytes(&original.to_bytes())?;
|
|
|
|
assert_eq!(original, decoded);
|
|
|
|
Ok(())
|
|
|
|