VDFPostCompound::setup函数设置验证相关参数。VDFPostCompound::prove函数需要四个参数:
a. setup函数设置的参数
b. Public数据(comm_r的数据列表,随机挑战信息)
c. 私有数据(Seal数据构成的Merkle树的结构信息)
d. Groth相关的参数信息
具体实现的源代码请查看rust-fil-proofs/storage-proofs/src/api/internal.rs的generate_post_fixed_sectors_count函数。
prove函数实现的逻辑就是白皮书中的PoSt的框架图: