Merge branch 'main' into new-precompiles

Author: tcoratger

crates/leanVm/src/bytecode/instruction/dot_product.rs

@@ -5,6 +5,7 @@ use crate::{
     constant::{DIMENSION, EF, F},
     context::run_context::RunContext,
     errors::{memory::MemoryError, vm::VirtualMachineError},
+    errors::vm::VirtualMachineError,
     memory::{address::MemoryAddress, manager::MemoryManager},
 };
 

crates/leanVm/src/bytecode/instruction/multilinear_eval.rs

@@ -8,6 +8,8 @@ use crate::{
     errors::{memory::MemoryError, vm::VirtualMachineError},
     memory::{address::MemoryAddress, manager::MemoryManager},
     witness::multilinear_eval::WitnessMultilinearEval,
+    errors::vm::VirtualMachineError,
+    memory::{address::MemoryAddress, manager::MemoryManager},
 };
 
 /// An instruction to evaluate a multilinear polynomial at a point in the extension field.

crates/leanVm/src/errors/vm.rs

@@ -24,4 +24,6 @@ pub enum VirtualMachineError {
     TooManyUnknownOperands,
     #[error("Program counter (pc) is out of bounds.")]
     PCOutOfBounds,
+    #[error("Invalid extensionn field.")]
+    InvalidExtensionField,
 }