<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">"""<br>Could the verifier be allowed a global understanding using something<br>akin to homomorphic encryption, though?<br>"""<br><br>In some sense I would suppose yes for FHE, but the method of verification<br>in ZKP seems not to be. Again, you mentioned playing fast and loose with<br>the bindings. It would be great to really understand FHE systems better,<br>and there is always plowing through the Gentry paper or checking in on<br>how far Google has publicly gotten with it. From what I understand about<br>FHE, one encrypts some data (whole databases, perhaps) and then one can<br>operate on that data in its encrypted form via homomorphisms. Now one<br>can operate meaningfully on the data without having access to the data.<br>I would suspect it is necessary to present a limited DSL of homomorphic<br>actions to make this privacy truly work. One wouldn't want one of those<br>accessible homomorphic actions to be to simply decode the database.<br><br><br>"""<br>So, I would have said: Just like propositions participate in many<br>proofs, identities can employ many agents. But we're playing fast and<br>loose with our bindings. "Agent" often means the object/thing, whereas<br>"identity" means the attributes of that object/thing. So, maybe you<br>accidentally flipped that as you went along in the post?<br>"""<br><br>I am considering the bipartite (hyper?) graph at the top of Stephen's<br>earlier Wikipedia reference[ω]. There they use the word entity instead<br>of the word agent. I do mean many proofs for a proposition, for instance,<br>the proposition could be that there are an infinite number of primes.<br>A piece that I could easily be missing is in the "colorings" formal<br>analogy. There, do different formal proofs of a statement give different<br>colorings? Is there ultimately an isomorphism between possible proofs<br>and possible colorings? This part doesn't seem right to me, I would be<br>surprised. So, I know I am missing something.<br><br>[ω] <a href="https://en.wikipedia.org/wiki/File:Identity-concept.svg">https://en.wikipedia.org/wiki/File:Identity-concept.svg</a><br></div></div>