Sergio's a great guy, but he does NOT understand the mechanics behind SNARKS "very well". You're overestimating his grasp of the moon-math in SNARKS.