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