Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions .github/workflows/reth-benchmark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,22 +19,22 @@ on:
type: number
required: false
description: Application level log blowup
default: 2
default: 1
leaf_log_blowup:
type: number
required: false
description: Aggregation (leaf) level log blowup
default: 1
internal_log_blowup:
type: number
required: false
description: Internal level log blowup (only for e2e)
default: 2
root_log_blowup:
type: number
required: false
description: Root level log blowup (only for e2e)
default: 3
internal_log_blowup:
type: number
required: false
description: Internal level log blowup (only for e2e)
default: 2
mode:
type: choice
required: false
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/update-patches.yml
Original file line number Diff line number Diff line change
Expand Up @@ -204,7 +204,7 @@ jobs:
echo "branch_name=$BRANCH_NAME" >> $GITHUB_OUTPUT
echo "${{ github.event_name }}"
- name: Create pull request
if: ${{ !inputs.manual_call }}
if: ${{ !inputs.manual_call && github.event_name != 'schedule' }}
uses: repo-sync/pull-request@v2
id: create-pr
with:
Expand Down Expand Up @@ -257,8 +257,8 @@ jobs:
needs: [patch, run-benchmark]
if: |
always() &&
!inputs.manual_call &&
(github.event.inputs.run_benchmark == 'true' || inputs.run_benchmark || github.event_name == 'schedule')
needs.patch.outputs.pr_number != '' &&
needs.patch.outputs.pr_number != null
runs-on: ubuntu-latest
steps:
- name: Close PR
Expand Down
14 changes: 10 additions & 4 deletions bin/host/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ use openvm_native_recursion::halo2::utils::CacheHalo2ParamsReader;
use openvm_pairing_circuit::{PairingCurve, PairingExtension};
use openvm_rv32im_circuit::Rv32M;
use openvm_sdk::{
config::{SdkVmConfig, DEFAULT_APP_LOG_BLOWUP},
config::SdkVmConfig,
keygen::RootVerifierProvingKey,
prover::{AppProver, ContinuationProver},
Sdk, StdIn,
Expand Down Expand Up @@ -82,7 +82,7 @@ struct HostArgs {

const OPENVM_CLIENT_ETH_ELF: &[u8] = include_bytes!("../elf/openvm-client-eth");

fn reth_vm_config(
pub fn reth_vm_config(
app_log_blowup: usize,
max_segment_length: usize,
max_cells_per_chip_in_segment: usize,
Expand Down Expand Up @@ -132,6 +132,9 @@ fn reth_vm_config(
.build()
}

pub const RETH_DEFAULT_APP_LOG_BLOWUP: usize = 1;
pub const RETH_DEFAULT_LEAF_LOG_BLOWUP: usize = 1;

#[tokio::main]
async fn main() -> eyre::Result<()> {
// Initialize the environment variables.
Expand All @@ -142,7 +145,7 @@ async fn main() -> eyre::Result<()> {
}

// Parse the command line arguments.
let args = HostArgs::parse();
let mut args = HostArgs::parse();
let provider_config = args.provider.into_provider().await?;

let variant = match provider_config.chain_id {
Expand Down Expand Up @@ -202,10 +205,13 @@ async fn main() -> eyre::Result<()> {
let mut stdin = StdIn::default();
stdin.write(&client_input);

let app_log_blowup = args.benchmark.app_log_blowup.unwrap_or(DEFAULT_APP_LOG_BLOWUP);
let app_log_blowup = args.benchmark.app_log_blowup.unwrap_or(RETH_DEFAULT_APP_LOG_BLOWUP);
args.benchmark.app_log_blowup = Some(app_log_blowup);
let max_segment_length = args.benchmark.max_segment_length.unwrap_or((1 << 23) - 100);
let max_cells_per_chip_in_segment =
args.max_cells_per_chip_in_segment.unwrap_or(((1 << 23) - 100) * 120);
let leaf_log_blowup = args.benchmark.leaf_log_blowup.unwrap_or(RETH_DEFAULT_LEAF_LOG_BLOWUP);
args.benchmark.leaf_log_blowup = Some(leaf_log_blowup);

let vm_config = reth_vm_config(
app_log_blowup,
Expand Down
Loading