Add instruction_check workflow to circleci

.circleci/config.yml

@@ -38,6 +38,11 @@ workflows:
       - prestate-reproducibility:
           version: "1.3.1"
           asterisc-commit: "25feabf"
+  instruction_check:
+    jobs:
+      - checkout-with-monorepo
+      - build-kona
+      - run-rv64-matching-tool
 
 commands:
   checkout-with-monorepo:
@@ -414,3 +419,48 @@ jobs:
               echo "Prestate did not match expected"
               exit 1
             fi
+
+  build-kona:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    parameters:
+      version:
+        type: string
+      asterisc-commit:
+        type: string
+    steps:
+      - run:
+          name: Clone Kona Repository
+          command: |
+            git clone [email protected]:op-rs/kona.git --depth 1
+      - run:
+          name: Build RISCV ELF
+          command: |
+            cd kona
+            just build-asterisc --bin kona --profile release-client-lto
+      - persist_to_workspace:
+          root: .
+          paths:
+            - kona/target/release-client-lto/kona
+
+  run-rv64-matching-tool:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    parameters:
+      version:
+        type: string
+      asterisc-commit:
+        type: string
+    steps:
+      - attach_workspace:
+          at: .
+      - run:
+          name: install_python_dep
+          command: |
+            python3 -m venv localenv
+            source localenv/bin/activate
+            pip3 install -r requirements.txt
+      - run:
+          name: Run RV64 matching tool
+          command: | 
+            python3 matching_tool.py /Users/minhyuk/Desktop/sunny/kona/target/release-client-lto/kona ./supported_targets/asterisc-v1.1.2.json