qq_37835596的博客

多线性扩展

求和验证协议对上述计算模型描述了一种这样的场景：证明者想要向验证者证明上述求和函数在b1,b2,....bv的值是H。如果证明者直接将b1,b2,....bv发送给验证者，则验证者需要。次g函数在v个点上的计算时间。这是一个指数验证时间，对于计算资源匮乏的验证者是无法接收这一验证时间。按照我的理解是要站在验证者一方的视角来看整个证明过程。证明者在刚开始发送一个值C给验证者并声称C等于H。,成立然后一直往上推就能成功证明 C是等于真正的值H。，其中g是定义在有限域F上的v元多项式。，这样就消除了前面的假设。