Merge pull request #140 from HerodotusDev/cairo1-dev

cairo1 program hash fix
HerodotusDev · Aug 23, 2024 · 1c8fb28 · 1c8fb28
2 parents e5cb297 + 3ce5548
commit 1c8fb28
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo
@@ -174,8 +174,7 @@ fn verify_cairo1_public_input(public_input: @PublicInput) -> (felt252, felt252)
 
     // 1. Program segment
     assert(initial_pc == INITIAL_PC, 'Invalid initial_pc');
-    let program = memory
-        .extract_range_unchecked(initial_pc.try_into().unwrap(), memory.len() - output_len);
+    let program = memory.extract_range_unchecked(0, memory.len() - output_len);
     let program_hash = poseidon_hash_span(program);
 
     // 2. Output segment