#![no_main] use risc0_zkvm::guest::env; use pathfinder2::*; risc0_zkvm::guest::entry!(main); pub fn main() { let input: Vec = env::read(); // // open graph data file // // struct request {from, to, amount} // let path: Vec = env::read(); // let request: Request = env::read(); // if path.len() > 100 { // panic!("path too long!") // } // // let to = path.iter().fold(request.from, |acc, x| // if acc.from == x // && acc.capacity >= request.amount {acc.to} // else panic!("Path invalid")); // assert_eq!(to, request.to, "recipient mismatch"); // // // iterator checks that // // to(previous) = from(current) // // from(first) = from(request) // // to(last) = to(request) // // capacity(from, to) < request.amount // // env::commit(Transfer{path, request}); // write public output to the journal env::commit(&input); }