assert gen

[ohad-starkware]

This change is 

[ohad-starkware]

• tracking relations #229 : 2 dependent PRs (#231 , #233 )
• call #222
• is first and row bounds relaxations #228
• jump #221
• add opcode #220
• mul #219
• assert gen #218 👈 (View in Graphite)
• jnz gen #217
• migrated opcodes air out of cairo air #216
• add_ap components #215
• update verify generic and ret from auto gen #214
• snake case generic and verify #209
• renamed relations #208
• pub use for memory and range checks #207
• renamed memory components #206
• main

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

[shaharsamocha7]

Reviewed 10 of 12 files at r1, 1 of 2 files at r2, 1 of 1 files at r3, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @ohad-starkware)

---

stwo_cairo_prover/crates/prover/src/components/assert_eq_opcode_is_double_deref_f_is_imm_f/component.rs line 120 at r3 (raw file):

        )]);

        // Either flag op1_base_fp is on or flag op1_base_ap is on.

This comment comes from the air infra?

---

stwo_cairo_prover/crates/prover/src/components/assert_eq_opcode_is_double_deref_f_is_imm_f/component.rs line 126 at r3 (raw file):

        // mem_verify_equal.

why do you have new line here?

[ohad-starkware]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/components/assert_eq_opcode_is_double_deref_f_is_imm_f/component.rs line 120 at r3 (raw file):

Previously, shaharsamocha7 wrote…

This comment comes from the air infra?

yes

---

stwo_cairo_prover/crates/prover/src/components/assert_eq_opcode_is_double_deref_f_is_imm_f/component.rs line 126 at r3 (raw file):

Previously, shaharsamocha7 wrote…

why do you have new line here?

these are block docs rather than step docs

[shaharsamocha7]

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