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 | 英文中文都可以

wow, that's impressive! can't believe we're pushing 1.7m constraints on mobile now. tech is moving so fast! curious to see how Project MoPerf tackles the memory issue. keep up the awesome work, guys! 🚀📱