Test null ptr cases in Mina verifier

Author: gabrielbosio

operator/mina/lib/src/lib.rs

@@ -238,6 +238,8 @@ fn check_pub_inputs(
 
 #[cfg(test)]
 mod test {
+    use std::ptr;
+
     use super::*;
 
     const PROOF_BYTES: &[u8] =
@@ -296,4 +298,26 @@ mod test {
         );
         assert_eq!(result, 0);
     }
+
+    #[test]
+    fn null_mina_state_proof_does_not_verify() {
+        let result = verify_mina_state_ffi(
+            ptr::null(),
+            PROOF_BYTES.len() as u32,
+            PUB_INPUT_BYTES.as_ptr(),
+            PUB_INPUT_BYTES.len() as u32,
+        );
+        assert_eq!(result, 0);
+    }
+
+    #[test]
+    fn valid_mina_state_proof_with_null_pub_input_does_not_verify() {
+        let result = verify_mina_state_ffi(
+            PROOF_BYTES.as_ptr(),
+            PROOF_BYTES.len() as u32,
+            ptr::null(),
+            PUB_INPUT_BYTES.len() as u32,
+        );
+        assert_eq!(result, 0);
+    }
 }