diff --git a/ceno_zkvm/src/tables/ram/ram_impl.rs b/ceno_zkvm/src/tables/ram/ram_impl.rs index 06e69641b..47f665807 100644 --- a/ceno_zkvm/src/tables/ram/ram_impl.rs +++ b/ceno_zkvm/src/tables/ram/ram_impl.rs @@ -405,20 +405,3 @@ impl DynVolatileRamTableConfig Ok(final_table) } } - -#[allow(dead_code)] -/// DynUnConstrainRamTableConfig with unconstrain init value and final value -/// dynamic address as witin, relied on augment of knowledge to prove address form -/// do not check init_value -/// TODO implement DynUnConstrainRamTableConfig -#[derive(Clone, Debug)] -pub struct DynUnConstrainRamTableConfig { - addr: WitIn, - - init_v: Vec, - - final_v: Vec, - final_cycle: WitIn, - - phantom: PhantomData, -}