Jeff Emmett

betolive

DW Innovate GmbH

dan-coincrunch

achill rudolph

Eden Dhaliwal

morganmoskalyk

mpompery

Frederik Bussler

hodlhands

Lawrence Hecht

AngelaKreitenweis

adriankrion

sereot

mediavendis

maxbronstein

cburniske

asafaryan

jwaup

Elfi Sixt

... and more

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>