| .. |
|
analyzer.rs
|
2956207cc5
chore: clippy
|
hace 2 años |
|
ast.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
compiler.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
constants.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
decoder.rs
|
1a1a26e396
Revert "sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs"
|
hace 2 años |
|
error.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
lexer.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
mod.rs
|
0e6f51e895
chore: Update copyright year in license headers
|
hace 2 años |
|
opcode.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)`
|
hace 2 años |
|
parser.rs
|
1a1a26e396
Revert "sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs"
|
hace 2 años |
|
types.rs
|
376784af2e
zkas/zk: add sparse_tree_is_member() opcode
|
hace 2 años |
zero
1a1a26e396
Revert "sdk: move find_subslice() and NextTupleN from zkas into SDK util.rs"