mohab metwally f853d113a2 pruning преди 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 f853d113a2 pruning преди 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 години