Validating that multi calls on the same state aligns vm and native. (#1604)

Author: orizi

test_data/programs/starknet/syscalls.cairo

@@ -139,3 +139,13 @@ fn sha256_process() -> [u32; 8] {
 
     sha256_state_handle_digest(state).unbox()
 }
+
+fn multi_sha256_flow() -> bool {
+    let mut state1 = sha256_state_handle_init(BoxTrait::new(SHA256_INITIAL_STATE));
+    let chunk = BoxTrait::new([0x1, 0x2, 0x3, 0x4, 0x5, 0x6, 0x7, 0x8, 0x9, 0xa, 0xb, 0xd, 0xe, 0xf, 0x10, 0x11]);
+
+    let state2 = starknet::syscalls::sha256_process_block_syscall(state1, chunk).unwrap_syscall();
+    let state3 = starknet::syscalls::sha256_process_block_syscall(state1, chunk).unwrap_syscall();
+
+    sha256_state_handle_digest(state2).unbox() == sha256_state_handle_digest(state3).unbox()
+}

tests/tests/starknet/syscalls.rs

@@ -1419,3 +1419,34 @@ fn get_class_hash_at() {
         },
     );
 }
+
+#[test]
+fn multi_sha256_flow() {
+    let program = load_program_and_runner("test_data_artifacts/programs/starknet/syscalls");
+    let result = run_native_program(
+        &program,
+        "multi_sha256_flow",
+        &[],
+        Some(u64::MAX),
+        Some(SyscallHandler::new()),
+    );
+
+    assert_eq_sorted!(
+        result.return_value,
+        Value::Enum {
+            tag: 0,
+            value: Box::new(Value::Struct {
+                fields: vec![Value::Enum {
+                    tag: 1,
+                    value: Box::new(Value::Struct {
+                        fields: vec![],
+                        debug_name: Some("Unit".to_string()),
+                    }),
+                    debug_name: Some("core::bool".to_string()),
+                }],
+                debug_name: None
+            }),
+            debug_name: None,
+        },
+    );
+}