35 lines
1,012 B
Rust
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);
|
|
}
|