 parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
2 years ago |
|
parazyd
|
54ad30201f
zk: Move export_witness_json() to zk module.
|
2 years ago |
 x
|
444e6daba5
zkas: move cfg(feature=...) inside mod.rs from inside the module itself. This is cleaner since we can only use the module with the feature enabled.
|
2 years ago |
|
x
|
064cafb11a
zkas/util/export_witness_json(): exports witness.json for use with zkrunner. Useful for debugging zk circuits.
|
2 years ago |
|
parazyd
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
parazyd
|
71cd3064d6
Update license year.
|
3 years ago |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
|
Luther Blissett
|
a1732be74e
zkas/compiler: Introduce .literal section in bincode, and add remaining code.
|
4 years ago |
|
parazyd
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 years ago |
|
parazyd
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 years ago |
