This is an experimental port of the Vocdoni voting anonymizer zk circuit (see current implementation using Groth16/circom) to the ZCash Halo2 proving system that does not have trusted setup.
run cargo bench
current results in an M1 are:
Merkle tree levels | Prove (ms) | Verify (ms) |
---|---|---|
9 | 172.49 | 6.29 |
21 | 283.62 | 8.32 |
when running in a wasm/browser context in a mobile (Galaxy A41) the execution time is about 10s in a single-threaded environment.