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