干净体面的直男。<br>个人博客：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Fzisong.me" target="_blank">http://zisong.me</a>
发简信
IP属地：广东
-
-
-
-
从「模拟」理解零知识证明：平行宇宙与时光倒流 —— 探索零知识证明系列（二）本文作者：郭宇 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zk...
-
-
安比(SECBIT)实验室由一群热爱区块链技术的极客组建，专注于可信智能合约与安全共识协议研究。实验室成员遍布在全球多个国家，专业领域涉及区块链底层架构、智能合约语言、形式化验证、密码学与安全协议、编译与分析技术、博弈论与加密经济学等诸多学科。安比(SECBIT)实验室目前着重于研究区块链智能合约的安全问题，助力区块链团队提高智能合约的可靠性与安全性，开展构建智能合约安全框架的理论探索与技术研发，参与共建共识、可信、有序的区块链经济体。
-
'现在我们使用拉格朗日差值公式来将 R1CS 转化为 QAP 形式。我们先求出四个约束所对应的每个 a 向量的第一个值的多项式，也就是说使用拉格朗日插值定理求过点 (1,0), (2,0), (3,0), (4,0) 的多项式，类似的我们可以求出其余的四个约束所对应的每个向量的第i个值的多项式。'
这里应该是 "(1,0), (2,0), (3,0), (4,5)" -
-
程序员，开源软件爱好者
-
-
现专注于区块链开发，熟悉Golang和Python。
-
-
2.A使用(a′,b′)=(c1⋅a1+c2⋅a2,c1⋅b1+c2⋅b2)生成新的α对
3.B验证通过，可以断言A知道c数组
感觉这里A只用知道一个任意一个多项式形式，都可以满足生成的(a′,b′)是α对？为什么可以断言A知道多项式的具体系数值，即c数组？？？零知识证明与zkSNARK
最近以太坊启动了“大都会”硬分叉，很重要的一个功能就是整合了ZCash的零知识证明技术zkSNARK。我们一起来看一下zkSNARK这个拗口的技术到底是什么鬼。 零知识证明 ...
