Files
darkfi/proof/smt.zk

17 lines
206 B
Plaintext

k = 14;
field = "pallas";
constant "SMT" {
}
witness "SMT" {
SparseMerklePath path,
Base leaf,
}
circuit "SMT" {
root = sparse_merkle_root(leaf, path, leaf);
constrain_instance(root);
}