feat: add consistency check workflow

Author: HrikB

.github/workflows/consistency.yml

@@ -13,3 +13,22 @@ jobs:
       - runs-on=${{ github.run_id }}
       - family=m7a.24xlarge
       - disk=large
+
+    steps:
+      - name: Checkout current repo
+        uses: actions/checkout@v4
+
+      - name: Clone openvm at tag
+        run: |
+          git clone https://github.com/openvm-org/openvm.git
+          cd openvm
+          git checkout ${{ inputs.version }}
+
+      - name: Run openvm setup
+        run: |
+          cd openvm/crates
+          cargo run --bin cargo-openvm openvm setup
+
+      - name: Compare output to version folder
+        run: |
+          diff -r ~/.openvm/halo2 src/${{ inputs.version }}

foundry.toml

@@ -6,7 +6,7 @@ verbosity = 2
 solc = "0.8.19"
 optimizer = true
 optimizer_runs = 100000
-evm_version = "shanghai"
+evm_version = "paris"
 show_progress = true
 fs_permissions = [{ access = "read", path = "./test/v1.0.1/evm.proof"}]
 
@@ -18,6 +18,7 @@ fs_permissions = [{ access = "read", path = "./test/v1.0.1/evm.proof"}]
   runs = 256
 
 [fmt]
+  sort_imports = true
   bracket_spacing = true
   int_types = "long"
   line_length = 120

test/v1.0.1/OpenVmHalo2Verifer.t.sol

@@ -1,9 +1,9 @@
 // SPDX-License-Identifier: MIT
 pragma solidity 0.8.19;
 
+import { OpenVmHalo2Verifier } from "../../src/v1.0.1/OpenVmHalo2Verifier.sol";
 import { LibString } from "../helpers/LibString.sol";
 import { Test, console2, safeconsole as console } from "forge-std/Test.sol";
-import { OpenVmHalo2Verifier } from "../../src/v1.0.1/OpenVmHalo2Verifier.sol";
 
 contract OpenVmHalo2VerifierTest is Test {
     bytes proofData;