20 Commits

Author	SHA1	Message	Date
parazyd	44b27d0228	contrib/zk.lua: Require spaces for indentation	2023-10-27 14:02:40 +02:00
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	b0c4b76153	contrib/zk.lua: Update range function.	2022-12-12 13:25:27 +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
parazyd	3447c87dd8	zkas, vm: Implement greater_than opcode for scalar comparison.	2022-03-28 19:59:36 +02:00
parazyd	230ff6fcc6	zk: Add base_sub opcode to VM and arithmetic chip.	2022-02-14 17:36:10 +01:00
parazyd	4e774c9710	zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.	2022-02-08 14:26:31 +01:00
parazyd	e00c8e0147	zkas: Separate constants into specific types.	2022-02-08 13:41:51 +01:00
parazyd	65e189fad6	zkas: Add Uin64 type.	2022-01-25 18:57:34 +01:00
parazyd	4773b85097	contrib: Add Uint32 type to zkas LPEG lexer.	2022-01-07 20:54:37 +01:00
parazyd	d965a9b9f8	contrib: Add LPEG lexer for the zkas language.	2022-01-06 18:37:42 +01:00