mohab metwally 43f6521a2f proof/tx.zk fix witness, and constrains 3 years ago
..
arithmetic.zk 6215fc7bd6 zk: Port code to latest Halo2 API. 4 years ago
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. 4 years ago
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. 3 years ago
lead.zk 6771e023a7 fix lead.zk 3 years ago
mint.zk 3686c32591 cherry picked fullwidth pedersen 4 years ago
opcodes.zk 5176dc7df0 zkas: Add opcodes for equality constraints of Base and EcPoint. 3 years ago
tx.zk 43f6521a2f proof/tx.zk fix witness, and constrains 3 years ago
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. 4 years ago