Zksnark--终极原理（三）

上一篇讲了最难的QAP的转化，目的是实现数据格式的匹配，接下来处理的是用抽样的方法来实现简洁验证。 简单解释就是原来需要传输一个长式子需要花费大量时间，我们可以采取统计学中抽样的方法随机抽取一个值进行验证，这时传输的就可以使两个算好的值，这时，所取值的随机性就成了主要的问题。 简单的说就是证明者既不能让验证者知道结果，验证者也不能把那个随机值让证明者知道，这时我们用同态的方法来解决这个问题。 简单

>>阅读原文<<