Merge branch 'feat/ed25519' into feat/edwards-curve-new-execution

Author: Avaneesh-axiom

.github/workflows/benchmarks-execute.yml

@@ -25,6 +25,8 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
+  S3_FIXTURES_PATH: s3://openvm-public-data-sandbox-us-east-1/benchmark/fixtures
+  JEMALLOC_SYS_WITH_MALLOC_CONF: "retain:true,background_thread:true,metadata_thp:always,thp:always,dirty_decay_ms:-1,muzzy_decay_ms:-1,abort_conf:true"
 
 jobs:
   codspeed-walltime-benchmarks:
@@ -46,6 +48,16 @@ jobs:
         with:
           cache-on-failure: true
 
+      - name: Install architecture specific tools
+        run: |
+          source ci/scripts/utils.sh
+          install_s5cmd
+
+      - name: Pull fixtures from S3
+        run: |
+          mkdir -p benchmarks/fixtures
+          s5cmd cp "${{ env.S3_FIXTURES_PATH }}/*" benchmarks/fixtures/ || echo "No fixtures found in S3"
+
       - name: Install cargo-binstall
         uses: cargo-bins/cargo-binstall@main
       - name: Install codspeed
@@ -60,8 +72,6 @@ jobs:
           working-directory: benchmarks/execute
           run: cargo codspeed run
           token: ${{ secrets.CODSPEED_TOKEN }}
-        env:
-          CODSPEED_RUNNER_MODE: walltime
 
   codspeed-instrumentation-benchmarks:
     name: Run codspeed instrumentation benchmarks
@@ -83,6 +93,16 @@ jobs:
         with:
           cache-on-failure: true
 
+      - name: Install architecture specific tools
+        run: |
+          source ci/scripts/utils.sh
+          install_s5cmd
+
+      - name: Pull fixtures from S3
+        run: |
+          mkdir -p benchmarks/fixtures
+          s5cmd cp "${{ env.S3_FIXTURES_PATH }}/*" benchmarks/fixtures/ || echo "No fixtures found in S3"
+
       - name: Install cargo-binstall
         uses: cargo-bins/cargo-binstall@main
       - name: Install codspeed
@@ -97,5 +117,3 @@ jobs:
           working-directory: benchmarks/execute
           run: cargo codspeed run
           token: ${{ secrets.CODSPEED_TOKEN }}
-        env:
-          CODSPEED_RUNNER_MODE: instrumentation

.github/workflows/benchmarks-upload-fixtures.yml

@@ -0,0 +1,42 @@
+name: "Upload benchmark fixtures"
+
+on:
+  workflow_dispatch:
+
+env:
+  CARGO_TERM_COLOR: always
+  S3_FIXTURES_PATH: s3://openvm-public-data-sandbox-us-east-1/benchmark/fixtures
+
+jobs:
+  generate-fixtures:
+    name: Generate and upload benchmark fixtures
+    runs-on:
+      - runs-on=${{ github.run_id }}
+      - runner=64cpu-linux-arm64
+      - family=m7
+      - extras=s3-cache
+
+    steps:
+      - uses: runs-on/action@v1
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+        with:
+          cache-on-failure: true
+
+      - name: Install architecture specific tools
+        run: |
+          source ci/scripts/utils.sh
+          install_s5cmd
+
+      - name: Generate fixtures
+        run: cargo r -r --bin generate-fixtures --features generate-fixtures
+
+      - name: Upload fixtures to S3
+        run: |
+          if [ -d "benchmarks/fixtures" ]; then
+            s5cmd cp benchmarks/fixtures/ ${{ env.S3_FIXTURES_PATH }}/
+          else
+            echo "No fixtures directory found"
+            exit 1
+          fi

.github/workflows/lints.yml

@@ -46,7 +46,7 @@ jobs:
           # list of all unique features across workspace generated using:
           # cargo metadata --format-version=1 --no-deps | jq -r '.packages[].features | to_entries[] | .key' | sort -u | tr '\n' ' ' && echo ""
           # (exclude mimalloc since it conflicts with jemalloc)
-          cargo clippy --all-targets --all --tests --features "aggregation bls12_381 bn254 build-binaries default entrypoint evm-prove evm-verify export-intrinsics export-libm function-span getrandom-unsupported halo2-compiler halo2curves heap-embedded-alloc jemalloc jemalloc-prof metrics nightly-features panic-handler parallel perf-metrics rust-runtime static-verifier std test-utils" -- -D warnings
+          cargo clippy --all-targets --all --tests --features "aggregation bls12_381 bn254 build-elfs default entrypoint evm-prove evm-verify export-intrinsics export-libm function-span getrandom-unsupported halo2-compiler halo2curves heap-embedded-alloc jemalloc jemalloc-prof metrics nightly-features panic-handler parallel perf-metrics rust-runtime static-verifier std test-utils" -- -D warnings
           cargo clippy --all-targets --all --tests --no-default-features --features "mimalloc" -- -D warnings
 
       - name: Run fmt, clippy for guest

.gitignore

@@ -40,3 +40,6 @@ crates/cli/openvm/
 
 # samply profile
 profile.json.gz
+
+# test fixtures
+benchmarks/fixtures

CHANGELOG.md

@@ -14,6 +14,10 @@ and this project follows a versioning principles documented in [VERSIONING.md](.
 - (Toolchain) Removed `step` from `Program` struct because `DEFAULT_PC_STEP = 4` is always used.
 - (Config) The `clk_max_bits` field in `MemoryConfig` has been renamed to `timestamp_max_bits`.
 - (Prover) Guest memory is stored on host with address space-specified memory layouts. In particular address space `1` through `3` are now represented in bytes instead of field elements.
+- (ISA) Field arithmetic instructions now restrict address spaces `e, f` to be either `0` or `4`, instead of allowing any address space.
+- (ISA) RV32IM load instructions are now restricted to address space `2` only, instead of allowing address spaces `0`, `1`, or `2`.
+- (ISA) The maximum valid pointer value in address space `1` (register address space) is now `127`, corresponding to 32 registers with 4 byte limbs each.
+- (ISA) Memory accesses now have configurable minimum block size requirements per address space. Address spaces `1`, `2`, and `3` require minimum block size of 4. Native address space (`4`) allows minimum block size of 1. Address spaces beyond `4` default to minimum block size of 1 but are configurable.
 
 ## v1.3.0 (2025-07-15)