Add_missing_builtins_to_pie_metadata_serialiazation (#1868)

Co-authored-by: Pedro Fontana <[email protected]>
lambdaclass · Nov 6, 2024 · e5c079c · e5c079c
1 parent 84e513d
commit e5c079c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,9 @@
 ## Cairo-VM Changelog
 
 #### Upcoming Changes
+* fix: [#1868](https://github.com/lambdaclass/cairo-vm/pull/1855):
+  * Adds logic to include the 3 new builtins in `builtin_segments` when serializing the output cairo pie's metadata.
+
 * fix: [#1855](https://github.com/lambdaclass/cairo-vm/pull/1855):
   * Adds logic to skip pedersen additional data comparison when checking pie compatibility.
 

diff --git a/vm/src/vm/runners/cairo_pie.rs b/vm/src/vm/runners/cairo_pie.rs
@@ -763,6 +763,9 @@ pub(super) mod serde_impl {
             BuiltinName::ec_op,
             BuiltinName::keccak,
             BuiltinName::poseidon,
+            BuiltinName::range_check96,
+            BuiltinName::add_mod,
+            BuiltinName::mul_mod,
         ];
 
         for name in BUILTIN_ORDERED_LIST {