diff --git a/echidna_races.config.yaml b/echidna_races.config.yaml
new file mode 100644
index 0000000..eec3e9e
--- /dev/null
+++ b/echidna_races.config.yaml
@@ -0,0 +1,19 @@
+solcArgs: "--via-ir --optimize --optimize-runs 1"
+testMode: assertion
+testLimit: 100000  # For ~1 hour on strong CPU; adjust
+seqLen: 100  # Sequence length for stateful fuzzing
+shrinkLimit: 5000
+corpusDir: corpus
+deployContracts:
+  - ["0x0000000000000000000000000000000000001000", "PoseidonT3"]
+  - ["0x0000000000000000000000000000000000001001", "LazyIMT"]
+cryticArgs:
+  - "--compile-libraries=(PoseidonT3,0x0000000000000000000000000000000000001000),(LazyIMT,0x0000000000000000000000000000000000001001)"
+propMaxGas: 25000000
+testMaxGas: 25000000
+maxTimeDelay: 20000000 # ~231 days in seconds; set high to cover active (180 days / 15552000s) and grace (30 days / 2592000s) periods for expiration races
+sender: ["0x10000", "0x20000", "0x30000", "0x40000"]  # Multiple senders to simulate different users; expand if needed
+balanceAddr: 100000000000000000000
+coverage: true
+quiet: false
+projectName: "WakuRlnV2"
diff --git a/run_echidna_tests.sh b/run_echidna_tests.sh
index 96c83de..c33211e 100755
--- a/run_echidna_tests.sh
+++ b/run_echidna_tests.sh
@@ -1,2 +1,3 @@
 #!/bin/sh
 echidna test/EchidnaTest.t.sol --contract EchidnaTest --config echidna.config.yaml
+echidna test/EchidnaTestRaces.t.sol --contract EchidnaTestRaces --config echidna_races.config.yaml