This commit is contained in:
Nicholas Ward 2022-06-17 17:06:32 -07:00
parent a2c14077d2
commit 2d7f2b47c2
2 changed files with 5 additions and 3 deletions

View File

@ -136,7 +136,7 @@ mod tests {
} }
trace_rows_to_poly_values(trace_rows) trace_rows_to_poly_values(trace_rows)
} }
fn make_memory_trace<R: Rng>( fn make_memory_trace<R: Rng>(
num_memory_ops: usize, num_memory_ops: usize,
memory_stark: &MemoryStark<F, D>, memory_stark: &MemoryStark<F, D>,
@ -278,7 +278,6 @@ mod tests {
&mut memory_trace, &mut memory_trace,
); );
let mut cpu_keccak_input_output = cpu::columns::KECCAK_INPUT_LIMBS.collect::<Vec<_>>(); let mut cpu_keccak_input_output = cpu::columns::KECCAK_INPUT_LIMBS.collect::<Vec<_>>();
cpu_keccak_input_output.extend(cpu::columns::KECCAK_OUTPUT_LIMBS); cpu_keccak_input_output.extend(cpu::columns::KECCAK_OUTPUT_LIMBS);
let mut keccak_keccak_input_output = (0..2 * NUM_INPUTS) let mut keccak_keccak_input_output = (0..2 * NUM_INPUTS)

View File

@ -38,7 +38,10 @@ pub struct MemoryOp<F> {
value: [F; 8], value: [F; 8],
} }
pub fn generate_random_memory_ops<F: RichField, R: Rng>(num_ops: usize, rng: &mut R) -> Vec<MemoryOp<F>> { pub fn generate_random_memory_ops<F: RichField, R: Rng>(
num_ops: usize,
rng: &mut R,
) -> Vec<MemoryOp<F>> {
let mut memory_ops = Vec::new(); let mut memory_ops = Vec::new();
let mut current_memory_values: HashMap<(F, F, F), [F; 8]> = HashMap::new(); let mut current_memory_values: HashMap<(F, F, F), [F; 8]> = HashMap::new();