lunar-mining 3b6a51678d daod/proof: add less_than or equal to checks + bool_check 3 years ago
..
dao-exec.zk 3b6a51678d daod/proof: add less_than or equal to checks + bool_check 3 years ago
dao-mint.zk 0aa108c83d daod: dao-mint zk prove & verify 4 years ago
dao-propose-burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. 4 years ago
dao-propose-main.zk 3b6a51678d daod/proof: add less_than or equal to checks + bool_check 3 years ago
dao-vote-burn.zk deaed0bdc8 Update zkas proofs merkle root opcode. 4 years ago
dao-vote-main.zk 3b6a51678d daod/proof: add less_than or equal to checks + bool_check 3 years ago
foo.zk ace5a2706a daod/example_contract: create example proof + empty contract frame with stub methods 4 years ago