Skip to content

Commit dd912a2

Browse files
committed
clippy
1 parent c7e9a8b commit dd912a2

File tree

2 files changed

+5
-10
lines changed

2 files changed

+5
-10
lines changed

extensions/native/circuit/src/poseidon2/chip.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,8 @@ use std::borrow::{Borrow, BorrowMut};
33
use openvm_circuit::{
44
arch::*,
55
system::{
6-
memory::{offline_checker::MemoryBaseAuxCols, online::TracingMemory, MemoryAuxColsFactory},
7-
native_adapter::util::{
8-
memory_read_native, tracing_read_native, tracing_write_native_inplace,
9-
},
6+
memory::{online::TracingMemory, MemoryAuxColsFactory},
7+
native_adapter::util::{memory_read_native, tracing_write_native_inplace},
108
},
119
};
1210
use openvm_instructions::{instruction::Instruction, program::DEFAULT_PC_STEP, LocalOpcode};

extensions/native/circuit/src/sumcheck/air.rs

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,14 @@
11
use std::borrow::Borrow;
22

33
use openvm_circuit::{
4-
arch::{ContinuationVmProof, ExecutionBridge, ExecutionState},
4+
arch::{ExecutionBridge, ExecutionState},
55
system::memory::{offline_checker::MemoryBridge, MemoryAddress},
66
};
7-
use openvm_circuit_primitives::{
8-
utils::{and, assert_array_eq, not, or},
9-
var_range::VariableRangeCheckerBus,
10-
};
7+
use openvm_circuit_primitives::utils::{and, assert_array_eq, not};
118
use openvm_instructions::{LocalOpcode, NATIVE_AS};
129
use openvm_native_compiler::SumcheckOpcode::SUMCHECK_LAYER_EVAL;
1310
use openvm_stark_backend::{
14-
interaction::{BusIndex, InteractionBuilder, PermutationCheckBus},
11+
interaction::InteractionBuilder,
1512
p3_air::{Air, AirBuilder, BaseAir},
1613
p3_field::{Field, FieldAlgebra},
1714
p3_matrix::Matrix,

0 commit comments

Comments
 (0)