assert continuous_page_headers dont exist

HerodotusDev · Sep 9, 2024 · 0b791d5 · 0b791d5
1 parent 3040d6f
commit 0b791d5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo
@@ -169,6 +169,10 @@ fn verify_cairo1_public_input(public_input: @PublicInput) -> (felt252, felt252)
 
     assert(initial_ap < MAX_ADDRESS, 'Invalid initial_ap');
     assert(final_ap < MAX_ADDRESS, 'Invalid final_ap');
+
+    // TODO support continuous memory pages
+    assert(public_input.continuous_page_headers.len() == 0, 'Invalid continuous_page_headers');
+
     let memory = public_input.main_page;
 
     // 1. Program segment