From b42c8e3832023823ec3565285fd2cd140b139061 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 18 Apr 2023 11:45:41 +0200 Subject: [PATCH] Fix case for no memory access. --- .../machines/double_sorted_witness_machine.rs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/witness_generator/machines/double_sorted_witness_machine.rs b/src/witness_generator/machines/double_sorted_witness_machine.rs index 681f99458..d69de2c39 100644 --- a/src/witness_generator/machines/double_sorted_witness_machine.rs +++ b/src/witness_generator/machines/double_sorted_witness_machine.rs @@ -111,7 +111,13 @@ impl Machine for DoubleSortedWitnesses { is_read.push((if o.is_write { 0 } else { 1 }).into()); } if addr.is_empty() { - todo!(); + // No memory access at all - fill a first row with something. + addr.push(0.into()); + step.push(0.into()); + value.push(0.into()); + op.push(0.into()); + is_write.push(0.into()); + is_read.push(0.into()); } while addr.len() < fixed_data.degree as usize { addr.push(addr.last().unwrap().clone());