Update operator tests

Author: gabrielbosio

operator/mina/lib/src/lib.rs

@@ -182,9 +182,11 @@ mod test {
         include_bytes!("../../../../batcher/aligned/test_files/mina/protocol_state.proof");
     const PROTOCOL_STATE_PUB_BYTES: &[u8] =
         include_bytes!("../../../../batcher/aligned/test_files/mina/protocol_state.pub");
-    const BAD_PROTOCOL_STATE_PUB_BYTES: &[u8] =
-        include_bytes!("../../../../batcher/aligned/test_files/mina/bad_protocol_state.pub");
-    // BAD_PROTOCOL_STATE_PUB_BYTES has an invalid hash.
+    const PROTOCOL_STATE_BAD_HASH_PUB_BYTES: &[u8] =
+        include_bytes!("../../../../batcher/aligned/test_files/mina/protocol_state_bad_hash.pub");
+    const PROTOCOL_STATE_BAD_CONSENSUS_PUB_BYTES: &[u8] = include_bytes!(
+        "../../../../batcher/aligned/test_files/mina/protocol_state_bad_consensus.pub"
+    );
 
     #[test]
     fn parse_protocol_state_proof_does_not_fail() {
@@ -218,16 +220,37 @@ mod test {
     }
 
     #[test]
-    fn bad_protocol_state_proof_does_not_verify() {
+    fn proof_of_protocol_state_with_bad_hash_does_not_verify() {
         let mut proof_buffer = [0u8; super::MAX_PROOF_SIZE];
         let proof_size = PROTOCOL_STATE_PROOF_BYTES.len();
         assert!(proof_size <= proof_buffer.len());
         proof_buffer[..proof_size].clone_from_slice(PROTOCOL_STATE_PROOF_BYTES);
 
         let mut pub_input_buffer = [0u8; super::MAX_PUB_INPUT_SIZE];
-        let pub_input_size = BAD_PROTOCOL_STATE_PUB_BYTES.len();
+        let pub_input_size = PROTOCOL_STATE_BAD_HASH_PUB_BYTES.len();
         assert!(pub_input_size <= pub_input_buffer.len());
-        pub_input_buffer[..pub_input_size].clone_from_slice(BAD_PROTOCOL_STATE_PUB_BYTES);
+        pub_input_buffer[..pub_input_size].clone_from_slice(PROTOCOL_STATE_BAD_HASH_PUB_BYTES);
+
+        let result = verify_protocol_state_proof_ffi(
+            &proof_buffer,
+            proof_size,
+            &pub_input_buffer,
+            pub_input_size,
+        );
+        assert!(!result);
+    }
+
+    #[test]
+    fn proof_of_protocol_state_with_bad_consensus_does_not_verify() {
+        let mut proof_buffer = [0u8; super::MAX_PROOF_SIZE];
+        let proof_size = PROTOCOL_STATE_PROOF_BYTES.len();
+        assert!(proof_size <= proof_buffer.len());
+        proof_buffer[..proof_size].clone_from_slice(PROTOCOL_STATE_PROOF_BYTES);
+
+        let mut pub_input_buffer = [0u8; super::MAX_PUB_INPUT_SIZE];
+        let pub_input_size = PROTOCOL_STATE_BAD_CONSENSUS_PUB_BYTES.len();
+        assert!(pub_input_size <= pub_input_buffer.len());
+        pub_input_buffer[..pub_input_size].clone_from_slice(PROTOCOL_STATE_BAD_CONSENSUS_PUB_BYTES);
 
         let result = verify_protocol_state_proof_ffi(
             &proof_buffer,