Closed TAdev0 closed 3 days ago
%{ ids.high15, ids.low15 = divmod(memory[ids.inputs + 15], 256 ** 5) %}
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L259C1-L260C1
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L259C1-L260C1