parazyd cc308da5e0 proof/dao: More WIP, use the VM instead of custom circuit.

2022-02-15 11:33:20 +01:00

..

arithmetic.rs

zk: Add base_sub opcode to VM and arithmetic chip.

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

arithmetic.zk

zk: Add base_sub opcode to VM and arithmetic chip.

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

burn.rs

proof: Fix examples for new halo2 API.

2022-02-08 01:23:53 +01:00

burn.zk

zkas: Separate constants into specific types.

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

dao.rs

proof/dao: More WIP, use the VM instead of custom circuit.

2022-02-15 11:33:20 +01:00

dao.zk

proof/dao: More WIP, use the VM instead of custom circuit.

2022-02-15 11:33:20 +01:00

mint.rs

proof: Fix examples for new halo2 API.

2022-02-08 01:23:53 +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