See Goldreich-Levin theorem
A bijective Boolean function that is easy to compute, but whose inverse is hard to compute.