ecvrf^1 is elliptic curve verifiable random function that satisfies:
$proof = prove(sk, data)$, sk is VRF private key, data is input data as stream of bytes, proof is the vrf output.
generate a vrf proof, that can be publicly verified.
$verify(pk, proof, data)$, pk is VRF public key, validate that the proof is correct.