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.
Me too, as to do so you'd need to solve P == NP - we can split the $1million 50/50 if you like.
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?