万字长文详解零知识证明技术

安比技术社区 2020-05-13 23:30

The following article is from 陀螺财经 Author 陀螺研究院

陀螺财经 .

元宇宙数字产业服务平台

Image


4月初,从在会议中播放色情内容的“Zoom轰炸”,到偷偷向Facebook发送用户数据,视频会议软件Zoom的隐私丑闻持续引发大家的关注。联想之前炒得沸沸扬扬的脸书公司隐私泄露事件,隐私问题已经成为制约互联网产业发展的最大绊脚石之一。


Image


回顾2019即将过去的一年,大规模的数据泄露事件频频发生,呈现爆发递增的趋势。据安全情报供应商Risk Based Security (RBS) 的2019年Q3季度的报告,2019年1月1日至2019年9月30日,全球披露的数据泄露事件有5183起,泄露的数据量达到了79.95亿条记录!随着以人工智能、大数据和物联网为代表的信息技术革命的推进,数据的价值进一步凸显,数据成为了企业的重要资产和持续创新的推动力。因此,保障数据在采集、传输、利用和共享等各个环节安全的重要性不言而喻。在过去十多年的技术和应用演进中,区块链已经不只是中本聪白皮书中所描绘的一种点对点支付协议,而是在它原生支持支付和弱化第三方的基础上,结合更多技术和应用需求逐步发展成为“世界计算机”。近两年随着区块链应用的进一步深入,我们也面临了越来越多的问题亟待解决。其中数据隐私和性能扩展成为社区讨论最广泛的问题。


零知识证明技术作为现代密码学的重要组成部分,它能够在不泄漏任何秘密信息的前提下完成对此秘密信息的验证。零知识证明技术对于解决当前信息安全中的诸多问题,如数据安全、隐私安全、监管检查等都能够发挥重要的作用。零知识证明与区块链的完美结合很好的解决了区块链当前面临的困局。一方面,零知识证明能够保护数据的隐私性,在不泄漏数据的条件下对其进行证明,用以零知识证明为代表的密码学方案去解决这类问题隐私问题具备极好的优势;另一方面零知识证明仅需要生成很小数据量的证明就可以完成对大批量数据的证明,它在压缩数据量提高性能方面可以发挥很大的作用。为了让大家更好的把握零知识证明,陀螺研究院和安比(SECBIT)实验室联合撰写了这份《零知识证明技术发展报告》并联合发布,联合发布的单位还有深大区块链技术研究中心(南山区区块链应用协会)、金融壹账通和成都链安。


零知识证明技术已经过了三十几年的发展历程,无论是理论研究还是工程实现目前都已取得了非常显著的成果,尤其近十年来,其巨大潜力才逐渐突显出来。如今,零知识证明理论研究正呈现一种百花待放的态势。从应用分类上,零知识证明技术在区块链应用上可以大致分为隐私保护和扩容两大类:


Image


从应用层面上,零知识证明在区块链领域的应用大致可以分为三层:


Image


其中,零知识证明的隐私保护能力和数据压缩能力是其成为公链基础组成技术的主要原因;将零知识证明技术做为底层扩展技术的组成部分,以此支撑上层应用来使用零知识证明技术也是一个重要的方向;零知识证明在上层DAPP 应用中的直接应用也是其发展的一个重要部分。


零知识证明技术诚然已经是区块链领域一项非常重要的底层技术,但时至今日,零知识证明技术的理论和工程实现都处于快速发展当中,四个较为明显的趋势—— 技术标准化、后量子零知识证明、性能优化、零知识全同态加持和公链集成正在迅速增长。


在经历了几年的发展变化后,到2020 年区块链应用步伐将加快,而同时随着数据隐私矛盾的进一步激化,业内已经逐步意识到包括零知识证明在内的现在密码学技术的威力。相信在政府的大力支持下,随着商业投入的不断加大,密码学专家的深耕不倦以及专业技术团队的快速成长,零知识证明技术也将为区块链的发展创造更大的价值。


Image

Image

Image


在公众号对话框回复关键词「零知识证明报告」,即可获取本报告全部内容。


往期回顾

零知识证明学习资源汇总

探索零知识证明系列(一):初识「零知识」与「证明」

探索零知识证明系列(二):从「模拟」理解零知识证明:平行宇宙与时光倒流

探索零知识证明系列(三):读心术:从零知识证明中提取「知识」

探索零知识证明系列(四):亚瑟王的「随机」挑战:从交互到非交互式零知识证明

探索零知识证明系列(五):云中「秘密」:构建非交互式零知识证明

从零开始学习 zk-SNARK(一)——多项式的性质与证明

从零开始学习 zk-SNARK(二)——多项式的非交互式零知识证明

从零开始学习 zk-SNARK(三)——从程序到多项式的构造

从零开始学习 zk-SNARK(四)——多项式的约束

从零开始学习 zk-SNARK(五)—— Pinocchio 协议

浅谈零知识证明:背景与起源

浅谈零知识证明之二:简短无交互证明(SNARK)

浅谈零知识证明之三:zkSNARK证明体系的实现(上)

零知识证明 Learn by Coding:libsnark 入门篇

链上富人寻「隐私」记(一:Mixer 篇)

zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易

PoD-Tiny——实现零信任交易的最简协议

zkSNARK 合约「输入假名」漏洞致众多混币项目爆雷

Move语言:我眼中的 Libra 最大亮点

如果量子计算时代到来,我们的比特币安全吗?



Image

长按二维码添加微信进群讨论零知识证明


info@secbit.io


安比(SECBIT)实验室




Scan to Follow