secret_integers (cargo): Wrapping around Rust's integers to allow only constant-time operations
Keywords: constant-time|secret|cryptography|formal-verification|specifications