k = 14;
field = "pallas";

constant "SMT" {
}

witness "SMT" {
    SparseMerklePath path,
    Base leaf,
}

circuit "SMT" {
    root = sparse_merkle_root(leaf, path, leaf);
    constrain_instance(root);
}

