feat: add consistency check workflow

Author: HrikB

.github/workflows/consistency.yml

@@ -13,3 +13,33 @@ jobs:
       - runs-on=${{ github.run_id }}
       - family=m7a.24xlarge
       - disk=large
+
+    steps:
+      - name: Checkout current repo
+        uses: actions/checkout@v4
+
+      - name: Install solc # svm should support arm64 linux
+        run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version
+
+      - name: Clone openvm at tag
+        run: |
+          git clone https://github.com/openvm-org/openvm.git
+          cd openvm
+          git checkout feat/format-verifier
+
+      - name: Run openvm setup
+        run: |
+          cd openvm/crates
+          cargo run --bin cargo-openvm openvm setup
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Compare output to version folder
+        run: |
+          diff -r ~/.openvm/halo2/src/v1.0.1-rc.0 src/v1.0.1-rc.0 --exclude=verifier.bytecode.json
+
+      - name: Compare compiled bytecode in repo to verifier.bytecode.json
+        run: |
+          forge build --force
+          diff <(jq -r '.bytecode.object | ltrimstr("0x")' out/OpenVmHalo2Verifier.sol/OpenVmHalo2Verifier.json) <(jq -r '.bytecode | ltrimstr("0x")' ~/.openvm/halo2/src/v1.0.1-rc.0/verifier.bytecode.json)

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

src/v1.0.1/OpenVmHalo2Verifier.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.0";
+    string public constant OPENVM_VERSION = "1.0.1-rc.0";
 
     /// @notice A wrapper that constructs the proof into the right format for
     /// use with the `snark-verifier` verification.

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;