为什么关注ZK-ConSNARK?

Suterusu项目关注的是无需trusted
setup,且证明空间复杂度为常数的,计算高效的零知识证明方案,简称ZK-ConSNARK。我们知道,一般情况下区块链系统需要将交易通过p2p网络传输给系统中每个验证节点进行验证。

因此,网络单位时间能处理的交易数目,俗称出块率,很大程度上取决于区块大小,以及单位交易所占空间大小【CDEGJKMSSSS16】。交易越小,则出块率越高。在隐私保护区块链方案中,交易大小又很大程度上取决于其所包含的零知识证明大小。

事实上,需要trusted setup的ZK-ConSANRK文献里已有不少,Zcash所使用的方案就属于这个类别。但无需trusted
setup的ZK-ConSNARK却是稀有品种,目前本人所能找到这方面的结果只有两篇:Crypto 2019年新鲜出炉的结果【LM19,
BBF19】。这篇文章将简单介绍这两个方案的基本思路以及Suterusu项目在ZK-ConSANRK上的关注点。

上述两篇论文【LM19, BBF19】都结合了概率性可验证证明(Probabilistically Checkable
Proof,PCP)和子向量承诺(Subvector
Commitment)方案。PCP是复杂性理论和密码学里一个非常经典的结果,相关定理的提出者因此获奖无数。

PCP作为一个基础方案可用于构造零知识证明。上述两篇论文主要贡献不在于PCP,而在于这个子向量承诺方案。其原因在于PCP方案如果想在非交互式零知识证明这个领域施展身手离不开高效的子向量承诺方案这个助手。

首先,我们简单介绍下什么是概率性可验证证明。我们在前文【林19-1】中介绍过零知识证明的概念。零知识证明中有这么个验证者的概念,在PCP中也有个验证者。但PCP的验证者特别懒,所以我们需要考虑验证者讲解能在做非常少工作的情况下,还能准确判断PCP证明者针对一个定理提供的证明是否正确。

尽管PCP本身的证明是非常长,但PCP有个神奇的性质就是在证明者生成证明后,验证者只需随机在证明上查询若干点(实际中大概是安全系数×3bits即可,所以如果是256-bit
security,查询长度只需256*3 bits),然后做一些极为高效的运算就可以验证证明的正确性。

我们在前文【林19-1】中提过,区块链中使用的零知识证明需要是极为简短的且最好计算也是高效的,尽管PCP的验证计算颇为高效,但证明过长仍是个弊病。我们注意到在验证时验证者真正需要访问的只是整个证明中极小一部分内容。

那么问题来了,有没有可能让证明者在生成PCP证明后自己在证明上随机选取验证者需要的查询点,然后只传输这些信息给验证者,从而大大减少通信量呢?

这个思路是对的,但一个恶意的证明者,或者一个不掌握证明秘密的人可以针对这个简单思路发起如下几个攻击:比如可能这个用于随机选取查询点的随机数本身不随机,或者攻击者先生成随机数,然后再针对这些随机位置生成对应证明,换句话说他可能没有能力生成全部正确PCP证明,但他却有办法针对提前生成的随机位置生成合法的部分证明,进而相应地替换篡改他所生成的非法证明的对应位置内容,从而通过验证。

免责声明: 文章源于会员发布,不作为任何投资建议

如有侵权请联系我们删除,本文链接:https://www.sws100.com/biquan/241885.html

(0)
鸟叔鸟叔
上一篇 2023年 2月 22日
下一篇 2023年 2月 22日

相关推荐

  • 币安账户删除(币安账户转移到钱包)

    关于币安账户删除(币安账户转移到钱包)这个问题很多人都不太了解,下面由句子百科Sws100.com小编beery为大家详细讲解一下,大家来看下。 1.【币安教学】如何删除币安帐号? 免找客服,快速安全的自助教学 这篇文章来分享如何快速安全的删除币安帐户,许多币安用户常常找不到删除币安帐号的页面,是因为这。 2.【币安教学】如何删除币安帐号?免找客服,快速安全…

    2023年 2月 11日
  • 区块链板块是什么意思?通俗解释区块链板块

    区块链是比特币中的一个重要的概念,其实区块链就是一种数据结构,同时他也是一种点对点交易的账本,区块链中的每个区块中都会有若干交易记录。最近几年的时间,区块链在网络上出现频率很高,因为区块链的概念比较抽象,所以很多投资者都不知道它究竟是什么意思。比特币其实就是区块链的一个应用表达形式,而区块链是比特币衍生发发展的技术支持,区块链还分了很多的板块,那么究竟区块链…

    2023年 4月 14日
  • 买卖usdt的软件有哪些?最新usdt交易平台前十名

    买卖usdt的软件有哪些?有欧易,ZT,Moomex,GOW,Curve,Uniswap V3,KB网,币格,FEex,EXMO这十个,欧易平台是排名第一的交易所,最安全最靠谱。 1、欧易: 欧易APP(点此注册)交易可靠。 OKX是一家加密货币交易所,利用区块链技术为国际交易者提供先进的金融服务,并提供数百种代币和期货交易对,帮助交易者优化策略。 OKX正…

    2023年 4月 8日
  • 全球排名之一的世界级交易所如何?有什么好的交易所推荐?

    摘要:全球排名前几的交易所拥有高度专业化的交易环境和完善的监管机制。本文将重点介绍世界级交易所的发展历程、交易机制、监管措施及其提供的服务。同时,文章也会推荐几个好的交易所,供读者参考。一、发展历程世界各国的交易所最初是由商人组织起来的。此后,一些交易所逐渐成为政府的组织机构,为了保护投资者的利益,交易所也相应地开始了一些监管sws100.cOm机制。在21…

    币圈资讯 2023年 7月 3日
  • 赵长鹏辟谣 币安上架BLUR是假消息 再乱讲就黑名单

    近期社群传言,自诩为「专业交易者提供服务」的NFT交易市场Blur,即将会在今日上架币安交易所,引发社群关注。但是币安执行长CZ傍晚在推特上否认该消息:错误的。任何说他们(Blur)将上架的项目,都将被列入黑名单。 对于Blur来说,虽然这是个坏消息。不过目前已经有多家交易所已经宣布会上架Blur,包含Coinbase、OKX、Bybit、Gate、MEXC…

    2023年 4月 16日

联系我们

在线咨询: QQ交谈

邮件:k37759@foxmail.com

工作时间:周一至周五,9:30-18:30,节假日休息

关注微信