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.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
485 stars 133 forks source link

feat: `cairo1-run` accepts Sierra programs #1727

Closed anynya closed 2 months ago

anynya commented 2 months ago
fmoletta commented 2 months ago

We closed PR #1704 (branch cairo-lang-2.6.3) in favor of #1709. All changes contained in the closed PR are part of the new one. This new PR also has been updated with the main branch and contains the necessary changes to run sierra files, so this PR is no longer needed. Please update us if there is an issue with the new branch.