You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is because we model the injectivity of keccak256, but injectivity is lost once values are truncated. We can probably make a special case when the truncated value is 160 bits or more, because we don't really expect collisions at these sizes in practice.
The text was updated successfully, but these errors were encountered:
Take these tests:
In practice, users expect both of these tests to pass, but we currently get this:
This is because we model the injectivity of keccak256, but injectivity is lost once values are truncated. We can probably make a special case when the truncated value is 160 bits or more, because we don't really expect collisions at these sizes in practice.
The text was updated successfully, but these errors were encountered: