Interactive verifier

[th4s]

• Added necessary state and state transitions

• Move Prover future into its own module

• Put phase-specific prover code into its own modules

• Make ProverFuture public again

• Added Into from Closed to Verify for Prover state transition

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

• Rename SessionData to NotarizedSessionData and introduce SessionData for interactive verifier flow

• Added first sketches for HttpProver and Prover with Verifier state

• Introduced wrapper ServerInfo

ServerInfo is generated by SessionData and is the non-notarization version of SessionProof

• Crate ServerInfo from SessionData in Prover flow

• Introduced another module for direct substring proofs.

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

• Move RangeCollector and restore substring module

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

• Refactored verifier

• Added Verify state for Verifier

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

• Added more parts of verifier flow

• Adapt tests to new api changes

• Add some logging and improve code here and there

• Added ProofBuilder trait and started implementing it for SubstringsProofBuilder

• WIP: Tinkering with lifetimes...

• Resolved lifetime issues

• Refactor module proof to support another implementor of SubstringProofBuilder

• WIP: Adding LabelProofBuilder...

• Streamlined api

• Improved decoding flow

• Include lengths in LabelProof

• Improved structure of LabelProof and finished verify

• Added integration test for verify flow

• Add tests for LabelProof

• Improve test for LabelProof::verify

• Make tlsn compile without tlsn-formats

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

• Add first batch of feedback

• Add further feedback

• Separated decoding from finalization

• Add warning comment to Verifier::receive

• Remove unnecessary traits

• Adapt test

• Repair notarize integration test

• Add decode call to prover for verify integration test

• Simplified LabelProof and renamed to TranscriptProof

• Add range check to reconstruct

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

• Rename Verify to Prove

• Added more feedback

• Various code improvements

• Remove SessionData

• Restore naming of TlsProof and SessionData

• Improve error handling

• Adapt prove-verify flow to new API

• Finalize VM first

• Fix prover closing connection too early

• Add correct server certificate and assert correct redactions

• Fix imports after rebase

• Fix api test in tlsn-core

• Add feedback

• Fix linting in integration test

[th4s]

Do not squash when merging, since it is already squashed.

[th4s]

Closing in favor of #401