原推：@kostascrypto I do think (c) is the big question though: to what extent do you have to go into application-specific optimizations, vs just using a general-purpose snark? I personally really hope we can shove as much into the second category as possible.
https://twitter.com/VitalikButerin/status/1598130958846550016