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

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

关键词：安全性

郭宇认为区块链的吞吐率低下的核心原因是网络带宽限制，而不是由于区块链技术自身的问题。

数字资产与区块链的发展紧密相关，为了加强区块链领域的研究，促进区块链学术、技术和应用发展，中国投资协会与数字资产研究院联合成立“中国投资协会数字资产研究中心”。

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

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

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

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

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

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

专题推荐：金融毛细血管

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