Closed TAdev0 closed 3 days ago
%{ ids.high12, ids.low12 = divmod(memory[ids.inputs + 12], 256 ** 4) %}
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L238C8-L238C73
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L238C8-L238C73