dan a48aea6712 Simplified the Verification section (#22) ...

Co-authored-by: Hendrik Eeckhaut <hendrik@eeckhaut.org>

2023-09-14 15:41:47 +02:00

..

client-state-diagram.drawio

Renamed all diagram extensions to .drawio

2023-07-31 10:58:55 +02:00

convert_all.sh

Dark mode diagrams

2023-09-12 18:56:37 +02:00

crate_structure.drawio

Renamed all diagram extensions to .drawio

2023-07-31 10:58:55 +02:00

data_provenance_none.drawio

Rewrote motivation part. (#39)

2023-09-14 09:44:52 +02:00

data_provenance_oauth.drawio

Rewrote motivation part. (#39)

2023-09-14 09:44:52 +02:00

data_provenance_tlsn.drawio

Rewrote motivation part. (#39)

2023-09-14 09:44:52 +02:00

data_provenance_ultimate.drawio

Rewrote motivation part. (#39)

2023-09-14 09:44:52 +02:00

gc-types.drawio

gc-types

2023-01-18 10:23:20 -08:00

intro-diagram.drawio

Added introductory protocol overview

2023-03-27 11:26:09 +02:00

key_exchange.drawio

Renamed all diagram extensions to .drawio

2023-07-31 10:58:55 +02:00

overview2.drawio

Overview diagrams

2023-08-02 10:19:38 +02:00

overview_notarization.drawio

Overview diagrams

2023-08-02 10:19:38 +02:00

overview_notary.drawio

Rewrote introduction (#37)

2023-09-13 14:04:33 +02:00

overview_prover_verifier.drawio

Rewrote introduction (#37)

2023-09-13 14:04:33 +02:00

overview.drawio

New introduction

2023-08-18 14:30:02 +02:00

protocol.drawio

Renamed all diagram extensions to .drawio

2023-07-31 10:58:55 +02:00

transcript.drawio

Renamed all diagram extensions to .drawio

2023-07-31 10:58:55 +02:00

verification_example.drawio

Simplified the Verification section (#22)

2023-09-14 15:41:47 +02:00