Merkle Inclusion Proofs in Noir

merkle_proof.nr

use std::hash::pedersen_hash;

fn main(root : pub Field,
  index : Field,
  hash_path : [Field; 2],
  secret: Field, priv_key: Field,
  public_param1: pub Field,
  public_param2: pub Field) -> pub Field
{
    let note_commitment = pedersen_hash([priv_key, secret]);
    let nullifier = pedersen_hash([root, priv_key, public_param1]);

    let computed_root =
      std::merkle::compute_merkle_root(note_commitment, index, hash_path);
    assert(root == computed_root);

    nullifier
}