Rust implementation of the Bühlmann ZHL-16[B] algorithm with C/++ and Python bindings. Serves as a testing playground for high-integrity applications through differential fuzzing and formal methods.