Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Going beyond
decentralized networks with
prover-verifier systems
Richard Caetano
CEO of Stratumn
Anuj Das Gupta
VP of Resea...
Proof Systems
A prover must be able to convince the verifier of a
statement about reality or a held secret
Proof Systems in Bitcoin
Prover Verifier
USER: I am sending bitcoin NETWORK: Is the transaction signed,
not double spent?
N...
Proof Matrix
Smart Contracts with no
external input
Smart Contracts with
Oracles
Zero Knowledge Proofs,

Proof of Work, et...
Proof of Process
A Prover can convince a verifier of the
integrity of an internal process.
Trust Models
Release the crowdfunding
money after the threshold
has been met
The product has been
delivered, release payme...
Transition from Client/Server architecture
to Prover/Verifier
Proof System Model
Thank you
hello@stratumn.com or slack.stratumn.com
Come help us build
proof networks.
Upcoming SlideShare
Loading in …5
×

Going Beyond Decentralized Networks with Prover-Verifier Systems

232 views

Published on

In this talk given at EDCON 2017 in Paris, Stratumn CEO, Richard Caetano, and VP of Research, Anuj Das Gupta, give an overview of proof systems and how to design with a prover/verifiers framework for building decentralized systems.

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Going Beyond Decentralized Networks with Prover-Verifier Systems

  1. 1. Going beyond decentralized networks with prover-verifier systems Richard Caetano CEO of Stratumn Anuj Das Gupta VP of Research
  2. 2. Proof Systems A prover must be able to convince the verifier of a statement about reality or a held secret
  3. 3. Proof Systems in Bitcoin Prover Verifier USER: I am sending bitcoin NETWORK: Is the transaction signed, not double spent? NETWORK: We confirm the transaction USER: Can I control these bitcoins? MINER: I’ve solved the PoW problem NETWORK: Do we agree to award new bitcoin?
  4. 4. Proof Matrix Smart Contracts with no external input Smart Contracts with Oracles Zero Knowledge Proofs,
 Proof of Work, etc. Digital Signatures from Trusted Sources SubjectiveObjective Pro-ActiveRetro-Active ProofConstruction Proof Verification
  5. 5. Proof of Process A Prover can convince a verifier of the integrity of an internal process.
  6. 6. Trust Models Release the crowdfunding money after the threshold has been met The product has been delivered, release payment Proof of existence to claim my commitment My doctor says I qualify for a discount on my insurance SubjectiveObjective Pro-ActiveRetro-Active Guarantee Assumptions
  7. 7. Transition from Client/Server architecture to Prover/Verifier Proof System Model
  8. 8. Thank you hello@stratumn.com or slack.stratumn.com Come help us build proof networks.

×