diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1fdc0ce..c7bf34e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -62,7 +62,7 @@ jobs: - name: Install Solidity run: | - wget https://github.com/ethereum/solidity/releases/download/v0.8.23/solc-static-linux + wget https://github.com/ethereum/solidity/releases/download/v0.8.28/solc-static-linux chmod +x solc-static-linux sudo mv solc-static-linux /usr/local/bin/solc diff --git a/certora/harness/MarketplaceHarness.sol b/certora/harness/MarketplaceHarness.sol index f61ac57..7a99eae 100644 --- a/certora/harness/MarketplaceHarness.sol +++ b/certora/harness/MarketplaceHarness.sol @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import {IGroth16Verifier} from "../../contracts/Groth16.sol"; diff --git a/certora/helpers/ERC20A.sol b/certora/helpers/ERC20A.sol index cb42bf1..cc30970 100644 --- a/certora/helpers/ERC20A.sol +++ b/certora/helpers/ERC20A.sol @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import {ERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/contracts/Configuration.sol b/contracts/Configuration.sol index ae75212..fc6f4d7 100644 --- a/contracts/Configuration.sol +++ b/contracts/Configuration.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; diff --git a/contracts/Endian.sol b/contracts/Endian.sol index e76bd8a..2dfa907 100644 --- a/contracts/Endian.sol +++ b/contracts/Endian.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; contract Endian { /// reverses byte order to allow conversion between little endian and big diff --git a/contracts/FuzzMarketplace.sol b/contracts/FuzzMarketplace.sol index d86c391..d85a8f9 100644 --- a/contracts/FuzzMarketplace.sol +++ b/contracts/FuzzMarketplace.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "./TestToken.sol"; import "./Marketplace.sol"; diff --git a/contracts/Groth16.sol b/contracts/Groth16.sol index d392566..9ada360 100644 --- a/contracts/Groth16.sol +++ b/contracts/Groth16.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; struct G1Point { uint256 x; diff --git a/contracts/Groth16Verifier.sol b/contracts/Groth16Verifier.sol index 115caed..4b3fcda 100644 --- a/contracts/Groth16Verifier.sol +++ b/contracts/Groth16Verifier.sol @@ -17,7 +17,7 @@ // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE // SOFTWARE. // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "./Groth16.sol"; contract Groth16Verifier is IGroth16Verifier { diff --git a/contracts/Marketplace.sol b/contracts/Marketplace.sol index 2cc6ec5..e271761 100644 --- a/contracts/Marketplace.sol +++ b/contracts/Marketplace.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import "@openzeppelin/contracts/utils/math/Math.sol"; diff --git a/contracts/Periods.sol b/contracts/Periods.sol index 7085c31..e03715d 100644 --- a/contracts/Periods.sol +++ b/contracts/Periods.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; contract Periods { error Periods_InvalidSecondsPerPeriod(); diff --git a/contracts/Proofs.sol b/contracts/Proofs.sol index 4a70fa3..c6d3a2f 100644 --- a/contracts/Proofs.sol +++ b/contracts/Proofs.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "./Configuration.sol"; import "./Requests.sol"; diff --git a/contracts/Requests.sol b/contracts/Requests.sol index 103320f..a6c729a 100644 --- a/contracts/Requests.sol +++ b/contracts/Requests.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; type RequestId is bytes32; type SlotId is bytes32; diff --git a/contracts/SlotReservations.sol b/contracts/SlotReservations.sol index 22442e4..0337fb5 100644 --- a/contracts/SlotReservations.sol +++ b/contracts/SlotReservations.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "@openzeppelin/contracts/utils/structs/EnumerableSet.sol"; import "./Requests.sol"; diff --git a/contracts/StateRetrieval.sol b/contracts/StateRetrieval.sol index 6a9a2e3..b91089e 100644 --- a/contracts/StateRetrieval.sol +++ b/contracts/StateRetrieval.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "@openzeppelin/contracts/utils/structs/EnumerableSet.sol"; import "./Requests.sol"; diff --git a/contracts/TestEndian.sol b/contracts/TestEndian.sol index 5d1d33f..2bf0199 100644 --- a/contracts/TestEndian.sol +++ b/contracts/TestEndian.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "./Endian.sol"; diff --git a/contracts/TestMarketplace.sol b/contracts/TestMarketplace.sol index 81b090a..c18d369 100644 --- a/contracts/TestMarketplace.sol +++ b/contracts/TestMarketplace.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "./Marketplace.sol"; diff --git a/contracts/TestProofs.sol b/contracts/TestProofs.sol index 240f568..4d49aad 100644 --- a/contracts/TestProofs.sol +++ b/contracts/TestProofs.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "./Proofs.sol"; diff --git a/contracts/TestSlotReservations.sol b/contracts/TestSlotReservations.sol index 3fb737c..ae2d528 100644 --- a/contracts/TestSlotReservations.sol +++ b/contracts/TestSlotReservations.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "./SlotReservations.sol"; diff --git a/contracts/TestToken.sol b/contracts/TestToken.sol index 5d3c6dd..01838d9 100644 --- a/contracts/TestToken.sol +++ b/contracts/TestToken.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity ^0.8.23; +pragma solidity ^0.8.28; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; diff --git a/contracts/TestVerifier.sol b/contracts/TestVerifier.sol index ec498be..41db61d 100644 --- a/contracts/TestVerifier.sol +++ b/contracts/TestVerifier.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MIT -pragma solidity 0.8.23; +pragma solidity 0.8.28; import "./Groth16.sol"; diff --git a/hardhat.config.js b/hardhat.config.js index e35006a..6b23933 100644 --- a/hardhat.config.js +++ b/hardhat.config.js @@ -4,7 +4,7 @@ require("hardhat-deploy-ethers") module.exports = { solidity: { - version: "0.8.23", + version: "0.8.28", settings: { evmVersion: "paris", optimizer: {