parazyd 488e72c803 proof/encrypt.zk: Update with necessary types and opcodes. пре 3 година
..
arithmetic.zk 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. пре 3 година
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. пре 4 година
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. пре 3 година
encrypt.zk 488e72c803 proof/encrypt.zk: Update with necessary types and opcodes. пре 3 година
lead.zk 8f7ae3f6e9 consensus: slot configuration updated, transactions per proposal cap added пре 3 година
mint.zk 3686c32591 cherry picked fullwidth pedersen пре 4 година
opcodes.zk 1c8feadcb6 zkas: Implement EcNiPoint type and EcMulVarBase opcode. пре 3 година
tx.zk 8167f81e95 [consensus/stx] verify stx пре 3 година
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. пре 4 година