Skip to content
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

Stack inputs serde #1168

Merged
merged 2 commits into from
Dec 2, 2023
Merged

Conversation

hackaugusto
Copy link
Contributor

@hackaugusto hackaugusto commented Dec 1, 2023

Describe your changes

Adds deserialization to the stack inputs

Checklist before requesting a review

  • Repo forked and branch created from next according to naming convention.
  • Commit messages and codestyle follow conventions.
  • Relevant issues are linked in the PR description.
  • Tests added for new functionality.
  • Documentation/comments updated according to changes.

@hackaugusto hackaugusto force-pushed the hacka-stack-inputs-serde branch from 8a300e6 to 2a68026 Compare December 1, 2023 14:31
Copy link
Contributor

@bobbinth bobbinth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thank you! I left one comment inline regarding reducing the max number of inputs to u16::MAX (probably still way too generous). Once this is addressed, we can merge.

Also, let'd double check that this change doesn't break anything in the executable.

Lastly, this may break things in miden-base and miden-node - so, let's make sure we fix builds there shortly after we merge this.

@@ -6,6 +6,8 @@ use core::slice;
// STACK INPUTS
// ================================================================================================

const MAX_STACK_INPUTS_SIZE: usize = u32::MAX as usize;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We can probably limit this to u16:MAX.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

changed

@hackaugusto hackaugusto force-pushed the hacka-stack-inputs-serde branch from 2a68026 to 9617918 Compare December 2, 2023 12:50
@hackaugusto
Copy link
Contributor Author

Also, let'd double check that this change doesn't break anything in the executable.

I ran cargo run --release --features=executable,concurrent prove --assembly miden/examples/fib/fib.masm, it executed fine

@hackaugusto hackaugusto merged commit 6316600 into hacka-kernel-serde Dec 2, 2023
15 checks passed
@hackaugusto hackaugusto deleted the hacka-stack-inputs-serde branch December 2, 2023 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants