Updated version of cairo-vm.

[orizi]

No description provided.

[reviewable-StarkWare]

This change is 

[orizi]

• Updated version of cairo-vm. #8718 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[TomerStarkware]

@TomerStarkware reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware and @Stavbe)

[Stavbe]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-runner/src/casm_run/mod.rs line 2343 at r1 (raw file):

    runner.run_until_pc(end, hint_processor).map_err(CairoRunError::from)?;
    runner.end_run(true, false, hint_processor, false).map_err(CairoRunError::from)?;

I am not sure what this function is used for, but I saw the config contain proof_mode= true. If you need it for proof with stwo, fill_holes needs to be true.

---

crates/cairo-lang-runner/src/casm_run/mod.rs line 2344 at r1 (raw file):

    runner.run_until_pc(end, hint_processor).map_err(CairoRunError::from)?;
    runner.end_run(true, false, hint_processor, false).map_err(CairoRunError::from)?;
    runner.relocate(true, true).map_err(CairoRunError::from)?;

This does match the old behavior, but make sure we actually need to relocate the trace otherwise it’s just a waste of runtime.

[orizi]

Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @ilyalesokhin-starkware and @Stavbe)

---

crates/cairo-lang-runner/src/casm_run/mod.rs line 2343 at r1 (raw file):

Previously, Stavbe wrote…

I am not sure what this function is used for, but I saw the config contain proof_mode= true. If you need it for proof with stwo, fill_holes needs to be true.

no actual proof running here.

---

crates/cairo-lang-runner/src/casm_run/mod.rs line 2344 at r1 (raw file):

Previously, Stavbe wrote…

This does match the old behavior, but make sure we actually need to relocate the trace otherwise it’s just a waste of runtime.

the ap from the trace is read sometimes - so it is required.

---

a discussion (no related file):
@Stavbe we possibly need to change cairo-execute though.

[Stavbe]

@Stavbe reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)