Updating the `n` segments of a slot `y < 2^L` (`ρ + n K ≤ L`) by `δ_s` without carries (`slot_add`)

Initializing...

Updating the `n` segments of a slot `y < 2^L` (`ρ + n K ≤ L`) by `δ_s` without carries (`slot_add`) · Prove2Me