remove incomplete substring proof API

tlsn/tlsn-core/src/proof/mod.rs

@@ -5,8 +5,7 @@ mod substrings;
 
 pub use session::{default_cert_verifier, SessionInfo, SessionProof, SessionProofError};
 pub use substrings::{
-    SubstringProve, SubstringsProof, SubstringsProofBuilder, SubstringsProofBuilderError,
-    SubstringsProofError,
+    SubstringsProof, SubstringsProofBuilder, SubstringsProofBuilderError, SubstringsProofError,
 };
 
 use serde::{Deserialize, Serialize};

tlsn/tlsn-core/src/proof/substrings.rs

@@ -16,19 +16,6 @@ use serde::{Deserialize, Serialize};
 use std::collections::HashMap;
 use utils::range::{RangeDisjoint, RangeSet, RangeUnion, ToRangeSet};
 
-/// A trait for proving of typed data contained within a transcript.
-pub trait SubstringProve<T> {
-    /// The error type.
-    type Error;
-
-    /// Proves that the provided value is contained within the transcript.
-    fn prove(
-        &mut self,
-        builder: &mut SubstringsProofBuilder<'_>,
-        value: &T,
-    ) -> Result<(), Self::Error>;
-}
-
 /// An error for [`SubstringsProofBuilder`]
 #[derive(Debug, thiserror::Error)]
 #[non_exhaustive]

tlsn/tlsn-formats/src/http/session.rs

@@ -1,7 +1,4 @@
-use tlsn_core::{
-    proof::{SessionProof, SubstringProve, SubstringsProof, SubstringsProofBuilderError},
-    NotarizedSession,
-};
+use tlsn_core::{proof::SessionProof, NotarizedSession};
 
 use crate::http::HttpTranscript;
 
@@ -27,21 +24,13 @@ impl NotarizedHttpSession {
         &self.session
     }
 
+    /// Returns the HTTP transcript.
+    pub fn transcript(&self) -> &HttpTranscript {
+        &self.transcript
+    }
+
     /// Returns a proof for the TLS session.
     pub fn session_proof(&self) -> SessionProof {
         self.session.session_proof()
     }
-
-    /// Builds a substring proof with the provided prover.
-    pub fn substring_proof<P: SubstringProve<HttpTranscript>>(
-        &self,
-        prover: &mut P,
-    ) -> Result<SubstringsProof, P::Error>
-    where
-        P::Error: From<SubstringsProofBuilderError>,
-    {
-        let mut builder = self.session.data().build_substrings_proof();
-        prover.prove(&mut builder, &self.transcript)?;
-        builder.build().map_err(P::Error::from)
-    }
 }