f

Author: HrikB

.github/workflows/consistency.yml

@@ -1,6 +1,8 @@
 name: OpenVM Repo Consistency Check
 
 on:
+  push:
+  pull_request:
   workflow_dispatch:
 
 concurrency:
@@ -18,11 +20,14 @@ jobs:
       - 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 ${{ inputs.version }}
+          git checkout feat/format-verifier
 
       - name: Run openvm setup
         run: |
@@ -31,4 +36,4 @@ jobs:
 
       - name: Compare output to version folder
         run: |
-          diff -r ~/.openvm/halo2 src/${{ inputs.version }}
+          diff -r ~/.openvm/halo2 src/v1.0.1 --exclude=verifier.bytecode.json

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.