2 Commits

Author SHA1 Message Date
parazyd
6a024ab801 zkas: Add a field definition on top of the circuit file.
Currently unused, but will probably be expanded to define proofs over
different fields.
2023-08-14 17:09:18 +02:00
parazyd
a374dd2d3a Move zkrunner/set_v1.zk to proof directory. 2023-08-13 16:24:57 +02:00