diff --git a/src/tables/processor.rs b/src/tables/processor.rs index b6d9d46..30f599b 100644 --- a/src/tables/processor.rs +++ b/src/tables/processor.rs @@ -392,16 +392,13 @@ impl ProcessorTable { ]); let clk_next = next_interpolated[Indices::Cycle as usize].clone(); let ip_next = next_interpolated[Indices::InstructionPointer as usize].clone(); - let ci_next = next_interpolated[Indices::CurrentInstruction as usize].clone(); - let ni_next = next_interpolated[Indices::NextInstruction as usize].clone(); let mp_next = next_interpolated[Indices::MemoryPointer as usize].clone(); let mv_next = next_interpolated[Indices::MemoryValue as usize].clone(); - let inv_mv_next = next_interpolated[Indices::MemoryValueInverse as usize].clone(); let ipa_next = next_interpolated[Indices::InstructionPermutaion as usize].clone(); let mpa_next = next_interpolated[Indices::MemoryPermuation as usize].clone(); let iea_next = next_interpolated[Indices::InputEvaluation as usize].clone(); let oea_next = next_interpolated[Indices::OutputEvaluation as usize].clone(); - let one = Polynomial::new_from_coefficients(vec![FieldElement::one(self.table.field)]); + let mut air = vec![]; //Boundary contsraints :clk=mp=mv=inv=ip=0 //iea=oea=1 (we are using 1 instead of any random number)