Add empty test case for Mina FFI

Author: gabrielbosio

operator/mina/lib/src/lib.rs

@@ -272,7 +272,7 @@ mod test {
     }
 
     #[test]
-    fn empty_mina_state_proof_does_not_verify() {
+    fn zeroized_mina_state_proof_does_not_verify() {
         const PROOF_SIZE: usize = PROOF_BYTES.len();
         let empty_proof_buffer = [0u8; PROOF_SIZE];
 
@@ -286,7 +286,7 @@ mod test {
     }
 
     #[test]
-    fn valid_mina_state_proof_with_empty_pub_input_does_not_verify() {
+    fn valid_mina_state_proof_with_zeroized_pub_input_does_not_verify() {
         const PUB_INPUT_SIZE: usize = PUB_INPUT_BYTES.len();
         let empty_pub_input_buffer = [0u8; PUB_INPUT_SIZE];
 
@@ -320,4 +320,26 @@ mod test {
         );
         assert_eq!(result, 0);
     }
+
+    #[test]
+    fn empty_mina_state_proof_does_not_verify() {
+        let result = verify_mina_state_ffi(
+            PROOF_BYTES.as_ptr(),
+            0,
+            PUB_INPUT_BYTES.as_ptr(),
+            PUB_INPUT_BYTES.len() as u32,
+        );
+        assert_eq!(result, 0);
+    }
+
+    #[test]
+    fn valid_mina_state_proof_with_empty_pub_input_does_not_verify() {
+        let result = verify_mina_state_ffi(
+            PROOF_BYTES.as_ptr(),
+            PROOF_BYTES.len() as u32,
+            PUB_INPUT_BYTES.as_ptr(),
+            0,
+        );
+        assert_eq!(result, 0);
+    }
 }