1 of 17

Zero Knowledge in the Enterprise | June 2018

​

​

Presented by Jonathan S. Rouach (co-founder)

Copyright QED-it, 2018

2 of 17

2

Copyright QED-it 2018

ZKProof standardization workshop

May 10th-11th 2018, MIT Boston

3 of 17

3

Copyright QED-it 2018

Day 1

4 of 17

4

Copyright QED-it 2018

Day 1

Day 2

5 of 17

5

Copyright QED-it 2018

  • -

6 of 17

6

Copyright QED-it 2018

ZCash App

zkSNARK

Settlement Protocol

Settlement Circuit

Auxiliary Data

Trusted Setup

​

Blockchain

7 of 17

7

Copyright QED-it 2018

QED-it SDK

Customized App

Business Logic DSL

Aux Data

Protocol

Blockchain

ZKP module

8 of 17

SDK | Main features

8

Abstracts zkSNARK / STARK

Copyright QED-it 2018

DSL for the�Business Logic

Implements ZKProof Standard

Opinionated Protocols

Legacy data friendly

Modular Design

9 of 17

SDK ID protocol| Private records management

9

Copyright QED-it 2018 - Don't circulate

Main actors:

  1. Minter creates entity's identities
  2. Entity gives consent to answer Auditor questions
  3. ID manager maintains private records and generates referenced proofs to Auditor and/or Blockchain
  4. Issuers issue / revoke private records, share them with the ID manager and notarize them on the Blockchain
  5. Auditors verify proof's authenticity

Blockchain of proofs

Minter

Entity

Issuers

​

QED-it Prover

ID manager

​

QED-it Verifier

Auditors

2

3

4

4

5

1

10 of 17

SDK | Flat tax business logic

10

Copyright QED-it 2018 © 2018 Deloitte SAS

Première mondiale! Coder un business case Zero-Knowledge Proof en Zokrates

Age du contrat

Montant des contrats

Date du versement

Age du contrat

Date du versement

7,5%

12,8%

12,8%

7,5%

35%

15%

>8

<8

Av 27/09/17

Ap 27/09/17

Ap 27/09/17

Av 27/09/17

0-4

>150k

4-8

<150k

11 of 17

12 of 17

Placeholder | XXX

12

Copyright QED-it 2018

  • -

13 of 17

Placeholder | XXX

13

Copyright QED-it 2018

  • -

14 of 17

Placeholder | XXX

14

Copyright QED-it 2018

  • -

15 of 17

SDK | Private asset transfer with regulation

15

Copyright QED-it 2018

Blockchain of proofs

Manufacturer .

Asset Keeper

Asset Keeper

Asset Keeper

1

Reseller .

Client .

​

QED-it Wallet

  • Verifier
  • Prover

​

QED-it Wallet

  • Verifier
  • Prover

3

​

QED-it Wallet

  • Verifier
  • Prover

4

2

  1. Manufacturer generates an Asset
  2. Manufacturer defines transaction rules
  3. Manufacturer transfers the Asset to Reseller
  4. Reseller can transfer the Asset to client

16 of 17

Copyright QED-it 2018

17 of 17

Quod Erat Demonstrandum

jon@qed-it.com