[circuits] benchmark snark proof generation with production-like parameters (e.g. 1024 state leaves and 32 vote options)

[privacy-scaling-explorations]

[circuits] benchmark snark proof generation with production-like parameters (e.g. 1024 state leaves and 32 vote options)

[kendricktan]

Tested on

Macbook Pro (13-inch, 2019) running macOS Catalina, v 10.15.2

(13-inch, 2019, Two Thunderbolt 3 ports)
1.4 GHz Quad-Core Intel Core i5
16 GB 2133 MHz LPDDR3
Intel Iris Plus Graphics 645 1536 MB

With 10 depth for state and command tree (1024 leaves), and 5 depth for vote options tree (32 vote options)

Operation	Time(s)
Circuit Compile	~13.4
Circuit Setup	~1710.96
Circuit Generate Verifier	~1.55
Circuit Witness Calculation	~14.21
WebSnark Proof Generation	~154.20

console.log(circuit.nConstraints)
// 100448