A secure file encryption CLI tool using Argon2id and ChaCha20-Poly1305
Rust implementation of the IronFleet verified distributed systems framework