Merge pull request #43 from scroll-tech/feat/phase2

Feat: Euclid Phase2

Author: lispc

.dockerignore

@@ -21,3 +21,5 @@ docs
 openvm-clippy
 
 target
+
+root_verifier.asm

.github/workflows/build-guest.yml

@@ -22,6 +22,7 @@ on:
       - crates/circuits/batch-circuit/**/*
       - crates/circuits/bundle-circuit/**/*
       - crates/build-guest/**/*
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -33,7 +34,8 @@ jobs:
     if: github.event.pull_request.draft == false
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - name: Checkout code
+        uses: actions/checkout@v4
 
       - name: chunk commitments (prover)
         id: commitments-chunk-prover
@@ -142,3 +144,9 @@ jobs:
           make build-guest
           git diff
           git diff --quiet && echo "no diff" || (echo "diff"; exit 1)
+
+      - name: Upload artifact (chunk app.vmexe)
+        uses: actions/upload-artifact@v4
+        with:
+          name: chunk-app-vmexe
+          path: ./crates/circuits/chunk-circuit/openvm/app.vmexe

.github/workflows/profile-guest.yml

@@ -0,0 +1,50 @@
+name: Profile Guest
+
+on:
+  workflow_run:
+    workflows: ["Build Guest"]
+    types:
+      - completed
+
+jobs:
+  profile-guest:
+    if: ${{ github.event.workflow_run.conclusion == 'success' }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Download artifact (chunk app.vmexe)
+        uses: actions/download-artifact@v4
+        with:
+          name: chunk-app-vmexe
+          path: ./crates/circuits/chunk-circuit/openvm/
+
+      - name: Setup rust
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2024-12-06
+
+      - name: Guest profiling to capture total_cycles
+        id: guest-profiling
+        run: |
+          # Run the tests and capture the output
+          output=$(make profile-chunk | grep "scroll-zkvm-integration(chunk-circuit): total cycles = ")
+          echo "total_cycles=$output" >> $GITHUB_ENV
+
+      - name: Update PR Description
+        uses: actions/github-script@v6
+        with:
+          script: |
+            const prNumber = context.payload.pull_request.number;
+            const totalCycles = process.env.total_cycles;
+            const currentBody = context.payload.pull_request.body;
+
+            // Update the PR description with the total cycles
+            const newBody = `### Total Cycles (chunk-circuit)\n${totalCycles}\n\n${currentBody}`;
+            await github.pulls.update({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              pull_number: prNumber,
+              body: newBody,
+            });

.gitignore

@@ -5,4 +5,13 @@
 /releases
 
 *.log
+
 root_verifier.asm
+
+crates/verifier/testdata/euclidv1/root-verifier-vm-config
+crates/verifier/testdata/euclidv1/root-verifier-committed-exe
+crates/verifier/testdata/euclidv1/verifier.bin
+
+crates/verifier/testdata/euclidv2/root-verifier-vm-config
+crates/verifier/testdata/euclidv2/root-verifier-committed-exe
+crates/verifier/testdata/euclidv2/verifier.bin