Erinaceus VRF is a Verifiable Random Function (VRF)