240 发简信
IP属地:加州
  • @逐舞传歌 要证明的,就是这个方程的解,对吧?中间做的一系列变换,都是为了在不出示解的情况下,证明自己知道这个方程的解。

    读懂区块链之零知识证明(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。尽管在本规范范围内...