Javier Rodríguez Chatruc

Secp Remaining Hints (2/3)

1

- `IS_ZERO_ASSIGN_SCOPE_VARS_EXTERNAL_SECP` - `IS_ZERO_ASSIGN_SCOPE_VARS_ED25519`

[Reference](https://github.com/lambdaclass/cairo-vm/blob/main/vm/src/hint_processor/builtin_hint_processor/secp/signature.rs) List: - `DIV_MOD_N_PACKED_DIVMOD_V1` - `DIV_MOD_N_PACKED_DIVMOD_EXTERNAL_N` - `DIV_MOD_N_SAFE_DIV` - `DIV_MOD_N_SAFE_DIV_PLUS_ONE` - `XS_SAFE_DIV` - `GET_POINT_FROM_X`

There's no reason to have duplicated programs for proof mode compilation using symlinks, we can just can have them all in the `cairo_programs` directory and just compile accordingly with a...

- `UINT256_GET_SQUARE_ROOT` - `UINT256_MUL_INV_MOD_P` - `INV_MOD_P_UINT256`

This ticket seems long, but the first three hints are really really short - `IMPORT_SECP256R1_ALPHA` - `IMPORT_SECP256R1_N` - `IS_ZERO_PACK_V2` - `IS_ZERO_INT` - `IS_ZERO_PACK_EXTERNAL_SECP_V1` - `IS_ZERO_PACK_EXTERNAL_SECP_V2` - `IS_ZERO_PACK_ED25519`

- `PACK_MODN_DIV_MODN` - `HI_MAX_BITLEN` - `QUAD_BIT`

- `IS_250_BITS` - `IS_ADDR_BOUNDED`

- `NONDET_N_GREATER_THAN_10` - `NONDET_N_GREATER_THAN_2` - `DI_BIT` - `A_B_BITAND_1` - `SPLIT_XX`

- `UINT384_SQRT` - `UINT384_SIGNED_NN` - `UINT384_GET_SQUARE_ROOT` - `UINT384_DIV`

- `UINT384_UNSIGNED_DIV_REM` - `UINT512_UNSIGNED_DIV_REM` - `UNSIGNED_DIV_REM_UINT768_BY_UINT384` - `UNSIGNED_DIV_REM_UINT768_BY_UINT384_STRIPPED`