If you can show how to go from a proof JSON generated by this app to any piece of information that points even slightly in the direction of the inputs used to generate that proof, I'd love to see it.
Would you? Are you saying that an oracle which gets some statistical information from such zk-proofs could be used to solve NP-complete problems in (randomized?) polynomial time?