证明者激励

此模块用于存放激励证明者的逻辑

此模块实现了处理证明交易的逻辑。如果您想要奖励证明者或执行任何其他需要“了解”您状态转换函数内部证明生成的操作，则需要这种逻辑。

目前，此模块允许证明者注册和注销，并允许对注册证明者的证明进行链上验证。如果验证失败，违规的证明者将被削减。

此模块 不 激励证明者 - 证明者的激励将取决于气体计费，该功能尚未实现。