cairo-vm
cairo-vm copied to clipboard
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that...
**Describe the bug** For an experiment, I tried to execute the Starknet bootloader with layout `starknet` and allowing missing builtins to suppress the warning about the absence of the `keccak`...
Hello, We're currently developing some hints for a project. These hints live in a different Git repository. We developed hints for the bootloader in a fork of `cairo-vm` so I...
## remove static lifetime for name str parameter requirement for constant getter ## Description Hey! I noticed `get_constant_from_var_name` has a different signature from other hint_utils helper functions, namely that it...
It's taking too long to run, and it should be easy to partition into multiple jobs that run in parallel.
NOTE: We still need to have more context about this issue. We should delete the create_entry_code fn that modifies the program bytecode and replace it with some VM initialization
Now the cairo1-run crate receives the cairo program and compiled first to sierra and then to casm. To improve the performance, we can avoid this by modifying the run function...
There will be a new builtin `Arithmetic circuit builtin`. We still need to know what the builtin does and then implement it
Make a doc with the APIs of cairo-rs, giving examples. Also, document how the user should report errors
## remove static lifetime for name str parameter requirement for constant getter ## Description Hey! I noticed `get_constant_from_var_name` has a different signature from other hint_utils helper functions, namely that it...
[Garaga](https://github.com/keep-starknet-strange/garaga) is a "Efficient pairing library using polynomial representation of field elements, written in Cairo 🐺 (Cairo Zero). It'll soon be audited, and integrated as a syscall on Starknet. Problem:...