Skip_pedersen_comparison_when_checking_pie_compatibility

YairVaknin-starkware · YairVaknin-starkware · commit 53488ae50f84 · 2024-10-18T18:09:34.000+03:00
diff --git a/vm/src/vm/runners/cairo_pie.rs b/vm/src/vm/runners/cairo_pie.rs
@@ -289,6 +289,10 @@ impl CairoPie {
             return Err(CairoPieValidationError::DiffAdditionalData);
         }
         for (name, data) in self.additional_data.0.iter() {
+            // As documented above, we skip the pedersen field when comparing.
+            if *name == BuiltinName::pedersen {
+                continue;
+            }
             if !pie.additional_data.0.get(name).is_some_and(|d| d == data) {
                 return Err(CairoPieValidationError::DiffAdditionalDataForBuiltin(*name));
             }

Original file line number	Diff line number	Diff line change
`@@ -289,6 +289,10 @@ impl CairoPie {`
`289`	`289`	`return Err(CairoPieValidationError::DiffAdditionalData);`
`290`	`290`	`}`
`291`	`291`	`for (name, data) in self.additional_data.0.iter() {`
	`292`	`+ // As documented above, we skip the pedersen field when comparing.`
	`293`	`+ if *name == BuiltinName::pedersen {`
	`294`	`+ continue;`
	`295`	`+ }`
`292`	`296`	`if !pie.additional_data.0.get(name).is_some_and(\|d\| d == data) {`
`293`	`297`	`return Err(CairoPieValidationError::DiffAdditionalDataForBuiltin(*name));`
`294`	`298`	`}`