可验证随机函数(Verifiable Random Function, VRF)
但在这里没有明白为什么在VRFVERVRF_{VER}VRFVER环节需要x,y,π\piπ信息。以及message x是什么,如何选取才能取到伪随机性。VRF 这个概念最早由 Micali,Rabin 和 Vadhan 三个人所提出。一句话描述: 以sk和随机种子作为输入,输出伪随机数r和对应的证明proof任何人可以通过sk对应的公钥vk加上证明proof来验证伪随机数r是否有sk持有者生成。特点:1)可验证性:任何人可以通过vk和proof验证随机数r是sk和x对应的输出;2)唯一性:sk和