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.
Looking at the cairo_lang code, when the public inputs are generated (reference) the layout params are set to None by default even if the layout is dynamic. If we run a program using a dynamic layout and output the public inputs using cairo-lang we can see that the dynamic_params field is null. In cairo-vm we write the layout params when the layout is dynamic.
Looking at the cairo_lang code, when the public inputs are generated (reference) the layout params are set to None by default even if the layout is dynamic. If we run a program using a dynamic layout and output the public inputs using cairo-lang we can see that the
dynamic_params
field isnull
. In cairo-vm we write the layout params when the layout is dynamic.