Commit Graph

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
narodnik
29a9182010 simple zk contract example 2022-04-22 11:34:56 +02:00