Skip to content

Commit

Permalink
Update example revm (#173)
Browse files Browse the repository at this point in the history
* Update example revm

* clippy
  • Loading branch information
xander42280 authored Oct 9, 2024
1 parent 58f7960 commit 95203b2
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 2 deletions.
Binary file modified emulator/test-vectors/test.json
Binary file not shown.
2 changes: 1 addition & 1 deletion prover/examples/zkmips.rs
Original file line number Diff line number Diff line change
Expand Up @@ -332,7 +332,7 @@ fn prove_revm() {

let mut state = load_elf_with_patch(&elf_path, vec![]);
// load input
state.add_input_stream(&data);
state.input_stream.push(data);

let (_total_steps, seg_num, mut _state) = split_prog_into_segs(state, &seg_path, "", seg_size);

Expand Down
2 changes: 1 addition & 1 deletion prover/src/cross_table_lookup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -437,7 +437,7 @@ pub(crate) struct CtlZData<'a, F: Field> {
pub(crate) filter: Vec<Option<Filter<F>>>,
}

impl<'a, F: Field> CtlData<'a, F> {
impl<F: Field> CtlData<'_, F> {
pub fn len(&self) -> usize {
self.zs_columns.len()
}
Expand Down

0 comments on commit 95203b2

Please sign in to comment.