5 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
99f68db953 zkas: Enforce k declaration on top of the source file. 2023-07-20 14:19:52 +02:00
parazyd
be9013ed31 zkas: Rename "contract" to "witness". 2023-05-10 13:24:02 +02:00
Luther Blissett
deaed0bdc8 Update zkas proofs merkle root opcode. 2022-08-29 22:41:23 +02:00
parazyd
79c59cda17 Move "proofs" to "proof". 2022-01-25 23:41:16 +01:00