当前位置:首页 > 数字货币资讯 > 正文内容

为什么关注ZK-ConSNARK?

xytest2023-01-21 10:23数字货币资讯242

为什么关注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证明,但他却有办法针对提前生成的随机位置生成合法的部分证明,进而相应地替换篡改他所生成的非法证明的对应位置内容,从而通过验证。

分享给朋友:

相关文章

Pantera最近什么情况pantera鼓手简介

Pantera最近什么情况pantera鼓手简介

本篇文章给大家谈谈Pantera,以及pantera鼓手对应的知识点,币圈网致力于为用户带来全面可靠的币圈信息,希望对各位有所帮助! pantera乐队吉他手dime到底是怎么死的原因是? 20...

火币永续合约怎么玩?火币永续合约交易操作流程

火币永续合约怎么玩?火币永续合约交易操作流程

1、登录https://www.huobi.pe/,找到“币本位永续”,点击进入。 2、在弹出的未开通合约交易提示,点击“开通永续合约”,进入永续合约开通页面。...

比特币地址解释失败怎么办(比特币地址解释失败什么意思)

比特币地址解释失败怎么办(比特币地址解释失败什么意思)

比特币地址是接收和发送比特币的一种编码形式,由数字和字母组成,通常以“1”或“3”开头,长度为26-35个字符。在使用比特币地址进行交易或查询时,有时会出现“解释失败”的情况。“解释失败”通常意味着输...

以太坊今日价格_虚拟币以太坊今日价格

以太坊今日价格_虚拟币以太坊今日价格

很多朋友在找币圈网时都会咨询以太坊今日价格和虚拟币以太坊今日价格,这说明有一部分人对这个问题不太了解,您了解吗?那么什么是虚拟币以太坊今日价格?接下来就由小编带大家详细了解一下吧! 最新数字货币排...

派币最新进展情况派币最近什么情况派币的新闻简介

派币最新进展情况派币最近什么情况派币的新闻简介

币圈网拥有多年的区块链服务经验,为用户提供专业的服务信息,接下来介绍派币最新进展情况派币,以及派币的新闻,选择币圈网可以为您随时随地解决玩币中所遇到的各种问题,让你不再为职称评级繁琐事务而烦恼。 派...