x ee108d0147 zk inclusion proof example il y a 3 ans
..
arithmetic.zk 1c2613f3f4 zk/vm: Allow strict and loose checks for less_than. il y a 3 ans
burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. il y a 4 ans
deploy_contract.zk 976fc6ceaa proof/deploy_contract: Syntax fix. il y a 3 ans
encrypt.zk 488e72c803 proof/encrypt.zk: Update with necessary types and opcodes. il y a 3 ans
inclusion_proof.zk ee108d0147 zk inclusion proof example il y a 3 ans
lead.zk 0a8392897e [consensus] lottery with headstart, for zero-stake participation il y a 3 ans
mint.zk 3686c32591 cherry picked fullwidth pedersen il y a 4 ans
opcodes.zk 1c8feadcb6 zkas: Implement EcNiPoint type and EcMulVarBase opcode. il y a 3 ans
tx.zk 8167f81e95 [consensus/stx] verify stx il y a 3 ans
voting.zk deaed0bdc8 Update zkas proofs merkle root opcode. il y a 4 ans