32 lines
908 B
Plaintext
32 lines
908 B
Plaintext
include "../node_modules/circomlib/circuits/poseidon.circom";
|
|
|
|
// Helper template that computes hashes of the next tree layer
|
|
template TreeLayer(height) {
|
|
var nItems = 1 << height;
|
|
signal input ins[nItems * 2];
|
|
signal output outs[nItems];
|
|
|
|
component hash[nItems];
|
|
for(var i = 0; i < nItems; i++) {
|
|
hash[i] = Poseidon(2);
|
|
hash[i].inputs[0] <== ins[i * 2];
|
|
hash[i].inputs[1] <== ins[i * 2 + 1];
|
|
hash[i].out ==> outs[i];
|
|
}
|
|
}
|
|
|
|
// Builds a merkle tree from leaf array
|
|
template MerkleTree(levels) {
|
|
signal input leaves[1 << levels];
|
|
signal output root;
|
|
|
|
component layers[levels];
|
|
for(var level = levels - 1; level >= 0; level--) {
|
|
layers[level] = TreeLayer(level);
|
|
for(var i = 0; i < (1 << (level + 1)); i++) {
|
|
layers[level].ins[i] <== level == levels - 1 ? leaves[i] : layers[level + 1].outs[i];
|
|
}
|
|
}
|
|
|
|
root <== levels > 0 ? layers[0].outs[0] : leaves[0];
|
|
} |