LogoLogo
LogoLogo
  • airma.de
  • Basics
    • Support
    • Family-run circus: an example of customization
    • Unsustainable customization vs. aggressive viruses
    • Prototypes, products and open-source
    • Knowledge in a market economy
    • Relevant literature
  • Software
    • Digital mathematics
    • Verified unique aliases
    • Digital sovereignty
  • Unfer: Unitary Inference
    • Unitary inference: introduction
    • Fock space vs. ZFC axioms, Higher-order logic and ∞-categories
Powered by GitBook
On this page
  1. Software

Verified unique aliases

PreviousDigital mathematicsNextDigital sovereignty

Last updated 2 months ago

Using Paypal's openid information about the verification and unique identifier, we can produce a zero knowledge proof (using or ) that an encryption of the unique identifier is verified by Paypal. The encryption public key is chosen by the user, for instance a Police email encryption public key. We can create a function/service that verifies the zero-knowledge proof.

This is useful to implement a network of GNS/DISSENS servers, for online voting, for email aliases using , ads and analytics , etc.

https://github.com/starkware-libs/stwo
https://github.com/NilFoundation/zkLLVM
https://addy.io
https://docs.prebid.org/identity/sharedid.html