Using hmerge to hash 9 or more stack elements about miden-base HOT 4 OPEN

use.std::crypto::hashes::native->rpo

begin
    # push the capacity portion of the hasher state onto the stack; since the number of elements we are
    # hashing is not divisible by 8, the first capacity register must be set to 1 (this is RPO's padding
    # rule)
    push.1.0.0.0
    # => [0, 0, 0, 1]

    # absorb the first 8 values into the hasher state
    push.1.2.3.4.5.6.7.8
    # => [8, 7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 1]

    # execute the RPO permutation
    hperm
    # => [R2, R1, C]

    # absorb the 9th element into the state; the padding rule is that we need to append 1 followed by the 
    # number of zeros needed to get the state to the next multiple of 8
    dropw dropw
    # => [R2, R1, C]

    push.9.1.0.0.0.0.0.0
    # => [0, 0, 0, 0, 0, 0, 1, 9, C]

    # execute the RPO permutation
    hperm
    # => [R2, R1, C]
    
    exec.rpo::state_to_digest
    # => [R1]
end

begin
    # Initialize the capacity portion of the hasher state.
    padw
    # => [0, 0, 0, 0]

    # Absorb the first 8 values into the hasher state.
    push.1.2.3.4.5.6.7.8
    # => [8, 7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 0]

    # Execute the RPO permutation.
    hperm
    # => Permuted state [R2, R1, C]

    # Drop the two capacity elements to absorb the 9th element.
    dropw dropw
    # => [R2, R1]

    # Absorb the 9th element and apply padding.
    push.9.0.0.0.0.0.0.0
    # => [0, 0, 0, 0, 0, 0, 0, 9, R2, R1]

    # Execute the RPO permutation.
    hperm
    # => Permuted state [R2, R1, C]

    # Convert the state to the digest.
    exec.state_to_digest
    # => [Digest]
end

#! Computes hash of note inputs starting at the specified memory address.
#!
#! Inputs:  [inputs_ptr, num_inputs]
#! Outputs: [HASH]
#!
#! Panics if num_inputs is greater than 128.
export.compute_inputs_hash

#! Returns recipient digest of the note that is currently being processed.
#!
#! Inputs:  []
#! Outputs: [RECIPIENT]
#!
#! Panics if called outside of the note script context.
export.get_recipient_digest