发表服务
首先做一个简单的总结，我们当前使用的zkSNARKs主要包含4个部分（在接下来的文章里我们会详细解释每个部分）：.把需要验证的程序编写成一个多项式方程：t(x)h(x)=w(x)v(x)，当且仅当程序的计算结果正确时这个等式才成立。.证明者需要说服验证者这个...
(由于技术上的原因，原来我们对来自乘法门的电线只有一个限制。)在2012年的一篇关于这一话题的论文中，Gennaro、Gentry、Parno和Raykova提出了一种很好的方式来“将所有这些约束在一起”。这种方法使用二次算术程序(QAP)表示电路。
zkSNARK是零知识证明的一种，其全称是zero-knowledgeSuccinctNon-InteractiveArgumentsofKnowledge。本文试图从头开始一步步的告诉你zkSNARK究竟要做一件什么事情以及是怎么做到这件事情的。在本文的描述过…
ThezkSNARKinDetail.WenowdescribethezkSNARKforQSPindetail.ItstartswithasetupphasethathastobeperformedforeverysingleQSP.InzCash,thecircuit(thetransactionverifier)isfixed,andthusthepolynomialsfortheQSParefixedwhichallowsthesetuptobeperformedonlyonceandre-usedforalltransactions,whichonly...
本文分为两部分，第一部分说明零知识能干什么，为什么它这么强大，在区块链中这么火；第二部分比较零知识证明的算法zkSNARK,zkSTARKs,zkBoo,Sonic和BulletProofs的特性。第一部分使用零知识算法能干什么？设…
作者：东泽上个学期在斯坦福跟着DanBoneh学习了区块链和数字货币相关的技术。和以往的课程不同的是，今年的课程新添加了一个章节，叫做零知识证明。萌萌的Dan和他的大神phdBenFisch给我们轮流上课，花了两周时…
零知识证明一文看懂zkSNARK【附源码】，一、零知识证明（Zero—KnowledgeProof）1.又叫最小暴露证明。2.零知识证明的定义为：证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者（verifier）相信某个论断是正确...
zk-SNARK是如何实现零知识证明的？从技术角度详细解读。…零知识证明,技术,密码学,zk-SNARK注：b0、b1、b2的值由x确定，它们也是输入；前3个方程约束b0、b1、b2的值为0或1；最后1个方程验证x的取值在0~7之间。
作为刚刚踏入密码学的领域的一只小白，我最近在学习ZCash(ZeroCash)的原理，也就是zk-SNARKs。将一点点感悟和理解写下来，以抛砖引玉。（不得不说看得真让人头大啊！）zk-SNARKszk-SNARKs是zeroknowledgeSuccinctNon-interactive...
首先做一个简单的总结，我们当前使用的zkSNARKs主要包含4个部分（在接下来的文章里我们会详细解释每个部分）：.把需要验证的程序编写成一个多项式方程：t(x)h(x)=w(x)v(x)，当且仅当程序的计算结果正确时这个等式才成立。.证明者需要说服验证者这个...
(由于技术上的原因，原来我们对来自乘法门的电线只有一个限制。)在2012年的一篇关于这一话题的论文中，Gennaro、Gentry、Parno和Raykova提出了一种很好的方式来“将所有这些约束在一起”。这种方法使用二次算术程序(QAP)表示电路。
zkSNARK是零知识证明的一种，其全称是zero-knowledgeSuccinctNon-InteractiveArgumentsofKnowledge。本文试图从头开始一步步的告诉你zkSNARK究竟要做一件什么事情以及是怎么做到这件事情的。在本文的描述过…
ThezkSNARKinDetail.WenowdescribethezkSNARKforQSPindetail.ItstartswithasetupphasethathastobeperformedforeverysingleQSP.InzCash,thecircuit(thetransactionverifier)isfixed,andthusthepolynomialsfortheQSParefixedwhichallowsthesetuptobeperformedonlyonceandre-usedforalltransactions,whichonly...
本文分为两部分，第一部分说明零知识能干什么，为什么它这么强大，在区块链中这么火；第二部分比较零知识证明的算法zkSNARK,zkSTARKs,zkBoo,Sonic和BulletProofs的特性。第一部分使用零知识算法能干什么？设…
作者：东泽上个学期在斯坦福跟着DanBoneh学习了区块链和数字货币相关的技术。和以往的课程不同的是，今年的课程新添加了一个章节，叫做零知识证明。萌萌的Dan和他的大神phdBenFisch给我们轮流上课，花了两周时…
零知识证明一文看懂zkSNARK【附源码】，一、零知识证明（Zero—KnowledgeProof）1.又叫最小暴露证明。2.零知识证明的定义为：证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者（verifier）相信某个论断是正确...
zk-SNARK是如何实现零知识证明的？从技术角度详细解读。…零知识证明,技术,密码学,zk-SNARK注：b0、b1、b2的值由x确定，它们也是输入；前3个方程约束b0、b1、b2的值为0或1；最后1个方程验证x的取值在0~7之间。
作为刚刚踏入密码学的领域的一只小白，我最近在学习ZCash(ZeroCash)的原理，也就是zk-SNARKs。将一点点感悟和理解写下来，以抛砖引玉。（不得不说看得真让人头大啊！）zk-SNARKszk-SNARKs是zeroknowledgeSuccinctNon-interactive...
发表服务