释放双眼,带上耳机,听听看~!
为了详细说明证明机制,我们首先明确下在证明中各个角色和过程的定义。FIL证明机制的角色和过程可以抽象成如下:挑战、证明者、检验者。他们可以是矿工、用户或者任何网络内其他角色和过程可以抽象成如下:挑战、证明者、检验者。他们可以是矿工、用户或者任何网络内其他角色。涉及的定义如下:
挑战:系统对矿工发起提问,可能是一个问题或者一系列问题,矿工答复正确,则挑战成功,否则失败。
证明者:一般指的是矿工,他需要向系统提交存储证明,应对交互式的随机挑战。
检验者:向矿工发起挑战的一方,来检测矿工是否完成了数据存储任务。
数据:用户向矿工提交的需要存储的数据或者矿工已经存储的数据。
证明:矿工完成挑战时候的回答。
那么验证过程就能表述成:检验者会按照一定的规则向矿工提起挑战,挑战是随机生成的,矿工不能提前获知,矿工 作为证明者相应地向检验者提交 证明,证明的生成需要原始数据与随机挑战信息;证明生成后,证明者会交给检验者,并由检验者判定该证明是否有效,如果有效,则挑战成功。