9 Commits

Author	SHA1	Message	Date
zero	4532b8d229	for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).	2024-03-27 11:30:04 +01: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	be9013ed31	zkas: Rename "contract" to "witness".	2023-05-10 13:24:02 +02:00
parazyd	1c2613f3f4	zk/vm: Allow strict and loose checks for less_than.	2022-11-21 10:20:04 +01:00
parazyd	6215fc7bd6	zk: Port code to latest Halo2 API. ... greater_than and crypsinous lead proof are temporarily disabled.	2022-06-18 16:08:52 +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	b07bb4e2b0	proof: Add example for arithmetic operations.	2022-02-08 14:27:46 +01:00