Code

Interactive verifier#379

Code

Merged

th4s merged 59 commits intov0.1.0-alpha.3tlsnotary/tlsn:v0.1.0-alpha.3from interactive-verifiertlsnotary/tlsn:interactive-verifierCopy head branch name to clipboardDec 5, 2023

+1,322-438

Commits

Commits on Nov 20, 2023

• Added necessary state and state transitions

  th4s

  committed
  f27c1e4

  Copy full SHA for f27c1e4

• Move Prover future into its own module

  th4s

  committed
  4452860

  Copy full SHA for 4452860

• Put phase-specific prover code into its own modules

  th4s

  committed
  1d1d4c3

  Copy full SHA for 1d1d4c3

• Make ProverFuture public again

  th4s

  committed
  8a4d897

  Copy full SHA for 8a4d897

• Added Into from Closed to Verify for Prover state transition

  th4s

  committed
  3ff2f62

  Copy full SHA for 3ff2f62

• Added first part of finalize method for Prover<Verify>

  th4s

  committed
  a9cbc53

  Copy full SHA for a9cbc53

• Rename SessionData to NotarizedSessionData and introduce

  Show description for bde427d
  th4s

  committed
  bde427d

  Copy full SHA for bde427d

• Added first sketches for HttpProver and Prover with Verifier state

  th4s

  committed
  b81c0a1

  Copy full SHA for b81c0a1

• Introduced wrapper ServerInfo

  Show description for 736ff9a
  th4s

  committed
  736ff9a

  Copy full SHA for 736ff9a

• Crate ServerInfo from SessionData in Prover<Verify> flow

  th4s

  committed
  e226138

  Copy full SHA for e226138

• Introduced another module for direct substring proofs.

  th4s

  committed
  01d0bba

  Copy full SHA for 01d0bba

• WIP: Added dirty first version of prover flow...

  th4s

  committed
  d86456c

  Copy full SHA for d86456c

• Move RangeCollector and restore substring module

  th4s

  committed
  398940a

  Copy full SHA for 398940a

• Tidy up tlsn-core and finish first version of prover flow for dealing

  Show description for d8129ad
  th4s

  committed
  d8129ad

  Copy full SHA for d8129ad

• Refactored verifier

  th4s

  committed
  72ec43d

  Copy full SHA for 72ec43d

• Added Verify state for Verifier

  th4s

  committed
  e762910

  Copy full SHA for e762910

• WIP: Added first draft for verify flow...

  th4s

  committed
  c082001

  Copy full SHA for c082001

• Added more parts of verifier flow

  th4s

  committed
  246c951

  Copy full SHA for 246c951

• Adapt tests to new api changes

  th4s

  committed
  2c43f0f

  Copy full SHA for 2c43f0f

• Add some logging and improve code here and there

  th4s

  committed
  f343c30

  Copy full SHA for f343c30

• Added ProofBuilder trait and started implementing it for SubstringsProofBuilder

  th4s

  committed
  5950680

  Copy full SHA for 5950680

• WIP: Tinkering with lifetimes...

  th4s

  committed
  1b20c81

  Copy full SHA for 1b20c81

• Resolved lifetime issues

  th4s

  committed
  c233d1a

  Copy full SHA for c233d1a

• Refactor module proof to support another implementor of SubstringProofBuilder

  th4s

  committed
  7349c92

  Copy full SHA for 7349c92

• WIP: Adding LabelProofBuilder...

  th4s

  committed
  52377ce

  Copy full SHA for 52377ce

• Streamlined api

  th4s

  committed
  8d58e9d

  Copy full SHA for 8d58e9d

• Improved decoding flow

  th4s

  committed
  a128a95

  Copy full SHA for a128a95

• Include lengths in LabelProof

  th4s

  committed
  c05efea

  Copy full SHA for c05efea

• Improved structure of LabelProof and finished verify

  th4s

  committed
  ea635d6

  Copy full SHA for ea635d6

• Added integration test for verify flow

  th4s

  committed
  8f43c9a

  Copy full SHA for 8f43c9a

• Add tests for LabelProof

  th4s

  committed
  4096093

  Copy full SHA for 4096093

• Improve test for LabelProof::verify

  th4s

  committed
  da0c8dd

  Copy full SHA for da0c8dd

• Make tlsn compile without tlsn-formats

  th4s

  committed
  ffe2f01

  Copy full SHA for ffe2f01

• Restore tlsn-formats from dev and temporarily remove from workspace

  th4s

  committed
  9b85118

  Copy full SHA for 9b85118

• Add first batch of feedback

  th4s

  committed
  510eea6

  Copy full SHA for 510eea6

• Add further feedback

  th4s

  committed
  3908215

  Copy full SHA for 3908215

• Separated decoding from finalization

  th4s

  committed
  9c58f71

  Copy full SHA for 9c58f71

• Add warning comment to Verifier::receive

  th4s

  committed
  8d5895e

  Copy full SHA for 8d5895e

• Remove unnecessary traits

  th4s

  committed
  d4d2d98

  Copy full SHA for d4d2d98

• Adapt test

  th4s

  committed
  07e5984

  Copy full SHA for 07e5984

• Repair notarize integration test

  th4s

  committed
  bffa3bb

  Copy full SHA for bffa3bb

• Add decode call to prover for verify integration test

  th4s

  committed
  ef517c1

  Copy full SHA for ef517c1

• Simplified LabelProof and renamed to TranscriptProof

  th4s

  committed
  2f2fca9

  Copy full SHA for 2f2fca9

• Add range check to reconstruct

  th4s

  committed
  051b643

  Copy full SHA for 051b643

• Roll back changes to tlsn-prover/src/http

  th4s

  committed
  12847b0

  Copy full SHA for 12847b0

• Rename Verify to Prove

  th4s

  committed
  09f5184

  Copy full SHA for 09f5184

• Added more feedback

  th4s

  committed
  b93d39b

  Copy full SHA for b93d39b

• Various code improvements

  th4s

  committed
  f8694de

  Copy full SHA for f8694de

• Remove SessionData

  th4s

  committed
  12dabb7

  Copy full SHA for 12dabb7

• Restore naming of TlsProof and SessionData

  th4s

  committed
  ece1f68

  Copy full SHA for ece1f68

• Improve error handling

  th4s

  committed
  9cdf6ea

  Copy full SHA for 9cdf6ea

• Adapt prove-verify flow to new API

  th4s

  committed
  e305028

  Copy full SHA for e305028

• Finalize VM first

  th4s

  committed
  dd29c30

  Copy full SHA for dd29c30

• Fix prover closing connection too early

  th4s

  committed
  8d3b5c6

  Copy full SHA for 8d3b5c6

• Add correct server certificate and assert correct redactions

  th4s

  committed
  541b268

  Copy full SHA for 541b268

• Fix imports after rebase

  th4s

  committed
  e5d4205

  Copy full SHA for e5d4205

• Fix api test in tlsn-core

  th4s

  committed
  7d4a727

  Copy full SHA for 7d4a727

Commits on Dec 4, 2023

• Add feedback

  th4s

  committed
  0e347c8

  Copy full SHA for 0e347c8

• Fix linting in integration test

  th4s

  committed
  b1d2c68

  Copy full SHA for b1d2c68