diff --git a/circuits/src/memory_io/stark.rs b/circuits/src/memory_io/stark.rs index f8f50edbb..ade12ad02 100644 --- a/circuits/src/memory_io/stark.rs +++ b/circuits/src/memory_io/stark.rs @@ -10,21 +10,17 @@ use starky::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsume use starky::evaluation_frame::{StarkEvaluationFrame, StarkFrame}; use starky::stark::Stark; +use crate::display::derive_display_stark_name; use crate::memory_io::columns::{InputOutputMemory, NUM_IO_MEM_COLS}; use crate::stark::utils::is_binary; +derive_display_stark_name!(InputOuputMemoryStark); #[derive(Copy, Clone, Default)] #[allow(clippy::module_name_repetitions)] pub struct InputOuputMemoryStark { pub _f: PhantomData, } -impl Display for InputOuputMemoryStark { - fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { - write!(f, "InputOutputMemoryStark") - } -} - const COLUMNS: usize = NUM_IO_MEM_COLS; const PUBLIC_INPUTS: usize = 0;