Merge branch 'main' into feat/#1474-rw-lookup-index-error

.github/workflows/integration.yml

@@ -9,16 +9,18 @@ on:
   push:
     branches:
       - main
-  workflow_dispatch:    
+  workflow_dispatch:
     inputs:
       provertype:
-        description: 'invoke real vs mock prover'
+        description: 'invoke real vs mock prover (with or without root)'
         required: true
-        default: 'mock_prover'
+        default: 'sub_mock_prover'
         type: choice
         options:
-        - real_prover
-        - mock_prover  
+        - sub_real_prover
+        - sub_mock_prover
+        - root_mock_prover
+        - root_real_prover
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -36,12 +38,18 @@ jobs:
       - id: set-outputs
         name: Select instance and prover type
         run: |
-          if [ "${{ github.event.inputs.provertype }}" = "real_prover" ] || [ "${{ github.event_name }}" = "schedule" ]; then
+          if [ "${{ github.event.inputs.provertype }}" = "root_real_prover" ] || [ "${{ github.event_name }}" = "schedule" ]; then
             echo "instancetype=r6i.32xlarge" >> "$GITHUB_OUTPUT"
-            echo "provertype=real_prover" >> "$GITHUB_OUTPUT"
-          elif [ "${{ github.event.inputs.provertype }}" = "mock_prover" ] || [ -z ${{ github.event.inputs.provertype }} ]; then
+            echo "provertype=root_real_prover" >> "$GITHUB_OUTPUT"
+          elif [ "${{ github.event.inputs.provertype }}" = "root_mock_prover" ]; then
+            echo "instancetype=r6i.32xlarge" >> "$GITHUB_OUTPUT"
+            echo "provertype=root_mock_prover" >> "$GITHUB_OUTPUT"
+          elif [ "${{ github.event.inputs.provertype }}" = "sub_real_prover" ]; then
+            echo "instancetype=r6i.32xlarge" >> "$GITHUB_OUTPUT"
+            echo "provertype=sub_real_prover" >> "$GITHUB_OUTPUT"
+          elif [ "${{ github.event.inputs.provertype }}" = "sub_mock_prover" ] || [ -z ${{ github.event.inputs.provertype }} ]; then
             echo "instancetype=c5.9xlarge" >> "$GITHUB_OUTPUT"
-            echo "provertype=mock_prover" >> "$GITHUB_OUTPUT"
+            echo "provertype=sub_mock_prover" >> "$GITHUB_OUTPUT"
           else
             exit 1
           fi
@@ -73,7 +81,7 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-go-
       - name: Cargo cache
-        uses: actions/cache@v3  
+        uses: actions/cache@v3
         with:
           path: |
             ~/.cargo/bin/
@@ -82,7 +90,7 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
-      # Run an initial build in a separate step to split the build time from execution time    
+      # Run an initial build in a separate step to split the build time from execution time
       - name: Build bins
         run: cargo build --bin gen_blockchain_data
       - name: Build tests

bus-mapping/Cargo.toml

@@ -16,7 +16,6 @@ halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.gi
 itertools = "0.10"
 lazy_static = "1.4"
 log = "0.4.14"
-rand = { version = "0.8", optional = true }
 serde = {version = "1.0.130", features = ["derive"] }
 serde_json = "1.0.66"
 strum = "0.24"
@@ -30,7 +29,6 @@ pretty_assertions = "1.0.0"
 tokio = { version = "1.13", features = ["macros"] }
 url = "2.2.2"
 mock = { path = "../mock" }
-rand = "0.8"
 
 [features]
-test = ["mock", "rand"]
+test = ["mock"]

bus-mapping/src/circuit_input_builder.rs

@@ -80,7 +80,7 @@ impl Default for CircuitsParams {
             // TODO: Check whether this value is correct or we should increase/decrease based on
             // this lib tests
             max_copy_rows: 1000,
-            max_exp_steps: 1000,
+            max_exp_steps: 1000 / 7, // exp_circuit::OFFSET_INCREMENT = 7
             max_bytecode: 512,
             max_evm_rows: 0,
             max_keccak_rows: 0,