parazyd e7d968dfd7 Clean up proof and testdata directories and move into tests dir. %!s(int64=4) %!d(string=hai) anos
..
arithmetic.zk 230ff6fcc6 zk: Add base_sub opcode to VM and arithmetic chip. %!s(int64=4) %!d(string=hai) anos
burn.zk e00c8e0147 zkas: Separate constants into specific types. %!s(int64=4) %!d(string=hai) anos
mint.zk e00c8e0147 zkas: Separate constants into specific types. %!s(int64=4) %!d(string=hai) anos
voting.zk 79c59cda17 Move "proofs" to "proof". %!s(int64=4) %!d(string=hai) anos