4 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
x
ee108d0147 zk inclusion proof example 2023-01-29 13:05:13 +01:00