aggstam 4ff042dde9 consensus/leadcoin: renamed tau to slot %!s(int64=3) %!d(string=hai) anos
..
arithmetic.zk 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. %!s(int64=3) %!d(string=hai) anos
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. %!s(int64=4) %!d(string=hai) anos
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. %!s(int64=3) %!d(string=hai) anos
encrypt.zk 488e72c803 proof/encrypt.zk: Update with necessary types and opcodes. %!s(int64=3) %!d(string=hai) anos
lead.zk 4ff042dde9 consensus/leadcoin: renamed tau to slot %!s(int64=3) %!d(string=hai) anos
mint.zk 3686c32591 cherry picked fullwidth pedersen %!s(int64=4) %!d(string=hai) anos
opcodes.zk 1c8feadcb6 zkas: Implement EcNiPoint type and EcMulVarBase opcode. %!s(int64=3) %!d(string=hai) anos
tx.zk 8167f81e95 [consensus/stx] verify stx %!s(int64=3) %!d(string=hai) anos
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. %!s(int64=4) %!d(string=hai) anos