Removed FieldElement usages.

[orizi]

commit-id:eee3e66d

---

Stack:

• Removed FieldElement usages. #5690 ⬅
• Added *Assign ops and Depracated *Eq ops. #5679
• Audit responses. #5651

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

---

This change is 

[ilyalesokhin-starkware]

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

            let scalar = get_val(vm, scalar)?;
            let max_x = get_val(vm, max_x)?;
            let x_value = value.floor_div(&NonZeroFelt::from_felt_unchecked(scalar)).min(max_x);

how do you know the scalar is not zero?

Code quote:

NonZeroFelt::from_felt_unchecked(scalar)

[ilyalesokhin-starkware]

crates/cairo-lang-starknet-classes/src/casm_contract_class.rs line 135 at r1 (raw file):

        // Compute total hash by hashing each component on top of the previous one.
        Poseidon::hash_array(&[
            Felt252::from_bytes_be_slice(b"COMPILED_CLASS_V1"),

Do we have a regression test for that?

are you sure it is the same as what we had before?

Code quote:

  Felt252::from_bytes_be_slice(b"COMPILED_CLASS_V1"),

[orizi]

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

---

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

Previously, ilyalesokhin-starkware wrote…

how do you know the scalar is not zero?

Yes

---

crates/cairo-lang-starknet-classes/src/casm_contract_class.rs line 135 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

Do we have a regression test for that?

are you sure it is the same as what we had before?

the casm-class hashes did not change.

[ilyalesokhin-starkware]

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

Previously, orizi wrote…

Yes

How?

[ilyalesokhin-starkware]

Reviewed 7 of 7 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)

[orizi]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)

---

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

Previously, ilyalesokhin-starkware wrote…

How?

The hint is called only for non zero scalars.
(It is always a const on the call site of the hint)

[ilyalesokhin-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)