| .. |
|
arithmetic.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
před 2 roky |
|
cond_select.rs
|
69ec231a14
zk/gadget/cond_select: Implement gadget unit test
|
před 2 roky |
|
is_equal.rs
|
caac0f9bec
zk/gadget: WIP sparse Merkle tree gadget implementation
|
před 2 roky |
|
is_zero.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
před 2 roky |
|
less_than.rs
|
ce35921cab
zk::vm: Refactor range checks to reuse table
|
před 2 roky |
|
mod.rs
|
caac0f9bec
zk/gadget: WIP sparse Merkle tree gadget implementation
|
před 2 roky |
|
native_range_check.rs
|
ce35921cab
zk::vm: Refactor range checks to reuse table
|
před 2 roky |
|
small_range_check.rs
|
8e3edcb3cb
zk/gadget/small_range_check: Assert that `range > 0` in range_check()
|
před 2 roky |
|
smt.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)`
|
před 2 roky |
|
zero_cond.rs
|
258849f79e
zk/gadget/zero_cond: Simplify ZeroCondChip PLONK gate
|
před 2 roky |
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)`