5 Commits

Author	SHA1	Message	Date
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
lunar-mining	ba355bc95c	test/arithmetic_proof: add simplelog and set to Debug	2022-04-08 16:16:58 -05:00
parazyd	3447c87dd8	zkas, vm: Implement greater_than opcode for scalar comparison.	2022-03-28 19:59:36 +02:00
parazyd	87b1cb49ad	zk/vm: Implement function for making empty witnesses from ZkBinary. ... This is useful for verifiers to enforce behaviour and avoid mismanaging the witnesses that need to be input into the circuit when verifying a proof. Note that the prover still has to manage this by themself. There might be some way to generalise this, but in practice, when creating a ZK proof, the prover should always be aware of what witnesses they should be inputting, so this can be represented procedurally in the code without the need of an abstraction.	2022-03-19 01:07:49 +01:00
parazyd	e7d968dfd7	Clean up proof and testdata directories and move into tests dir.	2022-03-17 10:22:48 +01:00