trident/vm/crypto/merkle.tri

module vm.crypto.merkle

// One step up a Merkle tree: given a node index and digest (as 5 Fields),
// divine the sibling and compute the parent.
// The sibling comes from the secret digest queue (NonDeterminism.digests).
#[intrinsic(merkle_step)]
pub fn step(
    idx: U32,
    d0: Field,
    d1: Field,
    d2: Field,
    d3: Field,
    d4: Field
) -> (U32, Digest)