3 Commits

Author	SHA1	Message	Date
Łukasz Czajka	ad76c7a583	Support for Cairo builtins (#2718) ... This PR implements generic support for Cairo VM builtins. The calling convention in the generated CASM code is changed to allow for passing around the builtin pointers. Appropriate builtin initialization and finalization code is added. Support for specific builtins (e.g. Poseidon hash, range check, Elliptic Curve operation) still needs to be implemented in separate PRs. * Closes #2683	2024-04-16 19:01:30 +02:00
Łukasz Czajka	651875ec89	Support Cairo VM input hints (#2709) ... * 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)	2024-04-09 11:43:57 +02:00
Łukasz Czajka	7d559b1f18	CASM serialization (#2679) ... * Closes #2563 Checklist ------------ - [x] Serialization of the Haskell CASM representation to the JSON format accepted by the Cairo VM. - [x] Add the `cairo` target to the `compile` commands. - [x] Output via the Cairo `output` builtin. - [x] Relativize jumps. Cairo VM doesn't actually support absolute jumps. - [x] Test the translation from CASM to Cairo by running the output in the Cairo VM - [x] Add Cairo VM to the CI	2024-03-26 17:18:52 +01:00