github/tlsn
1
1
Fork 0
mirror of https://github.com/tlsnotary/tlsn.git synced 2026-01-09 14:48:13 -05:00
Code Issues Packages Projects Releases Wiki Activity

docs: fix and improve interactive example (#552)

Browse Source 
#551
This commit is contained in:
Hendrik Eeckhaut
2024-08-02 12:28:51 +02:00
committed by GitHub
parent 6031254963
commit 7f46596068
3 changed files with 14 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
crates/examples/Cargo.toml
View File

@@ -18,7 +18,6 @@ http-body-util = { workspace = true }
hyper = { workspace = true, features = ["client", "http1"] }
hyper-util = { workspace = true, features = ["full"] }
p256 = { workspace = true, features = ["ecdsa"] }
regex = { workspace = true }
serde = { workspace = true, features = ["derive"] }
serde_json = { workspace = true }
tokio = { workspace = true, features = [

2
crates/examples/interactive/README.md
View File

@@ -1,5 +1,5 @@
## Simple Interactive Verifier: Verifying Data from an API in Rust
This example demonstrates how to use TLSNotary in a simple interactive session between a Prover and a Verifier. It involves the Verifier first verifying the TLS-MPC session and then confirming the correctness of the data.
This example demonstrates how to use TLSNotary in a simple interactive session between a Prover and a Verifier. It involves the Verifier first verifying the MPC-TLS session and then confirming the correctness of the data.
Note: In this example, the Prover and the Verifier run on the same machine. In real-world scenarios, the Prover and Verifier would be separate entities.

27
crates/examples/interactive/interactive.rs
View File

@@ -1,7 +1,6 @@
use http_body_util::Empty;
use hyper::{body::Bytes, Request, StatusCode, Uri};
use hyper_util::rt::TokioIo;
use regex::Regex;
use tlsn_core::{proof::SessionInfo, Direction, RedactedTranscript};
use tlsn_prover::tls::{state::Prove, Prover, ProverConfig};
use tlsn_verifier::tls::{Verifier, VerifierConfig};
@@ -10,13 +9,13 @@ use tokio_util::compat::{FuturesAsyncReadCompatExt, TokioAsyncReadCompatExt};
use tracing::instrument;
const SECRET: &str = "TLSNotary's private key 🤡";
const SERVER_DOMAIN: &str = "notary.pse.dev";
const SERVER_DOMAIN: &str = "example.com";
#[tokio::main]
async fn main() {
tracing_subscriber::fmt::init();
let uri = "https://notary.pse.dev/info";
let uri = "https://example.com";
let id = "interactive verifier demo";
// Connect prover and verifier.
@@ -137,8 +136,8 @@ async fn verifier<T: AsyncWrite + AsyncRead + Send + Sync + Unpin + 'static>(
let response =
String::from_utf8(received.data().to_vec()).expect("Verifier expected received data");
response
.find("BEGIN PUBLIC KEY")
.expect("Expected valid public key in JSON response");
.find("Example Domain")
.expect("Expected valid data from example.com");
// Check Session info: server name.
assert_eq!(session_info.server_name.as_str(), SERVER_DOMAIN);
@@ -150,17 +149,17 @@ async fn verifier<T: AsyncWrite + AsyncRead + Send + Sync + Unpin + 'static>(
fn redact_and_reveal_received_data(prover: &mut Prover<Prove>) {
let recv_transcript_len = prover.recv_transcript().data().len();
// Get the commit hash from the received data.
// Get the received data as a string.
let received_string = String::from_utf8(prover.recv_transcript().data().to_vec()).unwrap();
let re = Regex::new(r#""gitCommitHash"\s?:\s?"(.*?)""#).unwrap();
let commit_hash_match = re.captures(&received_string).unwrap().get(1).unwrap();
// Find the substring "illustrative".
let start = received_string
.find("illustrative")
.expect("Error: The substring 'illustrative' was not found in the received data.");
let end = start + "illustrative".len();
// Reveal everything except for the commit hash.
_ = prover.reveal(0..commit_hash_match.start(), Direction::Received);
_ = prover.reveal(
commit_hash_match.end()..recv_transcript_len,
Direction::Received,
);
// Reveal everything except for the substring "illustrative".
_ = prover.reveal(0..start, Direction::Received);
_ = prover.reveal(end..recv_transcript_len, Direction::Received);
}
/// Redacts and reveals sent data to the verifier.