* Add hot reload of api key, remove prover ip, move html static text.
* Add documentation.
* Toggle back config, add comments.
* Edit comment and html info.
* Edit comment.
* Change to sync mutex.
* Remove cargo/bin from PATH
* Modify script to run only in nightly env
* Modify script to stop the oldest version in stable env
* Modify script to support dir preparation for the 3 latest stable versions
* Modify script to start service for the 3 latest stable versions
* Modify sercice validation script
* Create proxy modification script
* Add step in workflow to enable ssm execution against proxy + aux script
* Add running state filter when fetching InstanceID
* Enhancement of validation script
* Modify bash behavior
* Point tags/deployment to new AWS resources
* Change GH owner to production one
* Point tags to new EC2 v1
* Move all cd scripts to a new folder
* Add comment
* Add comment
* Add comment
* Add comment
* Modify scripts to support exit on error
* Check if all stable ports are in use and terminate
* feat: implement record layer preprocessing
* fix ke test
* fix pa tests
* fix aead tests
* fix integration test
* Apply suggestions from code review
Co-authored-by: dan <themighty1@users.noreply.github.com>
* add mode sanity check
---------
Co-authored-by: dan <themighty1@users.noreply.github.com>
* feat(tls-mpc): separate transcript size limits
* feat: separate transcript limits
* feat(tlsn-server-fixture): configurable length byte payload
* refactor(tls-mpc): use defaults in ghash setup
* fix OT estimates
* feat(notary-server): separate transcript limits
* remove dep patch
* fix notary server test
* add notary function to examples lib
* use hyper 1.1 version in examples
* update twitter example to use HTTP prover
* use deferred decryption in twitter example
* Use env var for logging filter, remove otel.
* Fix directives.
* Revert to using config for logging filter.
* Modify default logging strategy and make filter optional.
* Revert formatting of other crates.
* Update README.
* Update notary-server/README.md
Co-authored-by: Hendrik Eeckhaut <hendrik@eeckhaut.org>
---------
Co-authored-by: Hendrik Eeckhaut <hendrik@eeckhaut.org>
* add tlsn-common crate with mux module
* add tlsn-common as a workspace dep
* use tlsn-common for mux setup
* add tracing feature to tlsn-common
* naming consistency
* remove duplicate workspace member
* Apply suggestions from code review
Co-authored-by: dan <themighty1@users.noreply.github.com>
---------
Co-authored-by: dan <themighty1@users.noreply.github.com>
* encapsulate record layer
* decouple commitment from decryption
* use record layer byte counts
* actor refactor
* shutdown follower on finalize, not close
* rustfmt
* re-enable lints
* fix lint errors
* flatten ifelse block
* Apply suggestions from code review
Co-authored-by: dan <themighty1@users.noreply.github.com>
* stick to leader/follower semantics in comment
Co-authored-by: dan <themighty1@users.noreply.github.com>
* rustfmt
* update follower shutdown error
---------
Co-authored-by: dan <themighty1@users.noreply.github.com>
* 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<Verify> 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
Co-authored-by: th4s <th4s@metavoid.xyz>
