Skip to content

Commit

Permalink
feat/private-input: remove draft
Browse files Browse the repository at this point in the history
  • Loading branch information
Aurélien Nicolas committed Nov 21, 2024
1 parent 931d942 commit af2c592
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions ceno_zkvm/src/tables/ram/ram_impl.rs
Original file line number Diff line number Diff line change
Expand Up @@ -405,20 +405,3 @@ impl<DVRAM: DynVolatileRamTable + Send + Sync + Clone> 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<RAM: DynVolatileRamTable + Send + Sync + Clone> {
addr: WitIn,

init_v: Vec<WitIn>,

final_v: Vec<WitIn>,
final_cycle: WitIn,

phantom: PhantomData<RAM>,
}

0 comments on commit af2c592

Please sign in to comment.