search

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 132 forks source link

Different handling of dynamic layout between cairo_lang & cairo_vm #1650

Open fmoletta opened 3 months ago

fmoletta commented 3 months ago

In cairo_vm, setting the layout to dynamic sets the builtin's ratios to None & sets all other layout parameters to a constant value. In cairo_lang, setting the layout to dynamic forces you to also submit a json file with the layout params. We should investigate how this is handled in cairo_lang to ensure the same behaviour

juanbono commented 2 months ago

This will be addressed by https://github.com/lambdaclass/cairo-vm/pull/1716

fmoletta commented 2 months ago

This will be addressed by #1716

Its a different issue