feat: Dynamic Address for Out-of-Domain Row in TASM AIR Evaluation

constraint-evaluation-generator/src/codegen.rs

@@ -7,8 +7,10 @@ use twenty_first::prelude::XFieldElement;
 
 use crate::constraints::Constraints;
 
+pub(crate) mod common_tasm;
+mod dynamic_tasm;
 mod rust;
-mod tasm;
+mod static_tasm;
 
 pub(crate) trait Codegen {
     fn constraint_evaluation_code(constraints: &Constraints) -> TokenStream;
@@ -33,14 +35,27 @@ pub(crate) struct RustBackend {
 }
 
 #[derive(Debug, Default, Clone, Eq, PartialEq)]
-pub(crate) struct TasmBackend {
+pub(crate) struct StaticTasmBackend {
     /// All [circuit] IDs known to be processed and stored to memory.
     ///
     /// [circuit]: triton_vm::table::constraint_circuit::ConstraintCircuit
     scope: HashSet<usize>,
 
     /// The number of elements written to the output list.
     ///
-    /// See [`TasmBackend::doc_comment`] for details.
+    /// See [`StaticTasmBackend::doc_comment`] for details.
+    elements_written: usize,
+}
+
+#[derive(Debug, Default, Clone, Eq, PartialEq)]
+pub(crate) struct DynamicTasmBackend {
+    /// All [circuit] IDs known to be processed and stored to memory.
+    ///
+    /// [circuit]: triton_vm::table::constraint_circuit::ConstraintCircuit
+    scope: HashSet<usize>,
+
+    /// The number of elements written to the output list.
+    ///
+    /// See [`DynamicTasmBackend::doc_comment`] for details.
     elements_written: usize,
 }

constraint-evaluation-generator/src/codegen/common_tasm.rs

@@ -0,0 +1,16 @@
+use proc_macro2::TokenStream;
+use quote::quote;
+
+pub(crate) fn uses() -> TokenStream {
+    quote!(
+        use twenty_first::prelude::BFieldCodec;
+        use twenty_first::prelude::BFieldElement;
+        use crate::instruction::LabelledInstruction;
+        use crate::Program;
+        use crate::air::memory_layout::StaticTasmConstraintEvaluationMemoryLayout;
+        use crate::air::memory_layout::DynamicTasmConstraintEvaluationMemoryLayout;
+        // for rustdoc – https://github.com/rust-lang/rust/issues/74563
+        #[allow(unused_imports)]
+        use crate::table::extension_table::Quotientable;
+    )
+}