> zk-SNARKs are totally private even if ... the cryptographic assumptions underlying zk-SNARKs fall apart
On the face of it, that sounds very wrong. Could you elaborate on what you were saying?
On the face of it, that sounds very wrong. Could you elaborate on what you were saying?
That is, if I ask 1 billion questions about a resource, and get true, verifiable answers, can't I find out something about it? For example, some projection onto a linear subspace or something.