lambdaclass/cairo-vm
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 a certain computation was executed correctly without the need for this party to re-execute the same program.
RustApache-2.0
Issues
- 1
- 0
- 1
Mod Builtin Constraints
#1835 opened by JulianGCalderon - 0
Pending dynamic layout features
#1834 opened by JulianGCalderon - 0
Make Cairo 1 run wasm compatible
#1827 opened by pefontana - 1
WARNING fresh_run workflow failure
#1822 opened by github-actions - 0
Add CairoRunner:: initialize_program_builtins method
#1814 opened by pefontana - 2
Add tests for cairo 1 programs returning `Felt252Dict`
#1731 opened by fmoletta - 1
Fix make coverage command
#1793 opened by pefontana - 1
Bump cairo-lang dependencies to version 2.7.0-rc.2
#1806 opened by pefontana - 16
`Error: IlegalInputValue` when run cairo program.
#1794 opened by FilipLaurentiu - 1
Bump cairo-lang dependencies to 2.6.4
#1798 opened by pefontana - 18
Why does Program do not implement `serde`?
#1660 opened by tdelabro - 1
`Error: IlegalReturnValue` when try to run a cairo program with `--proof_mode`
#1791 opened by FilipLaurentiu - 2
VirtualMachine error when using Felt252Dict<T>
#1788 opened by catusax - 0
Add tracing
#1766 opened by pefontana - 4
- 2
Cairo1-run InvocationError during sierra->casm compilation on programs with loops and recursion
#1745 opened by Okm165 - 3
Feature request: Enable Loading Arguments from File Path to Overcome Shell Argument Length Limitations
#1728 opened by Okm165 - 6
Add support scarb build generate json
#1702 opened by jujube - 2
Refactor cairo1-run crate for library use
#1623 opened by barabanovro - 2
- 7
- 1
Feature request: Enable Access to cairo1-run Functionality and Types in External Rust Projects
#1713 opened by Okm165 - 0
Check if we should skip dynamic layout params when generating air public inputs
#1649 opened by fmoletta - 0
Add hyper threading benchmarks to the CI
#1675 opened by pefontana - 2
- 9
Builtin pointers not allocated when running a program with `allow-missing-builtins`
#1631 opened by odesenfans - 3
- 1
perf: plain and starknet etc use pub const string
#1697 opened by jujube - 2
CairoVM Fails to Run Cairo1 Program Due to `CostError` in `create_metadata`
#1688 opened by raphaelDkhn - 0
WARNING fresh_run workflow failure
#1683 opened by github-actions - 0
WARNING fresh_run workflow failure
#1684 opened by github-actions - 0
- 0
- 2
Panic in `cairo1-run` when printing the output of a Cairo program that initializes a struct from a function
#1670 opened by raphaelDkhn - 0
- 2
Update Cairo 2 compiler to 2.5.3
#1621 opened by pefontana - 0
Deserialize public inputs
#1625 opened by MauroToscano - 0
Broken serialization for cairo programs returning tuples with arrays in cairo 1 with `print_output` flag
#1644 opened by fmoletta - 1
Panic in cairo1-run When Using `Felt252Dict<Nullable<T>>` in Cairo Program
#1622 opened by raphaelDkhn - 1
WARNING fresh_run workflow failure
#1633 opened by github-actions - 1
WARNING fresh_run workflow failure
#1634 opened by github-actions - 1
WARNING fresh_run workflow failure
#1635 opened by github-actions - 1
WARNING fresh_run workflow failure
#1636 opened by github-actions - 1
WARNING fresh_run workflow failure
#1637 opened by github-actions - 1
WARNING fresh_run workflow failure
#1640 opened by github-actions - 1
WARNING fresh_run workflow failure
#1641 opened by github-actions - 0
Make new cairo-vm release v1.0.0-rc1
#1627 opened by pefontana - 0
Bump `starknet-types-core` version to 0.0.9
#1626 opened by pefontana