首页 > 区块链

郭宇:零知识证明的安全性需要形式化验证

区块链 照生 零壹财经 2019-12-22

关键词:安全性

郭宇认为区块链的吞吐率低下的核心原因是网络带宽限制,而不是由于区块链技术自身的问题。
数字资产与区块链的发展紧密相关,为了加强区块链领域的研究,促进区块链学术、技术和应用发展,中国投资协会与数字资产研究院联合成立“中国投资协会数字资产研究中心”。

2019年12月22日,数字资产与区块链年会 2019暨中国投资协会数字资产研究中心成立大会在北京举办。数字资产研究院学术与技术委员郭宇在会上以《零知识证明,区块链技术缺失的一环》为题发表主旨演讲。
 

郭宇认为区块链的吞吐率低下的核心原因是网络带宽限制,而不是由于区块链技术自身的问题。提高出块速度是此前比较流行的做法,但这种做法会导致区块链分叉,甚至可能威胁区块链系统安全。那如何在不降低安全性的前提下,提高区块链吞吐率?郭宇的答案是:零知识证明。

他指出,反直觉的零知识证明,可以保证一个远程计算过程的完整性,同时还能在链上链下数据关联、上链数据安全和隐私保护等方面发挥作用。随后,郭宇以地图三染色体问题为例,详细介绍了零知识证明背后的原理。

在讲演中,郭宇提出一个大多数人关注的关键问题:零知识证明安全吗?

“…使用零知识证明技术就好像走了一条捷径:通过中土庞大地下城——摩瑞亚,这比翻山越岭要快不少,但是你可能会与炎魔作斗争。”Matthew Green曾这样形容零知识证明。
郭宇也表示,零知识证明是一把锋利的双刃剑。零知识证明能够保证链上数据的安全和隐私,但同时如果有黑客入侵系统,也会是“零知”的,没有人能够知道。所以,郭宇认为,零知识证明的安全性需要形式化验证。

最后,郭宇表示,区块链系统的可信实际上应该包括三方面:共识算法提供区块链协议信任,零知识证明提供数据信息和计算完整性,形式化验证保证计算逻辑可信。所以,区块链的信任需要共识算法、零知识证明和形式化验证三者的结合。


零壹智库推出“金融毛细血管系列策划”,通过系列文章、系列视频、系列报告、系列研讨会和专著,系统呈现“金融毛细血管”的新状态、新功能、新价值、新定位。
 

上一篇>孟岩:数字资产是数字经济升级的核心

下一篇>张永贵:加强数字资产研究,推动数字经济健康发展


相关文章


用户评论

游客

自律公约

所有评论

主编精选

more

专题推荐

more

第四届中国零售金融发展峰会(共15篇)


资讯排行

  • 48h
  • 7天



耗时 167ms