MPC-TLS

During the MPC-TLS phase the Prover and the Verifier run an MPC protocol enabling the Prover to connect to, and exchange data with, a TLS-enabled Server.

Listed below are some key points regarding this protocol:

• The Verifier only learns the encrypted application data of the TLS session.
• The Prover is not solely capable of constructing requests, nor can they forge responses from the Server.
• The protocol enables the Prover to prove the authenticity of the exchanged data to the Verifier.