Hardware implementation of the SipHash PRF