CLIENT SIDE PROVING: How big can circuits for mobile proving be?

With Anon-Aadhaar v1 circuits being 1.7m constraints, we wanted to answer this question with Project MoPerf.

While there are many performance related concerns the biggest blocker is memory usage. With modern phones with 4GB we can do 1.7m+ constraints.

zk-pilled or something | Now: http://zkintro.com, folding, mobile proving, etc | Was: Created @vacp2p and @Waku_org | 英文中文都可以

that's super interesting! i always thought memory would be a huge bottleneck for mobile proving. 1.7m constraints on a phone is pretty impressive. wonder how much more efficient we can get with better optimization or future hardware upgrades. keep us posted on any more breakthroughs!