chore: update contracts for v1.1.1

Author: HrikB

foundry.toml

@@ -8,7 +8,7 @@ optimizer = true
 optimizer_runs = 100000
 evm_version = "paris"
 show_progress = true
-fs_permissions = [{ access = "read", path = "./test/v1.0.1/evm.proof"}]
+fs_permissions = [{ access = "read", path = "./test/v1.1.1/evm.proof"}]
 
 [profile.default.optimizer_details]
   constantOptimizer = false

src/v1.0.1/Halo2Verifier.sol renamed to src/v1.1.1/Halo2Verifier.sol

@@ -29,7 +29,7 @@ contract OpenVmHalo2Verifier is Halo2Verifier, IOpenVmHalo2Verifier {
     uint256 private constant FULL_PROOF_LENGTH = (12 + 2 + PUBLIC_VALUES_LENGTH + 43) * 32;
 
     /// @dev The version of OpenVM that generated this verifier.
-    string public constant OPENVM_VERSION = "1.0.1-rc.0";
+    string public constant OPENVM_VERSION = "1.1.1";
 
     /// @notice A wrapper that constructs the proof into the right format for
     /// use with the `snark-verifier` verification.

src/v1.0.1/OpenVmHalo2Verifier.sol renamed to src/v1.1.1/OpenVmHalo2Verifier.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 pragma solidity 0.8.19;
 
-import { OpenVmHalo2Verifier } from "../../src/v1.0.1/OpenVmHalo2Verifier.sol";
+import { OpenVmHalo2Verifier } from "../../src/v1.1.1/OpenVmHalo2Verifier.sol";
 import { LibString } from "../helpers/LibString.sol";
 import { Test, console2, safeconsole as console } from "forge-std/Test.sol";
 
@@ -26,7 +26,7 @@ contract OpenVmHalo2VerifierTest is Test {
     }
 
     function test_ValidProofVerifies() public view {
-        string memory evmProofJson = vm.readFile("test/v1.0.1/evm.proof");
+        string memory evmProofJson = vm.readFile("test/v1.1.1/evm.proof");
         bytes32 _appExeCommit = vm.parseJsonBytes32(evmProofJson, ".app_exe_commit");
         bytes32 _appVmCommit = vm.parseJsonBytes32(evmProofJson, ".app_vm_commit");
         bytes memory _guestPvs = vm.parseJsonBytes(evmProofJson, ".user_public_values");