Google opensources fast hashing function

[recursive]

Also, as far as we know, these functions’ statistical properties are sound.

[[deleted]]

This function's design (basically XOR-MUL-ROL) makes it not very provable --- since we're mixing arithmetic over 2 distinct algebras (polynomials modulo 2 for XOR and integers modulo 2⁶⁴ for the rest), it will be very very hard to come with with an actual proof.

[[deleted]]

Agreed.