Comment by charcircuit

This only does 1 byte, so you only have to prove it contains the bits for 0-255.