Closed TAdev0 closed 3 months ago
ids.high3, ids.low3 = divmod(memory[ids.inputs + 3], 256)
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L175
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L175