use mt_rs::{ hasher::{Blake3Hasher, Hasher}, node::Node, proof::{DefaultProofer, Proofer}, }; fn main() { let root_hash = match std::env::args().nth(1) { Some(hash) => hash, None => { eprintln!( "Usage: cargo run --example proofer_blake3 -- ..." ); std::process::exit(1); } }; let filenames: Vec = std::env::args().skip(2).collect(); if filenames.is_empty() { eprintln!("Usage: cargo run --example proofer_blake3 -- ..."); std::process::exit(1); } let mut nodes: Vec = Vec::new(); for filename in &filenames { match std::fs::read(filename) { Ok(contents) => nodes.push(Node::new_leaf(Blake3Hasher::new().hash(&contents))), Err(e) => { eprintln!("Failed to read file '{}': {}", filename, e); std::process::exit(1); } } } let hasher = Blake3Hasher::new(); let proofer = DefaultProofer::new(hasher, nodes); let proof = proofer.generate(0).expect("Couldn't generate proof"); println!( "{}", proofer.verify( &proof, std::fs::read(&filenames[0]).unwrap(), &root_hash[..] ) ); }