test: add quickcheck for hash functions

Cargo.toml

@@ -11,6 +11,8 @@ hex-literal = "0.4.1"
 divan = "0.1.2"
 expect-test = "1.4.1"
 hex = "0.4.3"
+quickcheck = "1.0.3"
+quickcheck_macros = "1.0.0"
 
 [workspace]
 members = ["benchmarks"]

src/haifa.rs

@@ -169,6 +169,7 @@ pub type AreionHaifa512 = AreionHaifa<U64>;
 #[cfg(test)]
 mod tests {
     use digest::Digest;
+    use quickcheck_macros::quickcheck;
 
     use super::*;
 
@@ -179,4 +180,11 @@ mod tests {
             .chain_update(b"this is a potato")
             .finalize();
     }
+
+    #[quickcheck]
+    fn different_inputs_yield_different_digests(a: Vec<u8>, b: Vec<u8>) -> bool {
+        let aa = AreionHaifa512::new().chain_update(&a).finalize();
+        let bb = AreionHaifa512::new().chain_update(&b).finalize();
+        aa == bb || a != b
+    }
 }

src/md.rs

@@ -98,6 +98,14 @@ mod tests {
 
     use digest::Digest;
     use expect_test::expect;
+    use quickcheck_macros::quickcheck;
+
+    #[quickcheck]
+    fn different_inputs_yield_different_digests(a: Vec<u8>, b: Vec<u8>) -> bool {
+        let aa = Areion512Md::new().chain_update(&a).finalize();
+        let bb = Areion512Md::new().chain_update(&b).finalize();
+        aa == bb || a != b
+    }
 
     #[test]
     fn areion512_md_test_vector_1() {

src/mmo.rs

@@ -110,3 +110,18 @@ impl AlgorithmName for Core {
 }
 
 pub type Areion512Mmo = CoreWrapper<Core>;
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    use digest::Digest;
+    use quickcheck_macros::quickcheck;
+
+    #[quickcheck]
+    fn different_inputs_yield_different_digests(a: Vec<u8>, b: Vec<u8>) -> bool {
+        let aa = Areion512Mmo::new().chain_update(&a).finalize();
+        let bb = Areion512Mmo::new().chain_update(&b).finalize();
+        aa == bb || a != b
+    }
+}

src/sponge.rs

@@ -91,3 +91,18 @@ impl AlgorithmName for Core {
 }
 
 pub type Areion256Sponge = CoreWrapper<Core>;
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    use digest::Digest;
+    use quickcheck_macros::quickcheck;
+
+    #[quickcheck]
+    fn different_inputs_yield_different_digests(a: Vec<u8>, b: Vec<u8>) -> bool {
+        let aa = Areion256Sponge::new().chain_update(&a).finalize();
+        let bb = Areion256Sponge::new().chain_update(&b).finalize();
+        aa == bb || a != b
+    }
+}