restored timestamp column to CTL

This commit is contained in:
Nicholas Ward 2022-07-07 09:29:35 -07:00
parent 6b2b745291
commit 6655ee68e4
2 changed files with 9 additions and 2 deletions

View File

@ -46,7 +46,14 @@ pub fn ctl_data_memory<F: Field>(channel: usize) -> Vec<Column<F>> {
COL_MAP.mem_addr_virtual[channel],
])
.collect_vec();
cols.extend(Column::singles(COL_MAP.mem_value[channel]));
cols.extend(Column::singles(COL_MAP.mem_value[channel]));
let scalar = F::from_canonical_usize(NUM_CHANNELS);
let addend = F::from_canonical_usize(channel);
cols.push(Column::linear_combination_with_constant(
vec![(columns::CLOCK, scalar)],
addend,
));
let scalar = F::from_canonical_usize(NUM_CHANNELS);
let addend = F::from_canonical_usize(channel);

View File

@ -33,7 +33,7 @@ pub fn ctl_data<F: Field>() -> Vec<Column<F>> {
let mut res =
Column::singles([IS_READ, ADDR_CONTEXT, ADDR_SEGMENT, ADDR_VIRTUAL]).collect_vec();
res.extend(Column::singles((0..8).map(value_limb)));
// res.push(Column::single(TIMESTAMP));
res.push(Column::single(TIMESTAMP));
res
}