test: add zk fuzz tests

crates/forge/tests/it/zk/fuzz.rs

@@ -0,0 +1,13 @@
+//! Fuzz tests.
+
+use crate::{config::*, test_helpers::TEST_DATA_DEFAULT};
+use forge::revm::primitives::SpecId;
+use foundry_test_utils::Filter;
+
+#[tokio::test(flavor = "multi_thread")]
+async fn test_zk_fuzz_avoid_system_addresses() {
+    let runner = TEST_DATA_DEFAULT.runner_zksync();
+    let filter = Filter::new("testZkFuzzAvoidSystemAddresses", "ZkFuzzTest", ".*");
+
+    TestConfig::with_filter(runner, filter).evm_spec(SpecId::SHANGHAI).run().await;
+}

crates/forge/tests/it/zk/mod.rs

@@ -2,5 +2,6 @@
 mod basic;
 mod cheats;
 mod contracts;
+mod fuzz;
 mod logs;
 mod repros;

testdata/zk/Fuzz.t.sol

@@ -0,0 +1,10 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.13;
+
+import "ds-test/test.sol";
+
+contract ZkFuzzTest is DSTest {
+    function testZkFuzzAvoidSystemAddresses(address addr) public pure {
+        assert(addr > address(65535));
+    }
+}