Zksnark--终极原理（三）

上一篇讲了最难的QAP的转化，目的是实现数据格式的匹配，接下来处理的是用抽样的方法来实现简洁验证。

简单解释就是原来需要传输一个长式子需要花费大量时间，我们可以采取统计学中抽样的方法随机抽取一个值进行验证，这时传输的就可以使两个算好的值，这时，所取值的随机性就成了主要的问题。

简单的说就是证明者既不能让验证者知道结果，验证者也不能把那个随机值让证明者知道，这时我们用同态的方法来解决这个问题。

简单来说就是为每一个变量都加一个外壳，而这个外壳就是同态。同台其实本质就是椭圆曲线的概念，正向求解很简单，但是逆向求解就是一个几乎不可解的问题。

这样的话抽样的问题就解决了，也就是验证者向证明者提供的随机数问题已经解决，但是如上图所示，第三条证明者对于验证者也是存在造假的行为的，如何解决这个问题，要用到KCA的知识，此内容会在下篇进行讲解。