I'm trying out risczero and it seems pretty cool. My Rust programming skills need work though