Add C++ test for k size and Rust tests for proofs

rust-bindings/Cargo.toml

@@ -14,3 +14,6 @@ link-cplusplus = "1.0.9"
 [build-dependencies]
 bindgen = "0.69.4"
 cmake = "0.1.50"
+
+[dev-dependencies]
+hex = "0.4.3"

rust-bindings/src/lib.rs

@@ -36,6 +36,34 @@ pub fn validate_proof(
 mod tests {
     use super::*;
 
+    #[test]
+    fn test_proofs() {
+        /*
+         * Generated by printing the inputs to validate_proof in tests/test_python_bindings.py
+         * Specifically, the test_k_21 function was adapted to append 100 lines to the file.
+         */
+        let proofs = include_str!("../test_proofs.txt");
+
+        for line in proofs.lines() {
+            let mut parts = line.split(", ");
+            let seed = hex::decode(parts.next().unwrap()).unwrap();
+            let k = parts.next().unwrap().parse().unwrap();
+            let challenge = hex::decode(parts.next().unwrap()).unwrap();
+            let proof = hex::decode(parts.next().unwrap()).unwrap();
+            let quality = hex::decode(parts.next().unwrap()).unwrap();
+
+            let mut actual_quality = [0; 32];
+            assert!(validate_proof(
+                &seed.try_into().unwrap(),
+                k,
+                &challenge.try_into().unwrap(),
+                &proof,
+                &mut actual_quality
+            ));
+            assert_eq!(actual_quality.as_slice(), quality);
+        }
+    }
+
     #[test]
     fn test_empty_proof() {
         let mut quality = [0; 32];