cargo run --release --example simple_notary cargo run --release --example simple_prover cargo run --release --example simple_verifier
https://tlsnotary.github.io/proof_viz/