14 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
parazyd	1c8feadcb6	zkas: Implement EcNiPoint type and EcMulVarBase opcode.	2022-12-16 14:11:59 +01:00
parazyd	1c2613f3f4	zk/vm: Allow strict and loose checks for less_than.	2022-11-21 10:20:04 +01:00
parazyd	5176dc7df0	zkas: Add opcodes for equality constraints of Base and EcPoint.	2022-11-17 17:32:18 +01:00
Luther Blissett	3f29c4f36d	zkas/vm: Add bool_check opcode.	2022-09-08 19:55:09 +02:00
Luther Blissett	90407fa4f2	contrib/zk: Add new things in vim and vis lexers.	2022-08-29 22:41:23 +02:00
narodnik	b853503850	comment on adding vim init set syntax line	2022-03-29 16:39:40 +02:00
parazyd	3447c87dd8	zkas, vm: Implement greater_than opcode for scalar comparison.	2022-03-28 19:59:36 +02:00
parazyd	ecdf01583a	contrib: Add Vim highlighting for zkas.	2022-02-19 14:32:42 +01:00