miden-test-utils 0.1.0

Test utilities for Miden VM programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

use alloc::vec::Vec;

// RE-EXPORTS
// ================================================================================================
pub use vm_core::crypto::{
    dsa::*,
    hash::{Rpo256, RpoDigest},
    merkle::{
        EmptySubtreeRoots, LeafIndex, MerkleError, MerklePath, MerkleStore, MerkleTree, Mmr,
        MmrPeaks, NodeIndex, PartialMerkleTree, SimpleSmt, Smt,
    },
};
pub use winter_prover::crypto::{
    BatchMerkleProof, DefaultRandomCoin as WinterRandomCoin, ElementHasher, Hasher, RandomCoin,
};

use super::{Felt, Word, ZERO};

// CRYPTO HELPER FUNCTIONS
// ================================================================================================

pub fn init_merkle_store(values: &[u64]) -> (Vec<Word>, MerkleStore) {
    let leaves = init_merkle_leaves(values);
    let merkle_tree = MerkleTree::new(leaves.clone()).unwrap();
    let store = MerkleStore::from(&merkle_tree);
    (leaves, store)
}

pub fn init_merkle_leaves(values: &[u64]) -> Vec<Word> {
    values.iter().map(|&v| init_merkle_leaf(v)).collect()
}

pub fn init_merkle_leaf(value: u64) -> Word {
    [Felt::new(value), ZERO, ZERO, ZERO]
}