Update existing components

starkware-libs · Feb 6, 2025 · 800a68f · 800a68f
1 parent ddd1549
commit 800a68f
Show file tree

Hide file tree

Showing 27 changed files with 5,272 additions and 2,331 deletions.
diff --git a/stwo_cairo_verifier/crates/cairo_air/src/components.cairo b/stwo_cairo_verifier/crates/cairo_air/src/components.cairo
@@ -3,10 +3,10 @@ use stwo_verifier_core::ColumnSpan;
 use stwo_verifier_core::circle::CirclePoint;
 use stwo_verifier_core::fields::qm31::QM31;
 
-pub mod addr_to_id;
-pub mod genericopcode;
-pub mod id_to_f252;
-pub mod range_check;
+pub mod memory_address_to_id;
+pub mod generic_opcode;
+pub mod memory_id_to_big;
+pub mod range_check_vector;
 pub mod ret_opcode;
 pub mod verify_instruction;
 

diff --git a/stwo_cairo_verifier/crates/cairo_air/src/components/addr_to_id/constraints.cairo b/stwo_cairo_verifier/crates/cairo_air/src/components/addr_to_id/constraints.cairo