add program_segment to ProverInput and extract program_segment in the adapter

[ohad-nir-starkware]

This change is 

[anatgstarkware]

@anatgstarkware made 1 comment.
Reviewable status: 0 of 4 files reviewed, 1 unresolved discussion (waiting on @ohad-nir-starkware and @Stavbe).

---

stwo_cairo_prover/crates/adapter/src/adapter.rs line 64 at r1 (raw file):

}

fn extract_int_segment(segment: &[Option<MaybeRelocatable>]) -> Vec<[u32; 8]> {

Is this how they extract the program segment in the vm? looks very weird to assume that it's all the ints in memory

Code quote:

extract_int_segment

[anatgstarkware]

stwo_cairo_prover/crates/adapter/src/adapter.rs line 64 at r1 (raw file):

Previously, anatgstarkware (anatg) wrote…

Is this how they extract the program segment in the vm? looks very weird to assume that it's all the ints in memory

As you told me f2f, this code is taken not from the VM, but from another place in the adapter - please remove duplications