"""
I'm thinking along the lines of your side note that propositions have
many proofs (polyphenism) and agents have many identities (robustness).
"""
Thank you for that connection, I hadn't thought about it. It is the
polyphenism that I typically find most exciting about proofs, the way
proof of a
Ah, thanks. So you were talking about robustness in both cases. Sorry for my
confusion.
I suppose there's also some ambiguity in "global". Sometimes I use "non-local"
to indicate information bound to the context, but where there are still
encapsulated/opaque regions. And then "global" means *ev
"""
Could the verifier be allowed a global understanding using something
akin to homomorphic encryption, though?
"""
In some sense I would suppose yes for FHE, but the method of verification
in ZKP seems not to be. Again, you mentioned playing fast and loose with
the bindings. It would be great to
Could the verifier be allowed a global understanding using something akin to
homomorphic encryption, though?
I'm thinking along the lines of your side note that propositions have many
proofs (polyphenism) and agents have many identities (robustness). I worry that
I've missed your point, though,
I suppose the slogan could be:
"Proofs are to propositions as identities are to agents",
and in the context of zero knowledge protocols, the parallel extends to:
φ: Verifying a proof without exposing the proof.
ψ: Verifying an identity without exposing the identity.
To the degree that φ is the ca
Right, which came on the tail end of the argument about anti-vaxers' claims of
bodily sovereignty. Part of Kim's argument *for* the vaccine mandates is that
one's self doesn't really stop at one's skin. We're permeable to, participants
in, the molecular/organismal stew in which we swim. In this
At VFriam with Glen and Jon. as I came into their discussion on identity,
I brought up Self-Sovereignty Identity as something we're designing for in
our day job with Realtime.Earth.
If we classify Web 1.0 (1993-2005) roughly simple pages with databases and
forms. Web 2.0 (~2005-2015) was an era o
So dismissive of the analog information..
> On Oct 18, 2021, at 10:21 AM, uǝlƃ ☤>$ wrote:
>
>
> The Diverse Meanings of Digital Sovereignty
> https://globalmedia.mit.edu/2020/08/05/the-diverse-meanings-of-digital-sovereignty/
>
> "
> 1) Cyberspace sovereignty
> 2) State Digital Sovereignty
>
