dan-coincrunch

achill rudolph

Eden Dhaliwal

morganmoskalyk

mpompery

Frederik Bussler

hodlhands

Lawrence Hecht

AngelaKreitenweis

adriankrion

sereot

mediavendis

maxbronstein

cburniske

asafaryan

jwaup

Elfi Sixt

MCorning

Or Luis Shemtov

bmann

... 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
  • <fixme: how to categorize TrueBit, Plasma, L2 payment channels like Lightning/ILP/Raiden, Cosmos, Polkadot, Aeternity>