区块链:我们跟Bulletproofs的作者聊了聊零知识证明技术最前沿的进展

在万向区块链实验室举办的国际区块链周活动中，Findora联合创始人兼首席科学家BenediktBünz在其中一场分论坛中分享了一种全新的零知识证明技术Supersonic。BenediktBünz不仅是Bulletproofs的发明人之一，还是以太坊2.0的密码学核心组件「可验证延迟函数」概念的作者之一，所以他是加密货币领域非常重要的前沿密码学研究者，在隐私计算领域更是超一流的专家，当然这与他是斯坦福大学计算机密码学博士的教育背景密不可分。

以太坊2.0的VDF研究进展

Supersonic是一种新型的零知识证明技术。它代表了一种特定的加密货币用户的需求：匿名，也就是用户不希望自己的资产和交易记录被完全公开。零知识证明是满足这类需求的一种技术的统称，但是在具体实现上又有非常多的类别，最常见的是zk-SNARK和zk-STARK。

Zcash是zk-SNARKs的首个广泛应用，可能现在也算是零知识证明最常见和最被熟知的一种。而这个技术的最大问题是证明者和验证者之间需要一个「初始化可信设置」——这意味着需要一组公共参数来构建zk-SNARKs，也就是可能存在信任问题。所以「初始化可信设置」是其他新技术努力尝试克服的最核心问题。

后来Bulletproof被BenediktBünz等人提出，相比zk-SNARKs，不需要初始化可信设置，但是验证成本可能会高一些，但还是远低于其他技术比如zk-STARKs。在今年，全球密码学研究人员也陆续提出了各种各样的零知识证明相关的技术，比如说PLONK、Halo、Sonic、DARKproofs、Supersonic。

Blockstream首席战略官：我们再也看不到6w以下的比特币了:3月14日消息，Blockstream首席战略官Samson Mow发推表示，我们再也看不到6w以下的比特币了。[2021/3/14 18:43:18]

链闻有幸在上海国际区块链周期间采访了BenediktBünz博士，听听他对于最新的零知识证明技术有哪些看法。采访内容在不影响原意基础上有所编辑。

核心看点：

对于最新的零知识证明技术：PLONK、Halo、Sonic、DARKproofs、Supersonic，该如何选择适合的工具？

除了隐私相关的密码学算法，还有哪些密码学工具值得关注？

通用型的多方安全计算MPC平台是不是能和区块链契合的很好？

以太坊的智能合约设计有哪些问题吗？

微信是否可以在区块链上重现？

在CESC2017大会中的BenediktBünz

链闻：对于零知识证明技术，其实有很多的种类，比如Zcash使用的zk-SNARKs和VitalikButerin经常提到的zk-STARKs。相比之下，您提出的Bulletproofs有什么特点？

声音 | 赵长鹏：我们都是区块链公司:BlockJournal创始人Crypto Godfather刚刚发推称，中国国家领导人表示，中国将把重点放在区块链发展上。记住关键词是“区块链”，而不是比特币，有很大的差别。币安CEO赵长鹏随后转发该推文并表示，我们都是区块链公司。[2019/10/25]

BenediktBünz：Bulletproofs更适合在中或低复杂度的交易中使用，但是对于那些非常高复杂度的交易中，验证过程就会非常耗时。SNARK的优势是具有很高效的验证速度，但SNARK最大的问题是需要初始化可信设置。

链闻：上个月，两位研究人员发表了一个名为PLONK的零知识证明论文，试图优化zk-SNARKs的问题，而且相比另一个名为Sonic的技术有显著的性能提升，而Sonic又可以和你们提到的DARKproofs结合而成Supersonic，这些技术有些什么样的关联？

BenediktBünz：Sonic和PLONK在零知识证明技术的某些方面有一些进展了，虽然他们还是需要进行初始化可信设置的，但这个初始可信设置再也不是专用的了。我们最近发布的DARKProofs算是一种加密学工具，它可以帮助Sonic和PLONK，让他们变得更好，因为可以移除他们的可信设置。所以我们将Sonic与DarkProof组合的技术称之为Supersonic，用一句话来说的话，Supersonic是一种无需初始化可信设置的SNARK。

所以如果有一个复杂度非常高的交易或需要提供一个证明，Supersonic的验证将会是非常高效的。而且该证明的体积也非常小，比如说只要10到20kb。虽然没有Bulletproofs小，但已经非常小了，远小于STARK这类需要几百kb的证明。

声音 | 赵长鹏：本月初的黑客攻击事件让我们因祸得福:币安CEO赵长鹏今日发文表示，本月初币安的黑客攻击事件，让团队因祸得福。从长远来看，这一事件对币安来说可能是一件好事。追求安全永无止境。在安全方面总是有更多的事情要做，币安在上周已经实施了很多措施，并将在未来持续增加更多安全措施。鉴于此事，币安实际上变得比以前更加安全，不仅是在本次受影响的方面，而是就交易平台整体而言。他总结道：“在危机期间，我们始终与社区保持持续沟通和高度透明。我们认为这是一个强有力的因素，有助于我们从社区获得支持。 一个明显的衡量标准是BNB的价格：它在安全事件发生初期略有下降，但是下降幅度并不像人们预期的那么大，甚至在我们恢复提现之前，它已经强势回归并再次创下美元历史新高价。”[2019/5/20]

链闻：在本月初，Zcash开发公司的密码学家作为第一作者发表了一种名为Halo的新技术，Zcash创始人称该研究发现了「无需信任的」零知识证明递归组合，是密码学「长期以来取得的突破」，可能成为「保护和扩展区块链」的关键。对于该技术，您有什么看法？

BenediktBünz：Halo是一种有趣的新技术，他们的论文中还提到了Bulletproofs。但他们并不是一个SNARK，因为还是需要一个可信或不可信的第三方才可以更高效。如果只有一笔交易或一个声明，那就不算是SNARK了，验证过程也不会很高效。它只在需要验证很多不同声明的时候才会高效，也就是说在批量验证时的效率会比做单笔验证效率高，所以没有体现出SNARK的全部能力。但是Halo依旧是一个有意思的想法，可能有潜力会进一步提升Bulletproofs或其他技术。Halo这种新技术还在发展中，还没有经过安全上的证明，还有很多工作需要进行，所以目前还不能算是一个无需信任的SNARK。

声音 | 国双科技黄勇坚：对待区块链技术 我们宁愿放慢一步:据东北新闻网消息，北京国双科技有限公司技术副总裁黄勇坚针对近几年兴起的区块链技术这样说道，“不盲目追新，我们宁愿放慢一步，多花时间看清新技术的本质，不能被表象所蒙蔽。”[2018/10/28]

链闻：既然有这么多的零知识证明的相关研究，那对于项目来说，应该如何选择这些不同的技术呢？

BenediktBünz：当然了，肯定是要选用最适合的工具满足特定场景的需求。有些场景中，Bulletproofs非常适用，效率高并且证明可能只需要2kb，但对于其他更复杂的应用场景，Supersonic会更好。其实对于很多特定的应用和场景，通用的工具可能不是很高效，所以我们会花很多时间在探索和优化不同场景中使用更合适并且更高效的算法。

链闻：除了以上提到的和零知识证明相关的密码学算法，还有哪些其他的密码学工具值得关注？目前你们会把精力放到这些新技术的研发上吗？

BenediktBünz：还有很多，不过可以提两个，其中一个是「匿名凭据」。如果系统中用户存储了身份信息，类似于护照一样会有很多数据比如姓名、性别、年龄等等，一般在做KYC的时候会需要使用这类的身份信息。如果用户参与某个活动的要求是18至22岁，那这个功能就会发挥作用，不需要揭露其他的数据，也不需要揭露用户的实际年龄，但是可以通过系统证明自己的年龄是否在这个范围内，所以也可以称为「选择性揭露凭据」。这个密码学工具在金融领域的应用里非常重要。

另外值得一提的是在部分场景中需要的多方安全计算，简写为MPC。使用这个工具可以之后，可以实现比如说很多人共同参与一个拍卖，但是没有人需要泄露自己的拍卖价格。

声音 | Coinbase副总裁：我们现处于数字货币创新及监管的第三波浪潮:Coinbase副总裁Dan Romero表示，相信我们现处于数字货币创新及监管的第三波浪潮。第一波是比特币和美国出台的第一个监管，在2014年早期结束；第二波是以太坊、州颁布的许可证，在2018年早期结束；第三波是联邦颁布许可证，现在还未有最终结果。

?[2018/8/1]

但我们还是会把目前的精力放在优化目前已经规划的这些算法，把它们做到更高效。虽然有些项目声称使用了非常厉害的技术，但是这些技术可能还不具有实用性，效率低甚至不可扩展。

链闻：现在也有一些核心主打通用型的MPC区块链项目，在现阶段MPC可以和区块链契合的很好吗？

BenediktBünz：如果真的想把多方安全计算MPC带入通用计算领域，「低效」是最需要克服的问题。比如说，在一次计算中可能需要多轮的交互，所有计算的参与者都需要在线，所效率会很低，而且在这种去中心化的场景中，你并不知道计算进行中的对手方是谁。

比如说多个医院需要共同研究一组的数据，每一方都有自己病人的数据，也知道其他医院是哪些，它们IP地址是什么。MPC的整个计算过程就是这些参与者互相发送数据，比如量级在MB甚至GB的数据，之后他们就可以得出一个最终的结果，这才是MPC最擅长的场景。这其实和区块链的环境和设定还不太一样，因为区块链可能会有上千个节点，而且节点之间也互不认识。

链闻：作为公认的第一个图灵完备的区块链项目，以太坊在通用型的智能合约的设计上还有些什么问题吗？

BenediktBünz：从智能合约实现上来说，以太坊是基于账户的系统，合约的语言类似于Javascript，叫做Solidity。出于性能的考虑，我们认为区块链本身并不擅长处理通用的计算，比如说以太坊虽然可以做类似于4+3的运算，通过Solidity语言的处理和计算可以得出结果为7，但这样做比较愚蠢，因为可能全球上千个矿工都在计算这个题目。所以这类问题我们还不如心算出结果，或者可以通过其他方式计算。所以我们的项目并不会关注在通用计算上。

链闻：对于一个专注于金融领域的区块链项目，和通用型公链项目有何不同？

BenediktBünz：比如说对于投资基金或借贷平台，他们对于隐私和透明度都有特殊需求。从透明度来说，因为他们需要符合监管条例，还需要给用户和监管方显示他们的偿付能力，并可以被审计。金融应用还有隐私的需求，比如说不能公开用户的余额，公司的商业机密，投资过哪些公司等等。

零知识证明和密码学非常擅长于平衡隐私和透明的需求。

链闻：那在密码学和共识算法上与其他通用型的公链有哪些区别？

BenediktBünz：对于密码学，从交易角度来看，是需要专注于建立一种平衡的。Zcash为用户提供了很多隐私特性，但没有提供可审计性，无法公开其中一部分数据。但比如说在Findora平台中，资产可以称之为「智能资产」，可以给这些资产设立一些预设的规则，例如只能将该资产发送给特定国籍的用户，因为不同国家的监管规定可能不同。每个人都可以看到这些预设的规则被执行了，但是关于转账金额、何种资产和转账者的信息数据是可以保持隐私不公开的。

而且这些技术都会被模块化实施，所以可以被不同的共识算法使用。但是我们也会公开的一套共识算法，叫做Finsense。这会是一个基于PoS和声望系统的共识协议，用来保证如果PoS失败的话也会有相应的回退机制。

链闻：我们知道预言机是一个对于区块链非常重要的工具，可以将链下的数据带到链上，这将会极大程度上打开区块链的实际应用场景。那在预言机方案上，你们是如何考虑的？

BenediktBünz：我们一直在积极寻找合作方为我们提供预言机工具。不过我们的数据还是会先聚焦在金融机构和金融业务的需求上，比如说让经纪商在链上发行股票，我们已经有一些合作伙伴会提供这类数据了，他们可以帮助提供很多金融数据和金融资产到Findora区块链上，我相信这些才是我们所需要的预言机和数据。

对于其他应用类的数据，比如说什么天气数据，或者是运动比赛的数据，这些可能都不是Findora目前需要关注的数据，不过我们的平台还是可以与其他的预言机工具互操作的。

链闻：在中国，微信是一个绕不开的工具，我们是不是可能通过区块链技术搭建一个微信这种平台，实现聊天、支付、借贷等综合性场景？

BenediktBünz：或许聊天工具的部分，是发生在其他平台中，甚至可能不一定是区块链，但是支付和借贷，完全是可以通过区块链实现的。目前中国用户都在用微信，他们储存了用户所有的资产，如果发生了破产那可能就是金融危机了。但是如果将这些业务运行在注重隐私的区块链上，会带来的好处包括，去中心，无需信任，而且当你转账的时候，就不需要将转账的信息给任何其他人知道，交易可以很快的被处理。

还有一个很酷的事情是，区块链还可以提供一种标准化和公开的接入方式。如果微信的支付运作在区块链上，哪怕他们是一个中心化的区块链，用户还是可以基于这些区块链上数据搭建其他App，他们也就不需要微信的许可和API了，所以区块链对于这类标准化是非常有帮助的，相当于给金钱加上了一种开放式的API。

既然是跨场景的应用，可能会和跨链技术相关，也就是原子交换和跨链协议。以Findora项目为例，Findora本身会有一个公开的网络，但还可能会有很多小的私密网络，比如说许可式的网络。这些私密网络是可以连接至Findora公链的，虽然各条区块链可能采用了不同的共识算法，但还是可以在各条链之间转移资产的，因为我们采用了原子交换技术让跨链更无缝。

撰文/采访：潘致雄

来源：链闻

标签：区块链ARKSONBEN如何使用区块链技术Marko FinanceSonar Tokenbenqi币总量

酷币热门资讯