为了详细说明证明机制，我们首先明确下在证明中各个角色和过程的定义。Filecoin证明机制的角色和过程可以抽象成如下：挑战、证明者、检验者。他们可以是矿工、用户或者任何网络内其他角色和过程可以抽象成如下:挑战、证明者、检验者。他们可以是矿工、用户或者任何网络内其他角色。涉及的定义如下：

挑战：系统对矿工发起提问，可能是一个问题或者一系列问题，矿工答复正确，则挑战成功，否则失败。

证明者：一般指的是矿工，他需要向系统提交存储证明，应对交互式的随机挑战。

检验者：向矿工发起挑战的一方，来检测矿工是否完成了数据存储任务。

数据:用户向矿工提交的需要存储的数据或者矿工已经存储的数据。

证明：矿工完成挑战时候的回答。

那么验证过程就能表述成：检验者会按照一定的规则向矿工提起挑战，挑战是随机生成的，矿工不能提前获知，矿工 作为证明者相应地向检验者提交 证明，证明的生成需要原始数据与随机挑战信息；证明生成后，证明者会交给检验者，并由检验者判定该证明是否有效，如果有效，则挑战成功。