risc0-demo/methods/guest/src/main.rs~

35 lines
1,012 B
Rust

#![no_main]
use risc0_zkvm::guest::env;
use pathfinder2::*;
risc0_zkvm::guest::entry!(main);
pub fn main() {
let input: Vec<Edge> = env::read();
// // open graph data file
// // struct request {from, to, amount}
// let path: Vec<Edge> = 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);
}