parazyd b07bb4e2b0 proof: Add example for arithmetic operations.

2022-02-08 14:27:46 +01:00

..

arithmetic.rs

proof: Add example for arithmetic operations.

2022-02-08 14:27:46 +01:00

arithmetic.zk

proof: Add example for arithmetic operations.

2022-02-08 14:27:46 +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: Add WIP DAO

2022-02-08 00:52:03 +01:00

dao.zk

proof: Add WIP DAO

2022-02-08 00:52:03 +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