Private Input circuit

[naure]

Implement the supporting circuit for private input.

This will enable #607

Plan:

• Solution based on memory initialization (as opposed to solutions based on LOAD / STORE circuits).
• Constrain the content to the u32 range.
• Assume a contiguous range of addresses so we can use the SetTableSpec::DynamicAddr optimization.
• Attempt to make the range and range size dynamic.

[hero78119]

Related to marked of TODOs here

ceno/ceno_zkvm/src/tables/ram/ram_impl.rs

Lines 402 to 417 in 6ea3bee

	#[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>,
	}

In the end it seems to support {Dyn, Fix} x {Volatile, Non Volatile}, in totally 4 combination