darkfi/script/research/zkvm-metering/generator/proof/merkle_root.zk

k = 13;
field = "pallas";

constant "MerkleRoot" {
}

witness "MerkleRoot" {
	Base leaf,
	Uint32 leaf_pos,
	MerklePath path,
}

circuit "MerkleRoot" {
	root = merkle_root(leaf_pos, path, leaf);
	# constrain_instance(root)
}