作者:DanielLi
出品:CoinVoice
在经历了Web2.0创新带来的一系列期望和失望之后,现在的人们比以往任何时候都更加注重安全、隐私和数据所有权。而快速发展的Web3.0最大特征之一就是让参与者对其内容、数据和资产拥有完全所有权,切实保证了参与者的隐私安全,激发了人们内心对互联网发展的新信心,那么零知识证明在其中将扮演怎样的角色,它是否真得能让这一数字乌托邦成为现实?
web1.0是一个点对面的信息传播时代。一般由一家公司生产信息并存储在本地服务器上,允许读者进行单向交互,表现形式是各类网页,如早期的各类门户网站:新浪、网易、搜狐等。
Web2.0是相对于Web1.0的新的时代,用户参与到了内容的制作当中,表面上是“点对点”的交互形式,但数据还是存储在集中的服务器中,表现形式是各类APP,如目前国内占据主导地位的社交媒体平台微博、微信和抖音。
Web3.0集成了1.0和2.0等优势,但最大的不同是用户拥有了对数据的完全的控制权和所有权,数据不再存储在中心化的服务器中,而是分布式存储在参与网络管理的各个节点中,表现形式是区块链行业的各类Dapp,如Metamask、Uniswap等。
a16z crypto引入Lasso和Jolt工具来增强零知识证明:金色财经报道,风险投资公司 Andreessen Horowitz 的加密货币部门 a16z crypto 推出了 Lasso 和 Jolt,这是一对基于简洁非交互式知识论证(SNARK)的新工具。SNARK 是一种零知识证明,有可能促进第 2 层空间中的可扩展 ZK Rollup,这通常被视为计算密集型。Lasso 是 a16z 两篇研究论文的主要创新,它采用了“查找参数”机制,有利于更快的零知识证明。它将特定的输入与相应的输出相匹配,而不泄露额外的信息。该团队指出,Lasso 引入了一种简化的方法来验证 SNARK,通过对大量结构化表执行查找来避免繁琐的手动优化电路。[2023/8/11 16:18:58]
从本质上讲,Web3.0是去中心化的互联网:
任何人都可以参与其中
没有人能支配用户的数据,除了用户自己
不必去相信任何人
Web3对安全和隐私的要求都需要新的技术来实现,幸运的是人们发现了零知识证明。零知识证明允许用户私密地向去中心化网络共享信息,并且保证用户从网络接收的数据是真实的,无需信任第三方,兼顾隐私和安全,成为突破Web3.0安全保密性屏障的核心技术。
SKALE即将发布去中心化零知识证明解决方案Levitation Protocol:6月2日消息,以太坊侧链 SKALE 开发人员宣布了一项 SKALE 改进提案,即,去中心化零知识证明解决方案 Levitation Protocol,旨在通过使全套 ZK 解决方案无缝连接到 SKALE 架构,并将 Rollup 连接到以太坊主网。该提案包括进一步的生态系统升级,增加了一个新的「Layer 1 Megachain」,称为 SKALE G(G 代表木卫三,太阳系中最大的卫星)。
SKALE 开发人员计划在未来几个月内开始发布 Levitation Protocol 源代码,之后将启动公共测试网。Levitation Protocol 主网计划于 2023 年第四季度推出。[2023/6/2 11:53:31]
为了方便理解,我们简单举一个例子:
假设A需要向B证明自己拥有某个房间的钥匙,并且房间只能通过钥匙才可以打开,任何其他方式都无法打开,那么以下两种方案哪种属于应用了零知识证明?
方案一:A把钥匙出示给B,B用这把钥匙打开该房间的锁,从而证明A拥有该房间的正确的钥匙。
Findora将基于腾讯云提供零知识分类帐产品“zkLDB”:7月2日消息,去中心化金融公链项目Findora宣布与腾讯云建立合作关系,Findora将很快基于腾讯云提供零知识分类帐产品“zkLDB”。该产品将支持加密交易(encryptedtransaction)和资产发行、处理、验证和存储。Findora的zkLDB还包含一套完整的合规隐私保护审核工具。另外,腾讯和Findora将合作提供多种API和SDK,以满足银行、投资管理和游戏等行业的需求。
注:Findora是一个基于密码学的金融公链,由计算机密码学专家和美国斯坦福大学校产基金首席执行官组建,旨在支持众多应用,包括开放式银行、资产证券化、交易和点对点贷款。不仅为企业提供数据隐私服务,同时允许审计以符合财务规则。(MarketWatch)[2020/7/2]
方案二:B确定该房间内有某一物体,A用自己拥有的钥匙打开该房间的门,然后把物体拿出来出示给B,从而证明自己确实拥有该房间的钥匙。
通过两种方式A都可以向B证明,自己拥有房间钥匙,但方案一,在交易过程中,B看到了A的钥匙信息,在零知识证明中要求,证明者需要在不向验证者提供任何有用信息的情况下,使验证者相信某个论断是正确的,方案一泄露了信息,故方案一排除;而方案二,A在没有泄露任何相关信息的情况下,让B确信了自己拥有房间的钥匙,所以答案是方案二。
加拿大央行研究人员:零知识证明目前不能用于CBDC系统:金色财经报道,加拿大央行的研究人员在一份新分析报告中表示,零知识证明和类似的面向区块链网络隐私的加密方法“尚处于起步阶段”,还没有准备好在中央银行数字货币(CBDC)系统中广泛部署。[2020/6/30]
上述的案列的成功,必须满足一定的规则:
A无法B,若A取出的东西不是来自房间里的,则B可以分辨的出来,即A成功B的概率很低,我们将这一规则称之为——正确性;
B无法A,若A取出的东西是来源于房间里,B无法A,A有绝对的优势可以确保B相信他能证明。我们将这一规则称之为——完备性;
正确性和完备性,就是在最小泄露协议中零知识证明所必须具备的性质。二者不可或缺,否则会导致整个逻辑无法闭环,零知识证明也就不存在了。而在未泄露任何信息的情况下,完成零知识证明,我们称之为——零知识性。
隐私计算
零知识证明可以满足消息的隐私性,可以解决常见的区块链网络中因透明性所带来的地址和资产额度等消息泄露。例如在区块链交易中,如果你需要证明你拥有某种资产,但同时又不想暴露资产的任何信息,那么就需要用到零知识证明。
金色沙龙 | 燕丽:零知识证明对于协调区块链底层扩容也有很大帮助:在今日举行的《隐私计算——区块链信息安全守护者》为主题的金色沙龙中,算力智库创始人燕丽表示,2020年1月1日,中国首部《中华人民共和国密码法》将正式开始实施,而在这之前一直只有一部 2007年4月23日公布的《商用密码产品使用管理规定》和《境外组织和个人在华使用密码产品管理办法》。很多人把这次《密码法》和2019年“1024”中央把区块链技术作为国家战略联系在一起。区块链技术是完全基于密码学技术,所以按照这个逻辑,如果政府要完全掌控未来区块链技术的发展,首先就要完全掌控密码学技术,而这个其中的核心是国家主权范围之间在所有的通信安全和商业行为之间军备竞赛的升级。区块链有大量扩容压力,而为了达到这个操作,必然要牺牲系统处理效能和部分隐私。但矛盾的是,区块链前期的应用场景如虚拟货币,数字金融等,都需要有更好的隐私保护和不容易被恶意攻击的防护。所以若想让区块链技术落地生根,那么提高区块链底层技术来满足对于高安全性(含高完整性和高保密性)、高性能、高广义效率的要求,也许是个稳妥做法。所以隐私计算中的零知识证明等对于协调区块链底层扩容也有很大帮助。[2020/4/15]
隐私计算是零知识证明的一个重要的应用领域。若想保护隐私,则可以通过密码学的解决方案对链上数据进行加密,让链上的不同交易之间找不出关联性。零知识证明可以验证计算而不会暴露有关输入和计算本身的任何信息,保证链上数据隐私和安全。
Web3.0至关重要的一点是用户自身真正掌握身份和数据所有权。但当前区块链上所有的信息都是公开的,人们通过一些手段就可以轻易得获取用户的信息(当然这本身也是区块链网络共识的特性)。虽然目前区块链用户尚没有广泛且强烈的隐私意识,但随着发展,这种需求在未来一定是更加迫切且长期存在的。所以要实现Web3.0的愿景,用户必须要有权力拥有自己的链上隐私。因此可以说隐私未必是必选项,但一定是可选项。
拓展性
若常用的区块链平台中产出新区块的验证时间很长,可直接更改为一人验证并生成证明,网络中的其他参与者都掌握快速验证该证明的方法,而不需要每个参与者都花费大量的时间来直接进行验证。
这涉及共识的成本问题,从经济学角度来看,以太坊,比特币等区块链网络交易成本高昂的原因在于:共识必须是昂贵的,廉价的共识一定程度上是不可信的。而其中的成本主要来自于区块链需要若干台设备的重复计算才能达成一致的共识。例如POW共识机制中,1000台机器做重复的计算工作,效率不会大于一台计算机的效率,但其所需要的成本是一台计算机的1000倍。这是所有的主流共识协议,无论是POW还是POS,为确保去中心化的共识所必须付出的成本。也就是不可能三角的束缚。
将零知识证明和区块链的一致共识结合起来,就可以达到仅用一台设备即可运行计算完成1000台设备重复计算的工作,从而极大降低了网络成本。零知识证明,通过采用密码学的方法,让其他设备验证一台设备计算的可靠性,而非直接参与重复计算。而且,在成本昂贵的区块链网络上,验证计算的正确性要比重复计算便宜得多。
因此,区块链依旧负责网络的共识和安全,而一些计算的工作则可以交给零知识证明在区块链网络外部完成,提升了区块链的拓展性。
零知识证明在Web3.0中的应用零知识证明可用于保护不同领域中的数据隐私权:
金融:如抵押贷款申请人可以证明他们的收入在可接受的范围内,而不透露他们的确切工资。
在线投票:零知识证明允许选民匿名投票,并验证他们的投票是否包含在最终计票中。
身份验证:零知识证明可用于对用户进行身份验证,而无需交换密码等机密信息。以太坊上的PolyganID就是采用了零知识证明的验证方案,它既帮助了用户在基于区块链的Web3平台上保护他们的隐私,同时满足监管要求的KYC验证规范,用户可以自由选择何时以及共享哪些数据。
机器学习:零知识证明可以让机器学习算法的所有者说服其他人了解模型的结果,而无需透露关于模型本身的任何信息。
区块链:比特币和以太坊等区块链能保证链上数据的透明性使人人都可以验证链上交易。这意味着参与者几乎没有了隐私,可能导致数据的非对称性,而零知识证明可以帮助保护区块链参与者的隐私权。
零知识证明在区块链领域已经有了丰富的应用场景:
Layer2扩容:零知识证明的可验证计算,允许L1将交易处理外包给链外高性能系统。这使得区块链可以在不损害安全性的情况下进行扩容。例如StarkWare正在使用运行零知识证明友好代码的专用虚拟机构建一个可扩展的智能合约平台StarkNet。Aztec还允许他们的Layer2程序私下运行,而且不会泄露有关用户交易的任何信息。
隐私L1:Aleo、Mina和Zcash等L1公链允许交易者使用零知识证明隐藏发送者、接收者或金额。
去中心化存储:Filecoin使用零知识证明来证明网络中的节点在正确存储数据。
区块链压缩:Mina和Celo使用零知识证明将同步到链上最新状态所需的区块链数据压缩成一个小证明。
零知识证明的挑战在哪里?
零知识证明已被证实未来有巨大的潜力,但是当前离广泛应用还有很多难题尚未得到解决。
从数学意义上来讲,零知识证明并非真正的证明,因为证明者说谎而不被验证者识别的概率,虽然可以无限趋近于零,但它永远不会到达零。只要不是零,就非逻辑上的零知识证明,因此零知识证明并不能保证100%有效。
硬件方面,市面上目前还没有专门用作零知识证明相关的硬件和软件。零知识证明需要证明者和验证者之间不断交互,因此需要大量的计算能力,这让零知识证明不适合在速度慢或移动的设备上使用。
随着Web3世界的不断构建,用户对性能、隐私以及新型应用程序和协议的需求将日益增长,零知识证明在其中的作用会越来越凸显。虽然目前零知识证明还有不少局限性,但人们对零知识证明的探索将会越来越深入,零知识证明也将凭借其在隐私计算、L2可扩展性、安全保护等方面的卓越表现,成为Web3世界的护身符,对Web3世界产生巨大的影响。
DearValuedUsers,HuobiGlobalwillbelaunchingdepositeventsfor?WNDR.Makeyourdepositstoearnhigh-yieldi.
1900/1/1 0:00:00各位BTCC用戶,感謝您一直以來對我們服務的支持。近日,我們發現有大量用戶通過批量惡意註冊賬號,試圖從我們的活動中獲取獎勵.
1900/1/1 0:00:00一项新的研究预测,到2027年底,现有的30亿美元市场规模将达到136亿美元,这反映了当今投资者对非同质化代币(NFT)领域日益增长的兴趣.
1900/1/1 0:00:00撰文:PaulHoffman编译:Aididiao随着一个新的区块链协议、去中心化应用程序或DAO(统称为「协议」)的引入,需要回答的主要问题之一是.
1900/1/1 0:00:00加密市场正面临着5月开始的考验。随着美联储的宣布,市场已经面临两次重大下跌,最近一次下跌3.7%。在此期间,又出现了另一个统计数据,可能会引起一些担忧并引起很多关注.
1900/1/1 0:00:00埃森哲近日发布《技术展望2022》报告中文版,对未来十年间将会影响塑造商业世界的重要技术变革进行前瞻预测,“如何迎接元宇宙”是此次报告讨论的核心话题.
1900/1/1 0:00:00