From 0b791d5d0e1047ed3d4703e0e844f210cdcd0ae9 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Mon, 9 Sep 2024 11:43:12 +0200 Subject: [PATCH] assert continuous_page_headers dont exist --- src/air/public_input.cairo | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo index 6385df48f..8c9f52ed4 100644 --- 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