diff --git a/README.md b/README.md
index fbb2ac80..8c0f64e5 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,11 @@ This project uses NPM for dependency management and Forge for tests so you'll ne
 
 * Install Foundry and `forge` https://book.getfoundry.sh/getting-started/installation
 
+* Install Foundry v1.0.0 
+    ```sh
+    foundryup -i 1.0.0
+    ```
+
 * Create `.env` file
     ```sh
     cp .env.example .env
diff --git a/foundry.toml b/foundry.toml
index 5759df7b..f1a6431b 100644
--- a/foundry.toml
+++ b/foundry.toml
@@ -7,12 +7,16 @@ libs = ['node_modules', 'lib']
 test = 'test'
 cache_path = 'cache_forge'
 # solc-version = "0.8.26"
+optimizer=true
 no-match-path = 'test/kontrol/*'
 fs_permissions = [
     { access = "read-write", path = "./deploy-config"},
     { access = "read-write", path = "./deploy-artifacts"}
 ]
 
+# TODO: remove the next line. This is a quick fix for the existing tests that is required for tests to pass after upgrade of Foundry to v1.0.0.
+allow_internal_expect_revert = true
+
 [profile.kprove]
 src = 'test/kontrol'
 out = 'kout'