12 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	5d9a954235	tests: Extend zkvm tests for zero_cond opcode.	2023-07-08 11:12:57 +02:00
parazyd	f4932072c6	zkvm: Implement cond_select opcode.	2023-05-27 15:35:48 +02:00
parazyd	411d25aa85	Use patched halo2_gadgets project-wide.	2023-05-10 16:17:29 +02:00
parazyd	be9013ed31	zkas: Rename "contract" to "witness".	2023-05-10 13:24:02 +02: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	a5fc5528de	proof/opcodes.zk: Fix typo	2022-11-17 20:40:15 +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	a24d9db8e9	tests: Add test units to test all zkvm opcodes. ... TODO: Test failures.	2022-08-29 22:41:23 +02:00