revm_transfer/
revm_transfer.rs
1use clap::Parser;
2use eyre::Result;
3use openvm_benchmarks_prove::util::BenchmarkCli;
4use openvm_circuit::arch::instructions::exe::VmExe;
5use openvm_keccak256_circuit::Keccak256Rv32Config;
6use openvm_keccak256_transpiler::Keccak256TranspilerExtension;
7use openvm_rv32im_transpiler::{
8 Rv32ITranspilerExtension, Rv32IoTranspilerExtension, Rv32MTranspilerExtension,
9};
10use openvm_sdk::StdIn;
11use openvm_stark_sdk::{bench::run_with_metric_collection, p3_baby_bear::BabyBear};
12use openvm_transpiler::{transpiler::Transpiler, FromElf};
13
14fn main() -> Result<()> {
15 let args = BenchmarkCli::parse();
16 let elf = args.build_bench_program("revm_transfer")?;
17 let exe = VmExe::from_elf(
18 elf,
19 Transpiler::<BabyBear>::default()
20 .with_extension(Rv32ITranspilerExtension)
21 .with_extension(Rv32MTranspilerExtension)
22 .with_extension(Rv32IoTranspilerExtension)
23 .with_extension(Keccak256TranspilerExtension),
24 )?;
25 run_with_metric_collection("OUTPUT_PATH", || -> Result<()> {
26 args.bench_from_exe(
27 "revm_100_transfers",
28 Keccak256Rv32Config::default(),
29 exe,
30 StdIn::default(),
31 )
32 })
33}