parazyd e7d968dfd7 Clean up proof and testdata directories and move into tests dir.

2022-03-17 10:22:48 +01:00

..

arithmetic.zk

zk: Add base_sub opcode to VM and arithmetic chip.

2022-02-14 17:36:10 +01:00

burn.zk

zkas: Separate constants into specific types.

2022-02-08 13:41:51 +01:00

mint.zk

zkas: Separate constants into specific types.

2022-02-08 13:41:51 +01:00

voting.zk

Move "proofs" to "proof".

2022-01-25 23:41:16 +01:00