mohab metwally 6771e023a7 fix lead.zk vor 3 Jahren
..
arithmetic.zk 6215fc7bd6 zk: Port code to latest Halo2 API. vor 4 Jahren
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. vor 4 Jahren
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. vor 3 Jahren
lead.zk 6771e023a7 fix lead.zk vor 3 Jahren
mint.zk 3686c32591 cherry picked fullwidth pedersen vor 4 Jahren
opcodes.zk 5176dc7df0 zkas: Add opcodes for equality constraints of Base and EcPoint. vor 3 Jahren
tx.zk fa89bae1bf [proof] fix c3/c4 constrained commitments vor 3 Jahren
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. vor 4 Jahren