Tomuus parent
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?