Javier Rodríguez Chatruc

Closes #291 The integration test requires `secp_utils` ([this PR](https://github.com/lambdaclass/cairo-vm_in_go/pull/275)) to be implemented for it to run

- `BLAKE2S_FINALIZE_V2` #315 - `BLAKE2S_FINALIZE_V3` #315 - `EXAMPLE_BLAKE2S_COMPRESS` #315

- `SHA256_INPUT` #315 - `SHA256_MAIN_CONSTANT_INPUT_LENGTH` - `SHA256_MAIN_ARBITRARY_INPUT_LENGTH` - `SHA256_FINALIZE`

This task requires us to implement the Blake2s Hash function ourselves (as it's a custom one) and a bunch of utility functions. To do it, you can follow the [Python](https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/cairo_blake2s/blake2s_utils.py)...

Remaining Uint Hints (2/3)

1

- `SUB_REDUCED_A_AND_REDUCED_B` - `UINT384_SPLIT_128` - `ADD_NO_UINT384_CHECK` - `INV_MOD_P_UINT512`

Remaining Uint256 Hints (1/2)

1

- `UINT128_ADD`

This requires first implementing `secp_utils` (See [here](https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/cairo_secp/secp_utils.py) and [here](https://github.com/lambdaclass/cairo-vm/blob/main/vm/src/hint_processor/builtin_hint_processor/secp/secp_utils.rs)) List: - [x] `NONDET_BIGINT3_V1` - [ ] `BIGINT_TO_UINT256` #309 - [ ] `VERIFY_ZERO_V1` #307 - [ ] `IS_ZERO_NONDET` #309 - [...

Assorted Hints (1/4)

1

- `COMPUTE_SLOPE_V2` [x] - `COMPUTE_SLOPE_SECP256R1` [x] - `COMPUTE_SLOPE_WHITELIST` [x] - `IMPORT_SECP256R1_P` [x] - `SKIP_NEXT_INSTRUCTION`

- `BIGINT_SAFE_DIV` - `BIGINT_PACK_DIV_MOD` - `ASSERT_LE_FELT_V_0_6` - `ASSERT_LE_FELT_V_0_8` - `NONDET_BIGINT3_V2`