diff --git a/DIRECTORY.md b/DIRECTORY.md
index afe90716417..dcc3bac68f3 100644
--- a/DIRECTORY.md
+++ b/DIRECTORY.md
@@ -46,6 +46,7 @@
     * [Chacha](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/chacha.rs)
     * [Diffie-Hellman](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/diffie_hellman.rs)
     * [Hashing Traits](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/hashing_traits.rs)
+    * [Hill Cipher](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/hill_cipher.rs)
     * [Kernighan](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/kernighan.rs)
     * [Morse Code](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/morse_code.rs)
     * [Polybius](https://github.com/TheAlgorithms/Rust/blob/master/src/ciphers/polybius.rs)
diff --git a/src/ciphers/hill_cipher.rs b/src/ciphers/hill_cipher.rs
new file mode 100644
index 00000000000..246e1bc2fea
--- /dev/null
+++ b/src/ciphers/hill_cipher.rs
@@ -0,0 +1,376 @@
+//! Hill Cipher
+//!
+//! The Hill Cipher is a polygraphic substitution cipher based on linear algebra.
+//!
+//! # Algorithm
+//!
+//! Let the order of the encryption key be N (as it is a square matrix).
+//! The text is divided into batches of length N and converted to numerical vectors
+//! by a simple mapping starting with A=0 and so on.
+//!
+//! The key matrix is multiplied with the batch vector to obtain the encoded vector.
+//! After multiplication, modular 36 calculations map results to alphanumerics.
+//!
+//! For decryption, the modular inverse of the encryption key is computed and used
+//! with the same process to recover the original message.
+//!
+//! # Constraints
+//!
+//! The determinant of the encryption key matrix must be coprime with 36.
+//!
+//! # Note
+//!
+//! - Only alphanumeric characters are considered
+//! - Text is padded to a multiple of the key size using the last character
+//! - Decrypted text may have padding characters at the end
+//!
+//! # References
+//!
+//! - <https://apprendre-en-ligne.net/crypto/hill/Hillciph.pdf>
+//! - <https://www.youtube.com/watch?v=kfmNeskzs2o>
+
+const KEY_STRING: &str = "ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789";
+const MODULUS: i32 = 36;
+
+/// Hill Cipher implementation
+pub struct HillCipher {
+    encrypt_key: Vec<Vec<i32>>,
+    break_key: usize,
+}
+
+impl HillCipher {
+    /// Creates a new Hill Cipher with the given encryption key matrix.
+    ///
+    /// # Arguments
+    ///
+    /// * `encrypt_key` - An NxN square matrix
+    ///
+    /// # Returns
+    ///
+    /// `Err` if the matrix is invalid or determinant is not coprime with 36
+    pub fn new(mut encrypt_key: Vec<Vec<i32>>) -> Result<Self, String> {
+        if encrypt_key.is_empty() {
+            return Err("Encryption key cannot be empty".to_string());
+        }
+
+        let n = encrypt_key.len();
+
+        // Check if matrix is square
+        for row in &encrypt_key {
+            if row.len() != n {
+                return Err("Encryption key must be a square matrix".to_string());
+            }
+        }
+
+        // Apply modulus to all elements
+        for row in &mut encrypt_key {
+            for val in row {
+                *val = val.rem_euclid(MODULUS);
+            }
+        }
+
+        let break_key = n;
+        let cipher = HillCipher {
+            encrypt_key,
+            break_key,
+        };
+
+        cipher.check_determinant()?;
+        Ok(cipher)
+    }
+
+    fn replace_letter(&self, letter: char) -> Option<usize> {
+        KEY_STRING.chars().position(|c| c == letter)
+    }
+
+    fn replace_digit(&self, num: i32) -> char {
+        KEY_STRING.chars().nth(num as usize).unwrap_or('A')
+    }
+
+    fn determinant(matrix: &[Vec<i32>]) -> i32 {
+        let n = matrix.len();
+
+        if n == 1 {
+            return matrix[0][0];
+        }
+
+        if n == 2 {
+            return matrix[0][0] * matrix[1][1] - matrix[0][1] * matrix[1][0];
+        }
+
+        let mut det = 0;
+        for col in 0..n {
+            let minor = Self::get_minor(matrix, 0, col);
+            let sign = if col % 2 == 0 { 1 } else { -1 };
+            det += sign * matrix[0][col] * Self::determinant(&minor);
+        }
+
+        det
+    }
+
+    fn get_minor(matrix: &[Vec<i32>], row: usize, col: usize) -> Vec<Vec<i32>> {
+        matrix
+            .iter()
+            .enumerate()
+            .filter(|(i, _)| *i != row)
+            .map(|(_, r)| {
+                r.iter()
+                    .enumerate()
+                    .filter(|(j, _)| *j != col)
+                    .map(|(_, &val)| val)
+                    .collect()
+            })
+            .collect()
+    }
+
+    fn cofactor_matrix(matrix: &[Vec<i32>]) -> Vec<Vec<i32>> {
+        let n = matrix.len();
+        let mut cofactors = vec![vec![0; n]; n];
+
+        for i in 0..n {
+            for j in 0..n {
+                let minor = Self::get_minor(matrix, i, j);
+                let sign = if (i + j) % 2 == 0 { 1 } else { -1 };
+                cofactors[i][j] = sign * Self::determinant(&minor);
+            }
+        }
+
+        cofactors
+    }
+
+    fn transpose(matrix: &[Vec<i32>]) -> Vec<Vec<i32>> {
+        let n = matrix.len();
+        let mut result = vec![vec![0; n]; n];
+
+        for i in 0..n {
+            for j in 0..n {
+                result[j][i] = matrix[i][j];
+            }
+        }
+
+        result
+    }
+
+    fn mod_inverse(a: i32, m: i32) -> Option<i32> {
+        let a = a.rem_euclid(m);
+        (1..m).find(|&x| (a * x) % m == 1)
+    }
+
+    fn gcd(mut a: i32, mut b: i32) -> i32 {
+        a = a.abs();
+        b = b.abs();
+
+        while b != 0 {
+            let temp = b;
+            b = a % b;
+            a = temp;
+        }
+
+        a
+    }
+
+    fn check_determinant(&self) -> Result<(), String> {
+        let det = Self::determinant(&self.encrypt_key);
+        let det_mod = det.rem_euclid(MODULUS);
+
+        if Self::gcd(det_mod, MODULUS) != 1 {
+            return Err(format!(
+                "Determinant modular {MODULUS} of encryption key ({det_mod}) is not coprime w.r.t {MODULUS}. Try another key."
+            ));
+        }
+
+        Ok(())
+    }
+
+    fn process_text(&self, text: &str) -> String {
+        let mut chars: Vec<char> = text
+            .to_uppercase()
+            .chars()
+            .filter(|c| KEY_STRING.contains(*c))
+            .collect();
+
+        if chars.is_empty() {
+            return String::new();
+        }
+
+        let last_char = *chars.last().unwrap();
+        while !chars.len().is_multiple_of(self.break_key) {
+            chars.push(last_char);
+        }
+
+        chars.into_iter().collect()
+    }
+
+    /// Encrypts the given text using the Hill cipher.
+    pub fn encrypt(&self, text: &str) -> String {
+        let processed = self.process_text(text);
+        let mut encrypted = String::new();
+
+        for i in (0..processed.len()).step_by(self.break_key) {
+            let batch: String = processed.chars().skip(i).take(self.break_key).collect();
+            let vec: Vec<i32> = batch
+                .chars()
+                .map(|c| self.replace_letter(c).unwrap() as i32)
+                .collect();
+
+            let mut encrypted_vec = vec![0; self.break_key];
+            for row in 0..self.break_key {
+                let mut sum = 0;
+                for col in 0..self.break_key {
+                    sum += self.encrypt_key[row][col] * vec[col];
+                }
+                encrypted_vec[row] = sum.rem_euclid(MODULUS);
+            }
+
+            for &num in &encrypted_vec {
+                encrypted.push(self.replace_digit(num));
+            }
+        }
+
+        encrypted
+    }
+
+    fn make_decrypt_key(&self) -> Vec<Vec<i32>> {
+        let det = Self::determinant(&self.encrypt_key);
+        let det_mod = det.rem_euclid(MODULUS);
+        let det_inv = Self::mod_inverse(det_mod, MODULUS)
+            .expect("Determinant should be coprime with modulus");
+
+        let cofactors = Self::cofactor_matrix(&self.encrypt_key);
+        let adjugate = Self::transpose(&cofactors);
+
+        let n = self.break_key;
+        let mut decrypt_key = vec![vec![0; n]; n];
+
+        for i in 0..n {
+            for j in 0..n {
+                decrypt_key[i][j] = (det_inv * adjugate[i][j]).rem_euclid(MODULUS);
+            }
+        }
+
+        decrypt_key
+    }
+
+    /// Decrypts the given text using the Hill cipher.
+    pub fn decrypt(&self, text: &str) -> String {
+        let decrypt_key = self.make_decrypt_key();
+        let processed = self.process_text(text);
+        let mut decrypted = String::new();
+
+        for i in (0..processed.len()).step_by(self.break_key) {
+            let batch: String = processed.chars().skip(i).take(self.break_key).collect();
+            let vec: Vec<i32> = batch
+                .chars()
+                .map(|c| self.replace_letter(c).unwrap() as i32)
+                .collect();
+
+            let mut decrypted_vec = vec![0; self.break_key];
+            for row in 0..self.break_key {
+                let mut sum = 0;
+                for col in 0..self.break_key {
+                    sum += decrypt_key[row][col] * vec[col];
+                }
+                decrypted_vec[row] = sum.rem_euclid(MODULUS);
+            }
+
+            for &num in &decrypted_vec {
+                decrypted.push(self.replace_digit(num));
+            }
+        }
+
+        decrypted
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_encrypt() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        assert_eq!(cipher.encrypt("testing hill cipher"), "WHXYJOLM9C6XT085LL");
+        assert_eq!(cipher.encrypt("hello"), "85FF00");
+    }
+
+    #[test]
+    fn test_decrypt() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        assert_eq!(cipher.decrypt("WHXYJOLM9C6XT085LL"), "TESTINGHILLCIPHERR");
+        assert_eq!(cipher.decrypt("85FF00"), "HELLOO");
+    }
+
+    #[test]
+    fn test_encrypt_decrypt_roundtrip() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        let original = "HELLO WORLD";
+        let encrypted = cipher.encrypt(original);
+        let decrypted = cipher.decrypt(&encrypted);
+
+        // Note: decrypted might have padding
+        assert!(decrypted.starts_with("HELLOWORLD"));
+    }
+
+    #[test]
+    fn test_process_text() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        assert_eq!(
+            cipher.process_text("Testing Hill Cipher"),
+            "TESTINGHILLCIPHERR"
+        );
+        assert_eq!(cipher.process_text("hello"), "HELLOO");
+    }
+
+    #[test]
+    fn test_replace_letter() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        assert_eq!(cipher.replace_letter('T'), Some(19));
+        assert_eq!(cipher.replace_letter('0'), Some(26));
+        assert_eq!(cipher.replace_letter('A'), Some(0));
+    }
+
+    #[test]
+    fn test_replace_digit() {
+        let key = vec![vec![2, 5], vec![1, 6]];
+        let cipher = HillCipher::new(key).unwrap();
+        assert_eq!(cipher.replace_digit(19), 'T');
+        assert_eq!(cipher.replace_digit(26), '0');
+        assert_eq!(cipher.replace_digit(0), 'A');
+    }
+
+    #[test]
+    fn test_invalid_determinant() {
+        // Matrix with determinant not coprime with 36
+        let key = vec![vec![2, 4], vec![1, 2]]; // det = 0
+        assert!(HillCipher::new(key).is_err());
+    }
+
+    #[test]
+    fn test_3x3_matrix() {
+        // Matrix with determinant = 1 (coprime with 36)
+        let key = vec![vec![1, 2, 3], vec![0, 1, 4], vec![5, 6, 0]];
+        let cipher = HillCipher::new(key).unwrap();
+        let encrypted = cipher.encrypt("ACT");
+        let decrypted = cipher.decrypt(&encrypted);
+        assert_eq!(decrypted, "ACT");
+    }
+
+    #[test]
+    fn test_gcd() {
+        assert_eq!(HillCipher::gcd(48, 18), 6);
+        assert_eq!(HillCipher::gcd(7, 36), 1);
+        assert_eq!(HillCipher::gcd(12, 36), 12);
+    }
+
+    #[test]
+    fn test_mod_inverse() {
+        assert_eq!(HillCipher::mod_inverse(7, 36), Some(31));
+        assert_eq!(HillCipher::mod_inverse(1, 36), Some(1));
+        assert_eq!(HillCipher::mod_inverse(2, 36), None); // 2 and 36 are not coprime
+    }
+}
diff --git a/src/ciphers/mod.rs b/src/ciphers/mod.rs
index 8f52c239097..1cd823f16e7 100644
--- a/src/ciphers/mod.rs
+++ b/src/ciphers/mod.rs
@@ -10,6 +10,7 @@ mod caesar;
 mod chacha;
 mod diffie_hellman;
 mod hashing_traits;
+mod hill_cipher;
 mod kernighan;
 mod morse_code;
 mod polybius;
@@ -39,6 +40,7 @@ pub use self::chacha::chacha20;
 pub use self::diffie_hellman::DiffieHellman;
 pub use self::hashing_traits::Hasher;
 pub use self::hashing_traits::HMAC;
+pub use self::hill_cipher::HillCipher;
 pub use self::kernighan::kernighan;
 pub use self::morse_code::{decode, encode};
 pub use self::polybius::{decode_ascii, encode_ascii};