diff --git a/Cargo.toml b/Cargo.toml index 442f2ab69..e3aa0c131 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -20,5 +20,5 @@ num-bigint = "0.4.4" runner = { path = "runner" } serde = { version = "1", features = ["derive"] } serde_json = "1" -swiftness_proof_parser = { git = "https://github.com/iosis-tech/swiftness", rev = "4647b60cb6e0b6a637a2022a16f0a6e93a117cb3"} +swiftness_proof_parser = { git = "https://github.com/iosis-tech/swiftness", rev = "a53d65ecbd7acf4611b0d587d815f4e9d4d493ed"} thiserror = "1.0" \ No newline at end of file diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo index 10c7f9beb..6385df48f 100644 --- a/src/air/public_input.cairo +++ b/src/air/public_input.cairo @@ -169,7 +169,6 @@ 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'); - assert(public_input.continuous_page_headers.len() == 0, 'Invalid continuous_page_headers'); let memory = public_input.main_page; // 1. Program segment