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
parazyd
488e72c803 proof/encrypt.zk: Update with necessary types and opcodes. 2022-12-16 14:13:19 +01:00
x
f918aab7e2 add example of verifiable encryption 2022-12-16 12:40:44 +01:00