parazyd b07bb4e2b0 proof: Add example for arithmetic operations. %!s(int64=4) %!d(string=hai) anos
..
arithmetic.rs b07bb4e2b0 proof: Add example for arithmetic operations. %!s(int64=4) %!d(string=hai) anos
arithmetic.zk b07bb4e2b0 proof: Add example for arithmetic operations. %!s(int64=4) %!d(string=hai) anos
burn.rs 047ff319b6 proof: Fix examples for new halo2 API. %!s(int64=4) %!d(string=hai) anos
burn.zk e00c8e0147 zkas: Separate constants into specific types. %!s(int64=4) %!d(string=hai) anos
dao.rs fa5fec46dc proof: Add WIP DAO %!s(int64=4) %!d(string=hai) anos
dao.zk fa5fec46dc proof: Add WIP DAO %!s(int64=4) %!d(string=hai) anos
mint.rs 047ff319b6 proof: Fix examples for new halo2 API. %!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