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