hashdict_finalize

[Eikix]

Why

We need two behaviors

• rollback to a previous state of the dict with soundness (not only memcpy a portion of a segment)
• integrate values otherwise with soundness

The original dict_squash method only verifies that a DictAccess segment is sound.

What

Add a function hashdict_finalize in dict.cairo to handle these two behaviors.

How

• take a merge: felt argument to define the target behavior
• if merge=FALSE, then dict_squash and create a new dict segment of k, p, p created from the squashed dict
• if merge=TRUE, then do nothing
• if original_mapping exists, append the above mentioned segment (newly or existing) to the original segment
• if not, then return the above mentioned segment
• remove the previous test_dict.cairo file
• returns dict_start, dict
• for the test, use a hint in test_dict.cairo to load the initial data into a DictAccess*

@given(...)
def test_hashdict_finalize(original_mapping: Dict[int, int], merge: bool):
    cairo_run_py("test_hashdict_finalize", ...)

in cairo

• dict_copy
• in cairo hint, append in current_mapping values to simulate writes
• call function and return a dict so that it's serde automatically
• assert in python values = values + int(merge)