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
- Zero Knowledge (ZK) Proofs
- 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
- Non-interactive
- Data
- Physical machine work
- Compute 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>
page revision: 2, last edited: 21 Oct 2018 03:47