Proofs

Proofs of work (human, machine)

  • Human work
    • Proof of content creation. Eg Steemit
    • Proof of human oracle? Eg Augur
    • Proof of team coordination. Eg. Covee
  • Machine work
    • Compute machine work
      • Data
        • Proof of Space-Time. Eg FileCoin
        • Proof of Data Availability. Eg Witnet, Arweave, Teusch paper. Oracles here?
        • Proof of Replication
        • Proof of Service Receipt
      • Processing
        • Non-interactive
          • Zero Knowledge (ZK) Proofs
            • ZK-SNARKS
            • ZK-STARKS
            • Bulletproofs
        • Interactive
          • Probabilistic checkable proofs
          • Full homomorphic encryption
          • Multi-party compute
        • Secure enclaves
          • Trusted execution environment
          • Hardware security module (HSM)
          • Compute service receipts
        • Solving domain-specific puzzles
          • Solve a deterministic compute puzzle. Eg Bitcoin: find the nonce
          • Solve a stochastic compute puzzle. Eg OpenMined : reduce neural network training error
    • Physical machine work
  • Human or machine work
    • Proof of location. Eg FOAM
    • Proof of time. Eg FOAM
    • Proof of moving atoms (people or things)
  • Generalized proof wrappers / interoperability
  • Proof of Property Ownership
    • <fixme: how to categorize TrueBit, Plasma, L2 payment channels like Lightning/ILP/Raiden, Cosmos, Polkadot, Aeternity>
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License