Rust implementation of the Axolotl ratchet