mohab metwally d117643e48 lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict пре 3 година
..
arithmetic.zk 6215fc7bd6 zk: Port code to latest Halo2 API. пре 4 година
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. пре 4 година
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. пре 3 година
lead.zk d117643e48 lead.zk, consnsus/leadcoin.rs fixed lead contract commitments, prefixes, pk, and changed vm lessthan to non strict пре 3 година
mint.zk 3686c32591 cherry picked fullwidth pedersen пре 4 година
opcodes.zk a5fc5528de proof/opcodes.zk: Fix typo пре 3 година
tx.zk aa356a00bd fix typo in tx.zk пре 3 година
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. пре 4 година