Skip to content

Commit

Permalink
Add_missing_builtins_to_pie_metadata_serialiazation
Browse files Browse the repository at this point in the history
  • Loading branch information
YairVaknin-starkware committed Nov 6, 2024
1 parent 39ad790 commit 75c625b
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,13 @@
## 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.


#### [2.0.0-rc0] - 2024-10-22

* chore: bump `cairo-lang-` dependencies to 2.9.0-dev.0 [#1858](https://github.com/lambdaclass/cairo-vm/pull/1858/files)
Expand Down
3 changes: 3 additions & 0 deletions vm/src/vm/runners/cairo_pie.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down

0 comments on commit 75c625b

Please sign in to comment.