Struct tlsn_core::proof::SubstringsProof
source · pub struct SubstringsProof { /* private fields */ }
Expand description
A substring proof using commitments
This substring proof contains the commitment openings and a proof that the corresponding commitments are present in the merkle tree.
Implementations§
source§impl SubstringsProof
impl SubstringsProof
sourcepub fn verify(
self,
header: &SessionHeader,
) -> Result<(RedactedTranscript, RedactedTranscript), SubstringsProofError>
pub fn verify( self, header: &SessionHeader, ) -> Result<(RedactedTranscript, RedactedTranscript), SubstringsProofError>
Verifies this proof and, if successful, returns the redacted sent and received transcripts.
§Arguments
header
- The session header.
Trait Implementations§
source§impl Debug for SubstringsProof
impl Debug for SubstringsProof
source§impl<'de> Deserialize<'de> for SubstringsProof
impl<'de> Deserialize<'de> for SubstringsProof
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for SubstringsProof
impl RefUnwindSafe for SubstringsProof
impl Send for SubstringsProof
impl Sync for SubstringsProof
impl Unpin for SubstringsProof
impl UnwindSafe for SubstringsProof
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> HashCommit for Twhere
T: Serialize,
impl<T> HashCommit for Twhere
T: Serialize,
§fn hash_commit(self) -> (Decommitment<Self>, Hash)
fn hash_commit(self) -> (Decommitment<Self>, Hash)
Creates a hash commitment to self
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more