| .. |
|
gadget
|
b3df76d5f4
zk::gadget::less_than: Test non-strict mode
|
2 years ago |
|
debug.rs
|
74b5ae9b0b
[zk-debug] Add licence header
|
2 years ago |
|
mod.rs
|
44b882859e
add module zk::debug, and move export_witness_json() and zkas_type_checks() inside it.
|
2 years ago |
|
proof.rs
|
8f46f7b777
lib: Clean up library features.
|
2 years ago |
|
tracer.rs
|
ebb4cab0ea
chore: Add missing license headers.
|
3 years ago |
|
vm.rs
|
10eb8eb6a3
zk::gadget::native_range_check: Always strict
|
2 years ago |
|
vm_heap.rs
|
44b882859e
add module zk::debug, and move export_witness_json() and zkas_type_checks() inside it.
|
2 years ago |
y
74b5ae9b0b
[zk-debug] Add licence header