VDF VDF验证程序合同的Solidity实现，请注意，代码尚未经过审核，性能可能未完全优化。 验证证明函数检查给定的条件：输入随机数y，pi，迭代次数和潜在质数，（1）输入随机数和y的哈希值与潜在质数的所有数字匹配，除了最低的十二位和最高位，并且潜在质数通过了随机基米勒拉宾检验，并且（2）检查pi是输入上的有效VDF证明。