diff --git a/packages/contracts/contracts/Semaphore.sol b/packages/contracts/contracts/Semaphore.sol
index 5e988a234..fd89758d0 100644
--- a/packages/contracts/contracts/Semaphore.sol
+++ b/packages/contracts/contracts/Semaphore.sol
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphore} from "./interfaces/ISemaphore.sol";
 import {ISemaphoreVerifier} from "./interfaces/ISemaphoreVerifier.sol";
diff --git a/packages/contracts/contracts/base/Constants.sol b/packages/contracts/contracts/base/Constants.sol
index c8f588ffb..99cd94d7d 100644
--- a/packages/contracts/contracts/base/Constants.sol
+++ b/packages/contracts/contracts/base/Constants.sol
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @dev Minimum supported tree depth.
 uint8 constant MIN_DEPTH = 1;
diff --git a/packages/contracts/contracts/base/SemaphoreGroups.sol b/packages/contracts/contracts/base/SemaphoreGroups.sol
index 3f9e44614..604f68bad 100644
--- a/packages/contracts/contracts/base/SemaphoreGroups.sol
+++ b/packages/contracts/contracts/base/SemaphoreGroups.sol
@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphoreGroups} from "../interfaces/ISemaphoreGroups.sol";
 import {InternalLeanIMT, LeanIMTData} from "@zk-kit/lean-imt.sol/InternalLeanIMT.sol";
diff --git a/packages/contracts/contracts/base/SemaphoreVerifier.sol b/packages/contracts/contracts/base/SemaphoreVerifier.sol
index e454c2e79..5392eb16f 100644
--- a/packages/contracts/contracts/base/SemaphoreVerifier.sol
+++ b/packages/contracts/contracts/base/SemaphoreVerifier.sol
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
 
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {MAX_DEPTH} from "./Constants.sol";
 import {SemaphoreVerifierKeyPts} from "./SemaphoreVerifierKeyPts.sol";
diff --git a/packages/contracts/contracts/base/SemaphoreVerifierKeyPts.sol b/packages/contracts/contracts/base/SemaphoreVerifierKeyPts.sol
index 61a0c2af4..245103356 100644
--- a/packages/contracts/contracts/base/SemaphoreVerifierKeyPts.sol
+++ b/packages/contracts/contracts/base/SemaphoreVerifierKeyPts.sol
@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 library SemaphoreVerifierKeyPts {
     error Semaphore__VKPtBytesMaxDepthInvariantViolated(uint256 actual, uint256 expected);
diff --git a/packages/contracts/contracts/interfaces/ISemaphore.sol b/packages/contracts/contracts/interfaces/ISemaphore.sol
index b7de4cc06..4c971e5a0 100644
--- a/packages/contracts/contracts/interfaces/ISemaphore.sol
+++ b/packages/contracts/contracts/interfaces/ISemaphore.sol
@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title Semaphore contract interface.
 interface ISemaphore {
diff --git a/packages/contracts/contracts/interfaces/ISemaphoreGroups.sol b/packages/contracts/contracts/interfaces/ISemaphoreGroups.sol
index b99bb7d66..210b85802 100644
--- a/packages/contracts/contracts/interfaces/ISemaphoreGroups.sol
+++ b/packages/contracts/contracts/interfaces/ISemaphoreGroups.sol
@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreGroups contract interface.
 interface ISemaphoreGroups {
diff --git a/packages/contracts/contracts/interfaces/ISemaphoreVerifier.sol b/packages/contracts/contracts/interfaces/ISemaphoreVerifier.sol
index 8e54583fa..bd2c30879 100644
--- a/packages/contracts/contracts/interfaces/ISemaphoreVerifier.sol
+++ b/packages/contracts/contracts/interfaces/ISemaphoreVerifier.sol
@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreVerifier contract interface.
 interface ISemaphoreVerifier {