| .. |
|
gadget
|
9188a62bb3
smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)`
|
2 years ago |
|
debug.rs
|
61661052ce
sdk/util: rename Fp.to_str() to Fp.to_string(), and encode/deocde hex strings with 0x prefix.
|
2 years ago |
|
mod.rs
|
a1c48a39c7
zk/debug: add import_witness_json()
|
2 years ago |
|
proof.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
2 years ago |
|
tracer.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
2 years ago |
|
vm.rs
|
9188a62bb3
smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)`
|
2 years ago |
|
vm_heap.rs
|
fbe13ed480
DAO::propose(): goodbye nullifiers, hello SMT
|
2 years ago |
zero
9188a62bb3
smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)`