@逐舞传歌 要证明的,就是这个方程的解,对吧?中间做的一系列变换,都是为了在不出示解的情况下,证明自己知道这个方程的解。
读懂区块链之零知识证明(zk-SNARK)零知识证明:从小白到明白 如今,知识快餐业发达,区块链这么火的领域自然不会落下。经过一轮轮扫盲,共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生,甚至各种解构、比喻、引...
@逐舞传歌 要证明的,就是这个方程的解,对吧?中间做的一系列变换,都是为了在不出示解的情况下,证明自己知道这个方程的解。
读懂区块链之零知识证明(zk-SNARK)零知识证明:从小白到明白 如今,知识快餐业发达,区块链这么火的领域自然不会落下。经过一轮轮扫盲,共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生,甚至各种解构、比喻、引...
@逐舞传歌 嗯嗯,我也看了V神的文章。不过我的意思是,这个系数是验证者提供?还是证明者提供?还是验证者和证明者的共识?
读懂区块链之零知识证明(zk-SNARK)零知识证明:从小白到明白 如今,知识快餐业发达,区块链这么火的领域自然不会落下。经过一轮轮扫盲,共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生,甚至各种解构、比喻、引...
一开始的多项式,比如文中的x**3+x+5 = 35,这个系数是大家约定好的吗?
读懂区块链之零知识证明(zk-SNARK)零知识证明:从小白到明白 如今,知识快餐业发达,区块链这么火的领域自然不会落下。经过一轮轮扫盲,共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生,甚至各种解构、比喻、引...
'现在我们使用拉格朗日差值公式来将 R1CS 转化为 QAP 形式。我们先求出四个约束所对应的每个 a 向量的第一个值的多项式,也就是说使用拉格朗日插值定理求过点 (1,0), (2,0), (3,0), (4,0) 的多项式,类似的我们可以求出其余的四个约束所对应的每个向量的第i个值的多项式。'
这里应该是 "(1,0), (2,0), (3,0), (4,5)"
二次算术程序QAP:Vitalik关于零知识证明的论述1原文:Quadratic Arithmetic Programs: from Zero to Hero简介:本文是Vitalik写于2016年12月,用于介绍零知识证明的数学...
A把seedA,hashB上链,B发现自己输了,于是拒绝发送seedB.
区块链的随机数之伤你好,我是不羁,一名程序员,带你玩转EOS智能合约开发。如果你对EOS智能合约感兴趣,欢迎关注我的专栏。 简介:昨天我在为什么EOSBet不敢开源?一文中,和大家探讨了EOS...
然而,这个方式有点小小的问题,如果16进制的字符长度为奇数呢。在这种情况下,就没有办法知道如何将十六进制字符对转为十进制了...
这个不是很理解。
什么是16进制的字符长度为奇数?
0x101? 那不是可以编码为[1,1]了吗?
Merkle Patricia Tree 梅克尔帕特里夏树(MPT)规范Merkle Patricia Tree[1],梅克尔帕特里夏树,提供了一个基于加密学的,自校验防篡改的数据结构,用来存储键值对关系。后文中将简称为MPT。尽管在本规范范围内...