11月8日下午，由巴比特主办的“2019世界区块链大会·乌镇”继续进行，在分论坛“技术改变世界：区块链底层基础设施”上，斯坦福大学计算机科学系博士、密码学专家、FindoraCTOBenFisch发表了《金融和零知识证明系统的透明度：Supersonic-一次超音速的突破》主题演讲。
BenFisch在会上表示，比特币、以太坊以及Libra的隐私性都很糟糕，而想要同时兼顾隐私和可审计性，可使用零知识证明方案来解决，其对比了几种零知识证明方案，包括SNARKs、STARKs、Groth16、Bulletproofs以及他们所使用的Supersonic。据BenFisch表示，Supersonic的证明大小非常小，验证快，而且其不需要可信设置，适合各种复杂度的隐私交易。
直击乌镇 | 中钞区块链张一锋：下一代的数字身份是分布式的:金色财经现场报道，在11月8日举行的第二届世界区块链大会·乌镇现场，中钞区块链技术研究院院长张一锋做出题为“分布式数字身份 构建区块链的基础设施”的演讲。他指出虽然新的应用不断被发掘并落地，但现在的联盟链存在问题，包括：技术门槛高、浪费资源、不利于创新，而公有链因为监管缺失和非法应用的泛滥，流离于现实应用之外。张一锋还介绍了数字身份的演进，应用账户、联盟身份、数字证书，他认为下一代的数字身份是分布式的，且分布式数字身份是弹性的、扁平化的公布式认证方式，这更符合数字世界发展的需要。同时，张一锋还简要说明了分布式数字身份模型，及分布式数字身份的相关标准与密码技术。[2019/11/8]
以下是BenFisch现场演讲内容，经巴比特整理。
直击乌镇 | 观点：政策的好转加速整个行业向前发展:金色财经现场报道，在今日举行的第二届世界区块链大会·乌镇现场《大风口，大时代，区块链发展历史新机遇》的圆桌论坛中，针对“如何看待风口，在风口下究竟有哪些新的机会”这一话题，万向控股首席创新官王允臻认为，风已起，吹在何处，叶子或根，吹在叶子上则可惜，我们希望更多的行业专家进入。创新智能城，打造新型城市时，通过看之前的案例发现，发现智慧城市不好做，因为城市有其生长周期20年左右，而技术的革新周期为3-5年，顶层设计只能用当前最好的技术。要想与时俱进需要通过三个方面，即物理结构、数据架构和通信架构，保证城市的技术和形态高度协同，且设计必须是分布式的。
数字资产研究院副院长、瑞新资本合伙人孟岩认为，政策的好转加速整个行业向前发展，但以前的问题不会快速解决。新政之后，各地政府需要制定标准、政策，在此期间，某些产业会出现异样甚至是病态的繁荣，从长远来看，在很多领域的应用是一个慢热的过程。
IOSG创始人Jocy Lin认为，本次的政策可能打乱了节奏，开始思考如何发展。传统的商业体系和小众体系各有自己的区块链构成方式，有机会贯通，将理念应用到实际商业场景。他表示，看好的一个赛道是开放式金融（Open Finance），DeFi开始流通，基础设施足够支持开放式金融。[2019/11/8]
直击乌镇 | 百度区块链肖伟：区块链承接着整个智慧城市的可信计算网络:金色财经现场报道，在今日举行的第二届世界区块链大会·乌镇现场，百度区块链实验室负责人肖伟以《基于可信价值传递网络的智慧城市建设》为题进行了演讲。他表示，百度通过融合AI、5G、大数据、云计算、自动驾驶等新技术的融合来推动城市智能化进入新的阶段。而区块链承接着整个智慧城市的可信计算网络。基于区块链、大数据和可信计算的融合解决方案，处理多个数据中心之间数据流通的问题，实现数据可信不可见。
基于此，百度在智能医疗、智能政务、智能司法、智能交通四大示范应用开启可信智能城市试点。[2019/11/8]
我叫BenFisch，我讲的是金融和零知识证明系统的透明度，我是Findora公司的联合创始人。我们知道金融其实一直存在，我们也看到金融行业有数据孤岛的现象，所以当你把金钱存在账户中，你并不知道他们把你的钱用到哪里，你没有方式证明你存在银行的钱会发生什么样的故事。
直击乌镇 | 腾讯区块链蔡弋戈：腾讯虚拟银行已经在香港拿到牌照:金色财经现场报道，在今日举行的第二届世界区块链大会·乌镇现场，腾讯区块链业务总经理蔡弋戈以《数字资产基础设施的产业化道路思考》为主题进行分享。他介绍，腾讯虚拟银行已经在香港拿到牌照。[2019/11/8]
我们也看到过去有金融上的欺诈案例，这些欺诈金融案例就出现了数据孤岛的问题。
而我们相信，区块链将会在未来为金融机构带来更多的应用。
我可以把所有的资产放到一个透明的，让所有的客户都可看到的方式和方法上。
我们在整个过程当中不需要有任何的审计员来进行账本的审计，我们只需要知道源头的数据是正确的，并且区块链的数据是不可篡改的，那么整个数据就是可用的。
马云高调展示区块链成果 成为乌镇互联网大会焦点:12月3日上午，第四届世界互联网大会在浙江乌镇开幕，此次大会上，蚂蚁金服此次将区块链成果融入到了整个大会及与会人员的生活中，通过区块链技术打造的ZOLOZ全球可信身份平台，面向全球开放领先的金融级生物识别技术能力。ZOLOZ将使用生物识别技术帮助用户在数字时代解决”你是谁”的身份识别问题。[2017/12/4]
而对于我们的隐私保护来说，这同时也需要合规性，我们需要客户的信任。
当我们说到关于全球的账本时，我们首先可以看到一些应用，比如说比特币，但是比特币的问题是它没有任何隐私性。
如图左所示，我们通过研究表明追踪比特币交易容易实现的。同时因为比特币的产生，现在整体的追踪已变成一个商业化的行为。这就是为什么说比特币对于商业应用而言，其实它并不那么适用，因为每个人都可以在比特币平台看到不同交易的参与方。
而现金交易，它是最原始的交易方式，其优缺点分别如下：
它非常难以追踪，同时它是分散型的；
但它的缺点是非常贵，你需要把它印刷出来，同时它也要求物理的相互作用，它不是全球性的，也不可以被审计，你必须要面对面交易才可以使用它们。
同时我们看到，我们以前总是要在隐私性和可审计性等问题上做权衡，但随着目前区块链新技术的突破，我们就可以看到以上的这些缺点可被极大地限制。
另外，关于隐私的保护，我们认为Libra没有什么意思，大家什么都能看到。像支付宝、微信，它们对公众来说是保护隐私的，但对服务器而言就没有什么隐私可言了。
如何在隐私和公共审计之间做一个很好的平衡？
一方面在公共账本上它又有很好的隐私保护，但同时又可以进行公共的审计。我们可以用零知识证明来做这样的一种安排，比如说我们在比特币上，它就没有什么隐私保护，大家什么都能看到。但如果我们要保护隐私，我们就可以使用加密算法，就是说我们不知道具体的金额是多少，但是我们还是能够对它进行证明。这样的话，我们就可以对它进行审计，以及在隐私之间建立很好的保护。在这里，我们可以通过零知识证明的方法来保护隐私。
可以看到这是我们和核审员之间，来证明它的答案是正值。我们可以看到核审员不知道X是多少，但是他知道它是正的，他也知道我们肯定是知道的。在这里还可以做成非交互式的零知识，他们只需要传递一个答案就可以了，我们这里就需要一些公众的参数，可以看到Victor会去检查π，看看它对不对，然后通过一个很简单的答案，他就确信X是正的。
我们提一下SNARK，它是一个非常有效、快速的零知识证明，有时候需要非常简洁的答案就够了。我们在核算的时候，算的非常快，而且数据很小。
我们看到零知识证明可以帮我们带来很多保护隐私的功能，比如说从保密的金钱汇款，还有资产的管理。
说到合约的时候，我们可以评估合约的资质来证明合约的可效性。比如说我们可以证明这个投资基金有偿付能力，或者整个账户在公链上有加密的价值。我们还可以证明我们的资产是在白名单上，我们可以避免挪用，等等。
零知识证明家族的对比，Supersonic脱颖而出
我们再来简单分析一下几大零知识证明方案的特点。比如说Groth16，它非常小、非常快，但它需要可信设置。还有STARKs，放在区块链上基本上不可用，因为它太大了，但它比较快。还有Bulletproofs，我们可以看到它的证明比较短，而且有很好的隐私保护，但它比较慢，因此它可能不适用于特别复杂的证明，但是它特别适用于复杂程度中等的交易。我们也用了不少Bulletproofs，比如说交易的时候要隐藏金额，我们就可以用Bulletproofs。但如果要证明他是否有偿付能力，就不能用Bulletproofs了。
可以说用Supersonic零知识证明来证明特别复杂的参数，我们可以在几毫秒之内完成。
这就是Supersonic，可以说这是第一个非常短的，而且不需要可信设置的零知识证明方案。
中等复杂的交易，我们可以用Bulletproofs，而我们现在所使用的Supersonic，不管交易是否复杂，都是适用的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。