cairo-vm icon indicating copy to clipboard operation
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...

Results 203 cairo-vm issues
Sort by recently updated
recently updated
newest added

**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`...

bug

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...

enhancement

## 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.

enhancement

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

medium-priority
cairo1run

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...

medium-priority
cairo1run

There will be a new builtin `Arithmetic circuit builtin`. We still need to know what the builtin does and then implement it

low-priority

Make a doc with the APIs of cairo-rs, giving examples. Also, document how the user should report errors

documentation

## 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...

enhancement

[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:...

enhancement