Struct Verifier

pub struct Verifier<T: VerifierState> { /* private fields */ }

A Verifier instance.

Implementations

impl Verifier<Notarize>

pub async fn finalize( self, config: &AttestationConfig, ) -> Result<Attestation, VerifierError>

Notarizes the TLS session.

Arguments

• config - The attestation configuration.

impl Verifier<Verify>

pub async fn receive(&mut self) -> Result<PartialTranscript, VerifierError>

Receives the purported transcript from the Prover.

Warning

The content of the received transcript can not be considered authentic until after finalization.

pub async fn finalize(self) -> Result<SessionInfo, VerifierError>

Verifies the TLS session.

impl Verifier<Initialized>

pub fn new(config: VerifierConfig) -> Self

Creates a new verifier.

pub async fn setup<S: AsyncWrite + AsyncRead + Send + Unpin + 'static>( self, socket: S, ) -> Result<Verifier<Setup>, VerifierError>

Sets up the verifier.

This performs all MPC setup.

Arguments

• socket - The socket to the prover.

pub async fn notarize<S: AsyncWrite + AsyncRead + Send + Unpin + 'static>( self, socket: S, config: &AttestationConfig, ) -> Result<Attestation, VerifierError>

Runs the TLS verifier to completion, notarizing the TLS session.

This is a convenience method which runs all the steps needed for notarization.

Arguments

• socket - The socket to the prover.
• config - The attestation configuration.

pub async fn verify<S: AsyncWrite + AsyncRead + Send + Unpin + 'static>( self, socket: S, ) -> Result<(PartialTranscript, SessionInfo), VerifierError>

Runs the TLS verifier to completion, verifying the TLS session.

This is a convenience method which runs all the steps needed for verification.

Arguments

• socket - The socket to the prover.

impl Verifier<Setup>

pub async fn run(self) -> Result<Verifier<Closed>, VerifierError>

Runs the verifier until the TLS connection is closed.

impl Verifier<Closed>

pub fn start_notarize(self) -> Verifier<Notarize>

Starts notarization of the TLS session.

If the verifier is a Notary, this function will transition the verifier to the next state where it can sign the prover’s commitments to the transcript.

pub fn start_verify(self) -> Verifier<Verify>

Starts verification of the TLS session.

This function transitions the verifier into a state where it can verify the contents of the transcript.