y
|
74b5ae9b0b
[zk-debug] Add licence header
|
2 years ago |
x
|
cb300876cf
zk::debug::zkas_check_types(): also check witnesses.len() matches for both circuit and binary
|
2 years ago |
x
|
44b882859e
add module zk::debug, and move export_witness_json() and zkas_type_checks() inside it.
|
2 years ago |