| .. |
|
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)`
|
il y a 2 ans |
|
debug.rs
|
9d64403407
zk/debug: properly structure feature imports
|
il y a 2 ans |
|
mod.rs
|
a1c48a39c7
zk/debug: add import_witness_json()
|
il y a 2 ans |
|
proof.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
il y a 2 ans |
|
tracer.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
il y a 2 ans |
|
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)`
|
il y a 2 ans |
|
vm_heap.rs
|
fbe13ed480
DAO::propose(): goodbye nullifiers, hello SMT
|
il y a 2 ans |
skoupidi
9d64403407
zk/debug: properly structure feature imports