zcash官方介绍 zk-SNARK circuit-QAP转化

除了V神的博客值得推荐外，zcash官方的blog也做了形象的解释。也可参看本人另一篇博文<Vitalik Buterin Quardratic Arithmetic Programs: from Zero to Hero 实现>，有更直观的了解。

在zcash官方blog Explaining SNARKs Part V: From Computations to Polynomials，中：

Suppose Alice wants to prove to Bob she knows c1,c2,c3∈Fp such that (c1⋅c2)⋅(c1+c3)=7. The first step is to present the expression computed from c1,c2,c3as an arithmetic circuit.

对应的Arithmetic circuits 为：

A legal assignment for the circuit, is an assignment of values to the labeled wires where the output value of each multiplication gate is indeed the product of the corresponding inputs. So for our circuit, a legal assignment is of the form: (c1,…,c5 where c4=c1⋅c2 and c5=c4⋅(c1+c3). In this terminology, what Alice wants to prove is that she knows a legal assignment (c1,…,c5)such that c5=7. The next step is to translate this statement into one about polynomials using QAPs.

计算中，只需考虑乘法门，以上图为例：w1/w2/w4分别g1的左侧输入/右侧输入和输出；w1和w3为g2的右侧输入，w4为g2的左侧输入，w5为g2的输出。

假设对应g1门关联1，g2门关联2，则{1,2}为目标点。
We associate each multiplication gate with a field element: g1 will be associated with 1∈Fp and g2 with 2∈Fp. We call the points {1,2} our target points. Now we need to define a set of “left wire polynomials” L1,…,L5, “right wire polynomials” R1,…,R5 and “output wire polynomials” O1,…,O5.

The idea for the definition is that the polynomials will usually be zero on the target points, except the ones involved in the target point’s corresponding multiplication gate.

zcash官方介绍 zk-SNARK circuit-QAP转化相关推荐

ElementUI官方介绍开发API文档链接
ElementUI官方介绍开发API文档 http://element-cn.eleme.io/#/zh-CN/component/quickstart
ESP8266乐鑫版本的（支持云端升级（Boot 模式）烧写方法，(V1.5.4官方介绍如下)（BOOT模式）...
硬件平台: nodeMCU devkit核心板,带ch340g,应该是仿造的,官方是cp2102驱动,安信可科技有连接https://wiki.ai-thinker.com/esp8266/board ...
腾讯arttemplate模板官方介绍
链接地址为:腾讯arttemplate模板官方介绍输出标准语法 {{value}} {{data.key}} {{data['key']}} {{a ? b : c}} {{a || b}} {{ ...
Spring Session官方介绍及spring框架学习方法
现在我们开始讲Spring Session,首先进入maven中央仓库,在百度查一下,如何替换成阿里云的仓库就OK了,我们搜索什么呢,spring-session-data-redis,这里面找到这个 ...
GitHub官方介绍（中文翻译）
注:本人亲自翻译,转载请注明出处. 官方链接地址 http://guides.github.com/activities/hello-world/ Hello World 项目在计算机编程界是一项历史 ...
linux cer证书转为jks,常见SSL证书格式介绍以及SSL证书格式转化方法
我们大部分站长使用的SSL证书一般都是.CRT..KEY 这样子的文件,没错这个都是我们常用的Linux服务器Nginx环境的证书文件.不管我们是购买的付费SSL证书,还是使用的免费SSL证书看到的证 ...
Redisson框架官方介绍
我们现在看到的就是redission官方网站https://redisson.org首页可以看出来,redisson可以实现很多东西,在redisson的基础上,redisson做了超多的封装,我们看 ...
Grbl开源固件的官方介绍使用说明【翻译】
Grbl是一种高性能.低成本的数控并口运动控制方案.Grbl运行在328p处理器(Uno.Duemilanove.Nano.Micro等)的Arduino上.控制器是用高度优化的C语言编写的,利用av ...
Gensim官方介绍翻译
为了方便自己学习,翻译一下.原文地址:http://radimrehurek.com/gensim/intro.html. Gensim是一个免费的Python库,它可以用来从文档中自动提取语义主题, ...

zcash官方介绍 zk-SNARK circuit-QAP转化

zcash官方介绍 zk-SNARK circuit-QAP转化相关推荐

最新文章

热门文章