原推:@jasonhuan_ By definition, a function from [0…2^256-1] to [0…2^256 – 2] can’t be truly invertible everywhere; there has to be some x where f(x) can’t be computed, or some f(x) = f(y) collision. I want these unavoidable exceptions to be computationally infeasible to discover.
https://twitter.com/VitalikButerin/status/1516319708303269892