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.

Sign up for GitHub

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

Jump to bottom

Support input to Cairo programs #2687

Closed
lukaszcz opened this issue Mar 11, 2024 · 0 comments · Fixed by #2709
Closed

Support input to Cairo programs #2687

lukaszcz opened this issue Mar 11, 2024 · 0 comments · Fixed by #2709
Assignees
@lukaszcz
Labels
cairo
Milestone
0.6.2

Comments

@lukaszcz
Copy link
Collaborator

Input support can be either added via Cairo hints or some builtins. Investigate how Cairo1 (Rust) runner does that: https://github.com/starkware-libs/cairo/tree/main/crates/cairo-lang-runner
@lukaszcz lukaszcz added the cairo label Mar 11, 2024
@lukaszcz lukaszcz added this to the 0.6.1 milestone Mar 11, 2024
@lukaszcz lukaszcz self-assigned this Mar 11, 2024
@paulcadman paulcadman modified the milestones: 0.6.1, 0.6.2 Mar 25, 2024
@lukaszcz lukaszcz mentioned this issue Apr 3, 2024
Merged
lukaszcz added a commit that referenced this issue Apr 9, 2024
@lukaszcz
Support Cairo VM input hints (#2709)
651875e 
* Closes #2687 
* Adds hint support in CASM. The supported hints are `Input(var)` and
`Alloc(size)`. These are the hints currently implemented in
[juvix-cairo-vm](https://github.com/anoma/juvix-cairo-vm).
* Adds the `--program_input` option to the `juvix dev casm run` command.
* Enables private inputs via `main` arguments. In generated CASM/Cairo
code, the arguments to `main` are fetched using the `Input` hint.
* Modifies the CI to use
[juvix-cairo-vm](https://github.com/anoma/juvix-cairo-vm)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
cairo
Projects
None yet
Milestone
0.6.2
Development

Successfully merging a pull request may close this issue.

Support Cairo VM input hints anoma/juvix
2 participants
@lukaszcz @paulcadman