7 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
281aa87faf zk/vm: Implement zero_cond opcode. 2023-07-08 11:07:07 +02:00
parazyd
f4932072c6 zkvm: Implement cond_select opcode. 2023-05-27 15:35:48 +02:00
parazyd
a326a67901 zkas: Add basic debug prints 2023-05-24 13:09:54 +02:00
aggstam
83fcb5e98e contrib: updated lang files 2023-05-10 23:13:02 +03:00
aggstam
9ed1ee7710 contrib: zk.lang spec file added 2023-02-01 19:42:11 +02:00