yaronvel

Do you assume that the result of the hash will never have all 12 leading bytes zero? It is somewhat reasonable, but very non trivial assumption. If you want to...

Maybe this is more efficient (playing with bit 255 instead of bit 0) For balance storage slot: ``` ... PUSH32 0x7FFFF....F // (all bits are set beside bit 255) AND...

Yes. But might be ok to mask bit 0 if it helps somehow. To save a bit of deployment gas can mask bit 160 instead of 255.