0xProjectVDF1024:更新1024位 源码

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