-
Notifications
You must be signed in to change notification settings - Fork 160
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make AirPublicInputs fields public #1474
Conversation
Benchmark Results for unmodified programs 🚀
|
vm/src/air_public_input.rs
Outdated
#[serde(rename = "dynamic_params")] | ||
layout_params: Option<&'a CairoLayout>, | ||
pub layout_params: Option<&'a CairoLayout>, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
from the prover side, we don't really need the layout params as public, at least for the moment. With the name which appears in the layout
field should be ok 👍
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
great!
Done 509bed0
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #1474 +/- ##
=======================================
Coverage 96.82% 96.82%
=======================================
Files 95 95
Lines 39451 39451
=======================================
Hits 38199 38199
Misses 1252 1252 ☔ View full report in Codecov by Sentry. |
Issues: |
Yes, you are right @Oppen ! |
It still shows as failing https://github.com/lambdaclass/cairo-vm/actions/runs/6851613543/job/18628280029?pr=1474 |
Make AirPublicInputs fields public
Checklist