trace_decoder 0.7.0

Ethereum node witness -> Prover input
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

//! Benchmarks the processing by the decoder of a block witness obtained from a
//! node into a sequence of prover inputs ready to be sent to a prover.
//!
//! The block being processed here is the 19778575th Ethereum block
//! (<https://etherscan.io/block/19778575>) containing 201 transactions and 16 withdrawals
//! for a total of 24,479,837 gas.

use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
use trace_decoder::observer::DummyObserver;
use trace_decoder::{BlockTrace, OtherBlockData};
use zero::prover::WIRE_DISPOSITION;

#[derive(Clone, Debug, serde::Deserialize)]
pub struct ProverInput {
    pub block_trace: BlockTrace,
    pub other_data: OtherBlockData,
}

fn criterion_benchmark(c: &mut Criterion) {
    let prover_input =
        serde_json::from_slice::<ProverInput>(include_bytes!("block_input.json").as_slice())
            .unwrap();

    let batch_sizes = vec![1, 2, 4, 8];

    let mut group = c.benchmark_group("Benchmark group");

    for batch_size in batch_sizes {
        let batch_size_string =
            format!("Block 19240650 processing, with batch_size = {batch_size}");
        group.bench_function(batch_size_string, |b| {
            b.iter_batched(
                || prover_input.clone(),
                |ProverInput {
                     block_trace,
                     other_data,
                 }| {
                    trace_decoder::entrypoint(
                        block_trace,
                        other_data,
                        batch_size,
                        &mut DummyObserver::new(),
                        WIRE_DISPOSITION,
                    )
                    .unwrap()
                },
                BatchSize::LargeInput,
            )
        });
    }

    group.finish()
}

criterion_group!(
    name = benches;
    config = Criterion::default().sample_size(10);
    targets = criterion_benchmark);
criterion_main!(benches);