* merkle: add parent() helper function on NodeIndex * smt: add pairs_to_leaf() to trait * smt: add sorted_pairs_to_leaves() and test for it * smt: implement single subtree-8 hashing, w/ benchmarks & tests This will be composed into depth-8-subtree-based computation of entire sparse Merkle trees. * merkle: add a benchmark for constructing 256-balanced trees This is intended for comparison with the benchmarks from the previous commit. This benchmark represents the theoretical perfect-efficiency performance we could possibly (but impractically) get for computing depth-8 sparse Merkle subtrees. * smt: test that SparseMerkleTree::build_subtree() is composable * smt: test that subtree logic can correctly construct an entire tree This commit ensures that `SparseMerkleTree::build_subtree()` can correctly compose into building an entire sparse Merkle tree, without yet getting into potential complications concurrency introduces. * smt: implement test for basic parallelized subtree computation w/ rayon Building on the previous commit, this commit implements a test proving that `SparseMerkleTree::build_subtree()` can be composed into itself not just concurrently, but in parallel, without issue. * smt: add from_raw_parts() to trait interface This commit adds a new required method to the SparseMerkleTree trait, to allow generic construction from pre-computed parts. This will be used to add a generic version of `with_entries()` in a later commit. * smt: add parallel constructors to Smt and SimpleSmt What the previous few commits have been leading up to: SparseMerkleTree now has a function to construct the tree from existing data in parallel. This is significantly faster than the singlethreaded equivalent. Benchmarks incoming! --------- Co-authored-by: krushimir <krushimir@reilabs.co> Co-authored-by: krushimir <kresimir.grofelnik@reilabs.io>
66 lines
2.5 KiB
Rust
66 lines
2.5 KiB
Rust
//! Benchmark for building a [`miden_crypto::merkle::MerkleTree`]. This is intended to be compared
|
|
//! with the results from `benches/smt-subtree.rs`, as building a fully balanced Merkle tree with
|
|
//! 256 leaves should indicate the *absolute best* performance we could *possibly* get for building
|
|
//! a depth-8 sparse Merkle subtree, though practically speaking building a fully balanced Merkle
|
|
//! tree will perform better than the sparse version. At the time of this writing (2024/11/24), this
|
|
//! benchmark is about four times more efficient than the equivalent benchmark in
|
|
//! `benches/smt-subtree.rs`.
|
|
use std::{hint, mem, time::Duration};
|
|
|
|
use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
|
|
use miden_crypto::{merkle::MerkleTree, Felt, Word, ONE};
|
|
use rand_utils::prng_array;
|
|
|
|
fn balanced_merkle_even(c: &mut Criterion) {
|
|
c.bench_function("balanced-merkle-even", |b| {
|
|
b.iter_batched(
|
|
|| {
|
|
let entries: Vec<Word> =
|
|
(0..256).map(|i| [Felt::new(i), ONE, ONE, Felt::new(i)]).collect();
|
|
assert_eq!(entries.len(), 256);
|
|
entries
|
|
},
|
|
|leaves| {
|
|
let tree = MerkleTree::new(hint::black_box(leaves)).unwrap();
|
|
assert_eq!(tree.depth(), 8);
|
|
},
|
|
BatchSize::SmallInput,
|
|
);
|
|
});
|
|
}
|
|
|
|
fn balanced_merkle_rand(c: &mut Criterion) {
|
|
let mut seed = [0u8; 32];
|
|
c.bench_function("balanced-merkle-rand", |b| {
|
|
b.iter_batched(
|
|
|| {
|
|
let entries: Vec<Word> = (0..256).map(|_| generate_word(&mut seed)).collect();
|
|
assert_eq!(entries.len(), 256);
|
|
entries
|
|
},
|
|
|leaves| {
|
|
let tree = MerkleTree::new(hint::black_box(leaves)).unwrap();
|
|
assert_eq!(tree.depth(), 8);
|
|
},
|
|
BatchSize::SmallInput,
|
|
);
|
|
});
|
|
}
|
|
|
|
criterion_group! {
|
|
name = smt_subtree_group;
|
|
config = Criterion::default()
|
|
.measurement_time(Duration::from_secs(20))
|
|
.configure_from_args();
|
|
targets = balanced_merkle_even, balanced_merkle_rand
|
|
}
|
|
criterion_main!(smt_subtree_group);
|
|
|
|
// HELPER FUNCTIONS
|
|
// --------------------------------------------------------------------------------------------
|
|
|
|
fn generate_word(seed: &mut [u8; 32]) -> Word {
|
|
mem::swap(seed, &mut prng_array(*seed));
|
|
let nums: [u64; 4] = prng_array(*seed);
|
|
[Felt::new(nums[0]), Felt::new(nums[1]), Felt::new(nums[2]), Felt::new(nums[3])]
|
|
}
|