🔁 Update 🐍Vyper Version pragma to 0.4.3rc2 (#331)

pcaversaccio · web-flow · commit 78460447d124 · 2025-06-18T11:51:22.000+02:00
### 🕓 Changelog This commit updates the version `pragma`s in all 🐍Vyper source files to target the latest `master` version `0.4.3rc2`, aligning with the release of Vyper's newest release candidate version [`0.4.3rc1`](https://github.com/vyperlang/vyper/releases/tag/v0.4.3rc1). Furthermore, all 🐍 snekmate contracts now target the new 🐍Vyper [default EVM version](vyperlang/vyper#4633) `prague`. Also, we now target the `prague` EVM version for all `halmos`-based tests, as the previously missing opcodes `MCOPY`, `TLOAD`, and `TSTORE` have been added via [a16z/halmos#293](a16z/halmos#293) and [a16z/halmos#463](a16z/halmos#463). Eventually, all submodules have been updated to their most recent commits. --------- Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
diff --git a/.gas-snapshot b/.gas-snapshot
diff --git a/.gas-snapshot-venom b/.gas-snapshot-venom
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -109,4 +109,4 @@ jobs:
           awesome_bot ./*.md src/snekmate/**/*.vy src/snekmate/**/mocks/*.vy src/snekmate/**/interfaces/*.vyi \
           test/**/*.sol test/**/interfaces/*.sol test/**/mocks/*.sol test/**/scripts/*.js scripts/*.sh lib/utils/*.sol lib/utils/*.py \
           --allow-dupe --allow-redirect --request-delay 0.4 \
-          --white-list https://www.wagmi.xyz,https://github.com/pcaversaccio/snekmate.git@,https://github.com/vyperlang/vyper.git@,https://github.com/pcaversaccio/snekmate/releases/tag/v0.1.2,https://github.com/pcaversaccio/snekmate/blob/v0.1.2,https://github.com/pcaversaccio/snekmate/compare/v0.1.1...v0.1.2,https://hyperelliptic.org
+          --white-list https://www.wagmi.xyz,https://github.com/pcaversaccio/snekmate.git@,https://github.com/vyperlang/vyper.git@,https://github.com/pcaversaccio/snekmate/releases/tag/v0.1.2,https://github.com/pcaversaccio/snekmate/blob/v0.1.2,https://github.com/pcaversaccio/snekmate/compare/v0.1.1...v0.1.2,https://hyperelliptic.org,https://github.com/vyperlang/vyper/releases/tag/v0.4.3
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -30,6 +30,14 @@
 ### ❗️ Breaking Changes
 
 - The contracts `create_address.vy` and `create2_address.vy` have been renamed to `create.vy` and `create2.vy`, respectively. In `create.vy`, the functions `_compute_address_rlp_self`, `_compute_address_rlp`, and `_convert_keccak256_2_address` have been renamed to `_compute_create_address_self`, `_compute_create_address`, and `_convert_keccak256_to_address`. Similarly, in `create2.vy`, the functions `_compute_address_self` and `_compute_address` have been renamed to `_compute_create2_address_self` and `_compute_create2_address`. ([#323](https://github.com/pcaversaccio/snekmate/pull/323))
+- All 🐍 snekmate contracts now target the new 🐍Vyper [default EVM version](https://github.com/vyperlang/vyper/pull/4633) `prague` ([#331](https://github.com/pcaversaccio/snekmate/pull/331)). If you intend to deploy on an EVM chain with no `prague` support, you must compile — using the `cancun` EVM version as an example — the main contract that uses the 🐍 snekmate module contracts with the `--evm-version cancun` option; e.g. `vyper --evm-version cancun src/snekmate/tokens/mocks/erc20_mock.vy`, or add the `# pragma evm-version cancun` directive to the main contract that uses the 🐍 snekmate module contracts:
+
+```vyper
+# pragma version ~=0.4.3
+# pragma evm-version cancun
+
+...
+```
 
 ### 👀 Full Changelog
 
diff --git a/README.md b/README.md
@@ -136,7 +136,7 @@ forge install pcaversaccio/snekmate
 ```
 
 > [!NOTE]
-> If you want to leverage 🐍 snekmate's [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract for your own testing, ensure that you compile the 🐍Vyper contracts with the same EVM version as configured in your `foundry.toml` file. The [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract offers two overloaded `deployContract` functions that allow the configuration of the target EVM version. Please note that since 🐍Vyper version [`0.4.0`](https://github.com/vyperlang/vyper/releases/tag/v0.4.0) the default EVM version is set to `cancun`. Furthermore, the [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract relies on the Python script [`compile.py`](./lib/utils/compile.py) for successful compilation and deployment. Always use the [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract alongside with the aforementioned script.
+> If you want to leverage 🐍 snekmate's [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract for your own testing, ensure that you compile the 🐍Vyper contracts with the same EVM version as configured in your `foundry.toml` file. The [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract offers two overloaded `deployContract` functions that allow the configuration of the target EVM version. Please note that since 🐍Vyper version [`0.4.3`](https://github.com/vyperlang/vyper/releases/tag/v0.4.3) the default EVM version is set to `prague`. Furthermore, the [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract relies on the Python script [`compile.py`](./lib/utils/compile.py) for successful compilation and deployment. Always use the [`VyperDeployer`](./lib/utils/VyperDeployer.sol) contract alongside with the aforementioned script.
 
 ### 3️⃣ npm
 
diff --git a/ape-config.yaml b/ape-config.yaml
@@ -4,7 +4,7 @@ default_ecosystem: ethereum
 plugins:
   - name: vyper
 vyper:
-  evm_version: cancun
+  evm_version: prague
 compile:
   exclude:
     - r"(?!.*_mock\.vy$)"
diff --git a/foundry.toml b/foundry.toml
@@ -9,7 +9,7 @@ cache_path = "cache"                                             # Set the path
 force = false                                                    # Do not ignore the cache.
 skip = ["src/snekmate/**/*[!c][!k].vy", "src/snekmate/**/*.vyi"] # Skip the compilation of non-mock and interface files.
 solc_version = "0.8.30"                                          # Set the Solidity compiler version.
-evm_version = "cancun"                                           # Set the EVM target version.
+evm_version = "prague"                                           # Set the EVM target version.
 optimizer = true                                                 # Enable the Solidity compiler optimiser.
 optimizer_runs = 200                                             # Configure the number of optimiser runs.
 via_ir = false                                                   # Prevent the compilation pipeline from running through the Yul intermediate representation.
@@ -36,7 +36,6 @@ force = true                                                     # Perform alway
 # Default overrides for the Halmos tests.
 [profile.halmos]
 force = true                                                     # Perform always a clean build.
-evm_version = "shanghai"                                         # Set the EVM target version to `shanghai`.
 
 # Default overrides for the Venom-based tests.
 [profile.default-venom]
@@ -58,5 +57,4 @@ vyper = { experimental_codegen = true }                          # Enable experi
 # Default overrides for the Venom-based Halmos tests.
 [profile.halmos-venom]
 force = true                                                     # Perform always a clean build.
-evm_version = "shanghai"                                         # Set the EVM target version to `shanghai`.
 vyper = { experimental_codegen = true }                          # Enable experimental code generation using the Venom backend.
diff --git a/lib/create-util b/lib/create-util
@@ -1 +1 @@
-Subproject commit b9d04da39963df3c32ac434772a8e2598065165b
+Subproject commit 92ac841a8ad8fe19b39e52862af4c0da43860dd2
diff --git a/lib/openzeppelin-contracts b/lib/openzeppelin-contracts
@@ -1 +1 @@
-Subproject commit f27019d48eee32551e5c9d31849afcaa99944545
+Subproject commit 3eddace0cb561947737934553a3dcc8e16c6250d
diff --git a/lib/utils/VyperDeployer.sol b/lib/utils/VyperDeployer.sol
@@ -167,7 +167,7 @@ contract VyperDeployer is Create {
      * @param fileName The file name of the Vyper contract.
      * For example, the file name for "ECDSA.vy" is "ECDSA".
      * @param evmVersion The EVM version used for compilation.
-     * For example, the EVM version for the Cancun-Deneb hard fork is "cancun".
+     * For example, the EVM version for the Prague-Electra hard fork is "prague".
      * You can retrieve all available Vyper EVM versions by invoking `vyper -h`.
      * @param optimiserMode The optimisation mode used for compilation.
      * For example, the default optimisation mode since Vyper `0.3.10` is "gas".
@@ -234,7 +234,7 @@ contract VyperDeployer is Create {
      * For example, the file name for "ECDSA.vy" is "ECDSA".
      * @param args The ABI-encoded constructor arguments.
      * @param evmVersion The EVM version used for compilation.
-     * For example, the EVM version for the Cancun-Deneb hard fork is "cancun".
+     * For example, the EVM version for the Prague-Electra hard fork is "prague".
      * You can retrieve all available Vyper EVM versions by invoking `vyper -h`.
      * @param optimiserMode The optimisation mode used for compilation.
      * For example, the default optimisation mode since Vyper `0.3.10` is "gas".
diff --git a/src/snekmate/auth/access_control.vy b/src/snekmate/auth/access_control.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Multi-Role-Based Access Control Functions
diff --git a/src/snekmate/auth/interfaces/IAccessControl.vyi b/src/snekmate/auth/interfaces/IAccessControl.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title `access_control` Interface Definition
 @custom:contract-name IAccessControl
diff --git a/src/snekmate/auth/mocks/access_control_mock.vy b/src/snekmate/auth/mocks/access_control_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `access_control` Module Reference Implementation
diff --git a/src/snekmate/auth/mocks/ownable_2step_mock.vy b/src/snekmate/auth/mocks/ownable_2step_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `ownable_2step` Module Reference Implementation
diff --git a/src/snekmate/auth/mocks/ownable_mock.vy b/src/snekmate/auth/mocks/ownable_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `ownable` Module Reference Implementation
diff --git a/src/snekmate/auth/ownable.vy b/src/snekmate/auth/ownable.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Owner-Based Access Control Functions
diff --git a/src/snekmate/auth/ownable_2step.vy b/src/snekmate/auth/ownable_2step.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title 2-Step Ownership Transfer Functions
diff --git a/src/snekmate/extensions/erc2981.vy b/src/snekmate/extensions/erc2981.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title ERC-721 and ERC-1155 Compatible ERC-2981 Reference Implementation
diff --git a/src/snekmate/extensions/erc4626.vy b/src/snekmate/extensions/erc4626.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Modern and Gas-Efficient ERC-4626 Tokenised Vault Implementation
diff --git a/src/snekmate/extensions/interfaces/IERC2981.vyi b/src/snekmate/extensions/interfaces/IERC2981.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-2981 Interface Definition
 @custom:contract-name IERC2981
diff --git a/src/snekmate/extensions/mocks/erc2981_mock.vy b/src/snekmate/extensions/mocks/erc2981_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `erc2981` Module Reference Implementation
diff --git a/src/snekmate/extensions/mocks/erc4626_mock.vy b/src/snekmate/extensions/mocks/erc4626_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `erc4626` Module Reference Implementation
diff --git a/src/snekmate/governance/mocks/timelock_controller_mock.vy b/src/snekmate/governance/mocks/timelock_controller_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `timelock_controller` Module Reference Implementation
diff --git a/src/snekmate/governance/timelock_controller.vy b/src/snekmate/governance/timelock_controller.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Multi-Role-Based Timelock Controller Reference Implementation
diff --git a/src/snekmate/tokens/erc1155.vy b/src/snekmate/tokens/erc1155.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Modern and Gas-Efficient ERC-1155 Implementation
diff --git a/src/snekmate/tokens/erc20.vy b/src/snekmate/tokens/erc20.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Modern and Gas-Efficient ERC-20 + EIP-2612 Implementation
diff --git a/src/snekmate/tokens/erc721.vy b/src/snekmate/tokens/erc721.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Modern and Gas-Efficient ERC-721 + EIP-4494 Implementation
diff --git a/src/snekmate/tokens/interfaces/IERC1155.vyi b/src/snekmate/tokens/interfaces/IERC1155.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-1155 Interface Definition
 @custom:contract-name IERC1155
diff --git a/src/snekmate/tokens/interfaces/IERC1155MetadataURI.vyi b/src/snekmate/tokens/interfaces/IERC1155MetadataURI.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-1155 Optional Metadata Interface Definition
 @custom:contract-name IERC1155MetadataURI
diff --git a/src/snekmate/tokens/interfaces/IERC1155Receiver.vyi b/src/snekmate/tokens/interfaces/IERC1155Receiver.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-1155 Token Receiver Interface Definition
 @custom:contract-name IERC1155Receiver
diff --git a/src/snekmate/tokens/interfaces/IERC20Permit.vyi b/src/snekmate/tokens/interfaces/IERC20Permit.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-2612 Interface Definition
 @custom:contract-name IERC20Permit
diff --git a/src/snekmate/tokens/interfaces/IERC4906.vyi b/src/snekmate/tokens/interfaces/IERC4906.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-4906 Interface Definition
 @custom:contract-name IERC4906
diff --git a/src/snekmate/tokens/interfaces/IERC721Enumerable.vyi b/src/snekmate/tokens/interfaces/IERC721Enumerable.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-721 Optional Enumeration Interface Definition
 @custom:contract-name IERC721Enumerable
diff --git a/src/snekmate/tokens/interfaces/IERC721Metadata.vyi b/src/snekmate/tokens/interfaces/IERC721Metadata.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-721 Optional Metadata Interface Definition
 @custom:contract-name IERC721Metadata
diff --git a/src/snekmate/tokens/interfaces/IERC721Permit.vyi b/src/snekmate/tokens/interfaces/IERC721Permit.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-4494 Interface Definition
 @custom:contract-name IERC721Permit
diff --git a/src/snekmate/tokens/interfaces/IERC721Receiver.vyi b/src/snekmate/tokens/interfaces/IERC721Receiver.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-721 Token Receiver Interface Definition
 @custom:contract-name IERC721Receiver
diff --git a/src/snekmate/tokens/mocks/erc1155_mock.vy b/src/snekmate/tokens/mocks/erc1155_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `erc1155` Module Reference Implementation
diff --git a/src/snekmate/tokens/mocks/erc20_mock.vy b/src/snekmate/tokens/mocks/erc20_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `erc20` Module Reference Implementation
diff --git a/src/snekmate/tokens/mocks/erc721_mock.vy b/src/snekmate/tokens/mocks/erc721_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `erc721` Module Reference Implementation
diff --git a/src/snekmate/utils/base64.vy b/src/snekmate/utils/base64.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Base64 Encoding and Decoding Functions
diff --git a/src/snekmate/utils/batch_distributor.vy b/src/snekmate/utils/batch_distributor.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Batch Sending Both Native and ERC-20 Tokens
diff --git a/src/snekmate/utils/block_hash.vy b/src/snekmate/utils/block_hash.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Utility Functions to Access Historical Block Hashes
diff --git a/src/snekmate/utils/create.vy b/src/snekmate/utils/create.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `CREATE` EVM Opcode Utility Functions
diff --git a/src/snekmate/utils/create2.vy b/src/snekmate/utils/create2.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `CREATE2` EVM Opcode Utility Functions
diff --git a/src/snekmate/utils/create3.vy b/src/snekmate/utils/create3.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `CREATE3`-Based Utility Functions
diff --git a/src/snekmate/utils/ecdsa.vy b/src/snekmate/utils/ecdsa.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Elliptic Curve Digital Signature Algorithm (ECDSA) Secp256k1-Based Functions
diff --git a/src/snekmate/utils/eip712_domain_separator.vy b/src/snekmate/utils/eip712_domain_separator.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title EIP-712 Domain Separator
diff --git a/src/snekmate/utils/interfaces/IERC1271.vyi b/src/snekmate/utils/interfaces/IERC1271.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-1271 Interface Definition
 @custom:contract-name IERC1271
diff --git a/src/snekmate/utils/interfaces/IERC5267.vyi b/src/snekmate/utils/interfaces/IERC5267.vyi
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 """
 @title EIP-5267 Interface Definition
 @custom:contract-name IERC5267
diff --git a/src/snekmate/utils/math.vy b/src/snekmate/utils/math.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Standard Mathematical Utility Functions
diff --git a/src/snekmate/utils/merkle_proof_verification.vy b/src/snekmate/utils/merkle_proof_verification.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Merkle Tree Proof Verification Functions
diff --git a/src/snekmate/utils/message_hash_utils.vy b/src/snekmate/utils/message_hash_utils.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title Signature Message Hash Utility Functions
diff --git a/src/snekmate/utils/mocks/base64_mock.vy b/src/snekmate/utils/mocks/base64_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `base64` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/batch_distributor_mock.vy b/src/snekmate/utils/mocks/batch_distributor_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `batch_distributor` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/block_hash_mock.vy b/src/snekmate/utils/mocks/block_hash_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `block_hash` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/create2_mock.vy b/src/snekmate/utils/mocks/create2_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `create2` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/create3_mock.vy b/src/snekmate/utils/mocks/create3_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `create3` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/create_mock.vy b/src/snekmate/utils/mocks/create_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `create` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/ecdsa_mock.vy b/src/snekmate/utils/mocks/ecdsa_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `ecdsa` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/eip712_domain_separator_mock.vy b/src/snekmate/utils/mocks/eip712_domain_separator_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `eip712_domain_separator` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/math_mock.vy b/src/snekmate/utils/mocks/math_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `math` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/merkle_proof_verification_mock.vy b/src/snekmate/utils/mocks/merkle_proof_verification_mock.vy
@@ -1,4 +1,4 @@
-# pragma version ~=0.4.2
+# pragma version ~=0.4.3rc2
 # pragma nonreentrancy off
 """
 @title `merkle_proof_verification` Module Reference Implementation
diff --git a/src/snekmate/utils/mocks/message_hash_utils_mock.vy b/src/snekmate/utils/mocks/message_hash_utils_mock.vy
diff --git a/src/snekmate/utils/mocks/multicall_mock.vy b/src/snekmate/utils/mocks/multicall_mock.vy
diff --git a/src/snekmate/utils/mocks/p256_mock.vy b/src/snekmate/utils/mocks/p256_mock.vy
diff --git a/src/snekmate/utils/mocks/pausable_mock.vy b/src/snekmate/utils/mocks/pausable_mock.vy
diff --git a/src/snekmate/utils/mocks/signature_checker_mock.vy b/src/snekmate/utils/mocks/signature_checker_mock.vy
diff --git a/src/snekmate/utils/multicall.vy b/src/snekmate/utils/multicall.vy
diff --git a/src/snekmate/utils/p256.vy b/src/snekmate/utils/p256.vy
diff --git a/src/snekmate/utils/pausable.vy b/src/snekmate/utils/pausable.vy
diff --git a/src/snekmate/utils/signature_checker.vy b/src/snekmate/utils/signature_checker.vy
diff --git a/test/tokens/halmos/ERC1155TestHalmos.t.sol b/test/tokens/halmos/ERC1155TestHalmos.t.sol
diff --git a/test/tokens/halmos/ERC20TestHalmos.t.sol b/test/tokens/halmos/ERC20TestHalmos.t.sol
diff --git a/test/tokens/halmos/ERC721TestHalmos.t.sol b/test/tokens/halmos/ERC721TestHalmos.t.sol
diff --git a/test/utils/halmos/MathTestHalmos.t.sol b/test/utils/halmos/MathTestHalmos.t.sol
