Closed TAdev0 closed 3 days ago
%{ ids.output0_low = ids.output0 & ((1 << 128) - 1) ids.output0_high = ids.output0 >> 128 %}
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L95C1-L98C7
https://github.com/starkware-libs/cairo-lang/blob/efa9648f57568aad8f8a13fbf027d2de7c63c2c0/src/starkware/cairo/common/builtin_keccak/keccak.cairo#L95C1-L98C7