2022年,由于ZK-Rollups在以太坊领域取得进展,零知识证明成为Web3年度关热词。甚至有人预测下一轮牛市的发动机就将会是零知识证明,并宣称零知识证明之于Web3的重要性,能和Bitcoin引入了区块链概念、以太坊引入了智能合约相媲美。零知识证明何以拥有如此强大发展潜力?这或许要从Web3的发展谈起。Web3旨在通过去中心化网络将网络所有权移交给其用户,然而当下Web3似乎只是带来了以用户为中心的价值观,距离其愿景落地还有很多问题需要解决,隐私安全即是其面临的关键问题。Web3网络在设计中宣称用户与去中心化的网络进行交互,以避免如Web2中心化网络数据泄露、私有数据化、集权等弊端。即如果您正在运行一个完整的节点,您将获得完整的、数学上保证的加密安全性。然而,运行一个完整的节点需要昂贵的硬件以及保持连接到100GB的大型区块链。显然目前的加密客户端无法处理这类需求。因此,当下Web3仍在很大程度上依赖于受信任的中心化中介,由这些中介连接起Web3去中心化网络,这似乎与Web3愿景背道而驰。如何在去中心化网络环境中,以去中心化的方式保障隐私安全呢?零知识证明技术巧妙地解决了这个问题。而网络安全之外,零知识证明的用例还有很多,下文将为大家介绍该技术在加密领域中的用例。什么是零知识证明
Cool Cats推出新生态NFT“Shadow Wolves”,铸造期为4月20日至5月19日:4月21日消息,NFT项目Cool Cats在社交媒体宣布推出新生态NFT系列“Shadow Wolves”,该NFT被归类为“Super Cool”会员,类似于此前推出的Cool Pets NFT系列,亦将是整个Cool Cats生态系统中动态游戏和竞争体验的扩展,包括获得独家投放、商品和产品发布。
Cool Cats表示用户可以通过销毁Cool Cats Fracture来铸造Shadow Wolves,铸造期为4月20日至5月19日,如果在该时间段内未销毁,Fracture NFT将会失效。[2023/4/21 14:17:31]
在介绍零知识证明在Web3的用例之前,让我们快速了解零知识证明的原理。零知识证明是一种密码学,允许一个人向另一方证明某些细节是真实的,而无需提供任何额外信息。零知识证明需要以下三个关键要求:完整性:如果陈述真的是真的,并且两个用户都正确地遵守规则,那么验证者将不需要任何其他条件,就可以完成验证。可靠性:如果陈述为假,验证者在任何情况下都不会被说服。该方法利用概率检查理论,以确保不会发生错误。零知识:意味着验证信息的人无法知道除断言是否正确之外的任何信息。零知识证明有两种主要类型:交互式零知识证明要求证明者执行一组任务或操作,以向验证者证明他们拥有特定信息。为了通过交互式零知识证明而必须完成的大部分任务通常涉及数学概率之类内容。证明者和验证者无需相互通信即可使非交互式零知识证明有效,而验证将在之后进行。这类特殊、的零知识证明需要使用额外的计算或程序。零知识证明的Web3用例
Sentiment:凌晨2点发现异常借贷活动,随后暂停主合约并将功能限制为仅提款:4月5日消息,无许可部分抵押借贷协议 Sentiment 发布漏洞调查更新称,北京时间今日凌晨 2:00 左右 Sentiment 团队发现异常借贷活动,现已宣布为恶意利用。为了降低进一步利用资金的风险,Sentiment 团队于北京时间今日 3:26 暂停了 Sentiment 主合约,将功能限制为仅提款。
在第三方安全审计员的帮助下,Sentiment 团队推出了修复漏洞的修复程序。所有 Sentiment Account 用户都可以偿还债务并平仓。Sentiment 团队继续与执法部门和密切贡献者密切合作,以识别黑客并追回被盗用的用户资金。[2023/4/5 13:45:47]
尽管零知识证明技术早在1980年已经产生,但受困于技术难度,其并未得以广泛应用。零知识证明到底能够为Web3的发展带来哪些帮助?让我们从技术用例中窥探一二。链下计算
以太坊再质押市场Eigen Layer发布V1白皮书,模块列表包括MEV、排序等:2月21日消息,以太坊再质押市场Eigen Layer发布V1白皮书,其中描述了核心开发人员在即将发布的第一版协议中实施的关键思想,包括潜在Eigen Layer模块列表(例如MEV、排序)。此外,EigenLayer还启动了Eigen Layer论坛,用于重点讨论Eigen Layer协议、EigenDA开发、中间件研发这3个主题。
据悉,Eigen Layer是一种建立在以太坊之上的协议,它引入了再质押概念,允许在共识层上重新质押ETH。质押ETH的用户可以选择加入Eigen Layer智能合约以重新抵押ETH并将加密经济安全性扩展到网络上的其他应用程序。[2023/2/21 12:19:07]
随着越来越多应用在以太坊上部署,在以太坊上的交易处理速度较慢,网络扩展性不足成为阻碍其发展的重要难题。而构建一个Layer2网络,将计算处理转移至链下成为解决当下问题的重要方案。ZK-Rollups即是颇受以太坊社区认可的解决方案之一。ZK-Rollups系Starkware,Zk-sync是扩容类项目。扩展性是零知识证明在Web3中最普遍的用例。目前也有将扩展和隐私两种性能结合的方案,如Aztec、StarkNet之类的隐私Layer2公链的发展,感兴趣的开发者可在《浅谈隐私在Layer2现状和未来》一文中了解更多。跨链桥联
Coinbase已支持查询LENS资产:2月8日消息,据 Coinbase 平台加密资产界面显示,目前用户已可在该平台查询到 Lens Protocol 项目方 Token LENS 的相关页面,开盘价或为 0.00023 美元,其他具体信息暂无显示。
此前报道,Web3 社交平台 Lens 创始人 Stani Kulechov 于 2 月 2 日在其社交平台发布区块高度推文“Ξ16460695”,社区猜测此推文意味着 Lens 协议已在此区块高度进行快照,即将发布 Token。[2023/2/8 11:54:24]
随着公链生态的扩张,以太坊一统天下的局面很难达成,跨链互操的需求越来越大,而利用桥来跨链的安全性难以得到保障,因此很多项目将开始使用零知识证明以实现互操作,其中包括Wormhole,Polymer和ZKBridge正在布局基于零知识证明技术构建无信任假设的跨链协议,将一改因IBC轻客户端不能在ETH运行所导致的无法互通的现象。零知识证明也将大大提高加密桥的安全性,以提高跨链互操的安全性。链上游戏
Beosin:Gnosis Omni Bridge跨链桥项目存在合约层面的重放漏洞:金色财经报道,Beosin 安全团队发现,在以太坊合并并分叉出 ETHW 后,Gnosis Omni Bridge跨链桥项目,由于合约代码中固定写死了chainID,而未真正验证当前所在链的chainID,导致合约在验证签名时能够在分叉链上验证通过。攻击者首先在 ETH 主网上通过omni Bridge 转移 WETH,随后将相同的交易内容在 ETHW 链上进行了重放,获取了等额的 ETHW。目前攻击者已经转移了 741 ETHW 到交易所。
Beosin 安全团队建议如果项目方合约里面预设了chainID,请先手动将chainId更新,即使项目方决定不支持ETHW,但是由于无法彻底隔绝通过跨链桥之间的资产流动,建议都在ETHW链上更新。[2022/9/19 7:04:46]
以“黑暗森林”为例,这是一款灵感来自于刘慈欣的《三体》的基于零知识证明的游戏。作为策略游戏,游戏中的许多阴谋都来自于隐藏信息或信息不对称的概念,整个黑暗森林宇宙是无限的,它充满了成千上万的对抗玩家、机器人、脚本、智能合约玩家等等。然而,单个玩家在加入宇宙后只能访问整个宇宙地图的一小部分,这正是赋予《黑暗森林》灵魂的地方。如何在信息都是公开透明的区块链上实现“隐藏”部分信息,这正是基于零知识证明所实现的“隐藏”部分不想透露或需要触发条件的信息。
资产安全
区块链技术不仅保证了我们的资产只由我们自己处理,而且分布存储在多个节点中,降低了资产风险。而零知识还有助于进一步提高Web3安全级别。在安全设计中使用数学验证而不是概率论,零知识通过采用有效性证明来降低潜在风险,有效性证明保证信息的准确性,具体而言:唯一能够破译加密信息的人是用户;如果证明者是伪造的,得到的最终根将不同,验证者将拒绝接受;即使所有验证者与证明者串通,由于区块链数据的可用性,账户状态也可以回滚和更正;使用零知识证明时,通常会采用额外的检查和强化机制。用户验证
可以通过零知识证明来确认个人的加密身份。零知识证明允许用户向系统验证他们的身份,而无需透露他们完整的个人信息。例如,当您登录一个帐户时,需要输入用户名和密码,但如果使用零知识证明技术,你只需要出一个ZKProof,平台就永远无法算出你的真实密码,在无需泄露个人敏感数据的前提下完成个人身份验证。文档共享
我们在网络上常会面临某些数据共享需求,而共享过程中会面临信息丢失、拦截等问题。当零知识证明与区块链技术相结合,可以分片加密数据,不仅保障传输安全性,还能使用户拥有管理某些块以及其中包含的信息的权利,从而授予某些用户访问权限,而未经授权的用户则无法访问您的共享文档。存储保护
去中心化存储作为Web3三大支柱之一,对于行业发展十分重要。而零知识证明能够为存储安全提供更好的保护,其能够利用算法设置相应的协议,使存储单元和其中的协议被加密,甚至在访问通道也会设置加密保护,让Web3云存储的安全性更上一层楼。零知识证明技术还有很长路要走
在可扩展性和隐私用例之外,零知识证明的用例十分广泛,其在Web3中发挥的作用也更加清晰。目前已有不少项开始将该技术用于项目实践,据Messari统计显示,零知识证明最广泛应用的扩展领域的一众项目将在2023年迎来发展的关键期,如Scroll、PolygonzkEVM等项目主网将陆续上线。在《扩容赛道开年即冲刺,盘点近期上线测试网的L2项目》一文中,也介绍了近期上线测试网的零知识证明项目。但是我们还需要认识到,尽管零知识证明在Web3中的应用前景广阔、领域众多,但其证明的性能问题还未得到妥善解决。目前有不少团队都在搞硬件加速,但这种硬件加速仅部分负责有效证明。而在算法级别、软件级别和其他方面仍需要进行优化。鉴于此,今年零知识证明的有效的利用将出现在小规模应用之中,很难得到大规模广泛应用。而DeFi之后,零知识证明要想成为下一轮牛市的发动机还有很长的路要走,希望能够有更多Web3开发者在前瞻零知识证明的前景基础上,敢于挑战、攻克其技术难题,以技术进展推动应用实践。「2023加密行业发展趋势预测」系列下一篇文章将聚焦加密安全领域将面临的新技术与新变化,请大家保持关注,敬请期待!
去年以来ZK赛道受到了大家的广泛关注,特别是采用ZK-EVM技术的Starknet、zkSync、PolygonEVM、Scroll等明星项目成为大家谈论最多的话题.
1900/1/1 0:00:00近期,一向「古板」的比特币似乎又「时髦」了起来。不仅有人通过Ordinals协议搞起了比特币NFT,就连一直不温不火的比特币DeFi和Layer2最近也被人频频关注,相关Token也涨幅不小.
1900/1/1 0:00:00过去24小时,市场出现了不少新的热门币种和话题,或许它们就是下一个市场焦点。总结1.热门币种方面:DegenZoo:昨日degenzooTGE,同时上线中心化+去中心化交易所,用户转移代币/购买.
1900/1/1 0:00:00本文为iZUMiFinance联合创始人JimmyYin于3月3日在Denver活动上的演讲,经编译整理如下.
1900/1/1 0:00:00D5Exchange昨晚八点联合币安直播间准时开启了线上直播活动,直播活动受到了BinanceLive的首页推荐.
1900/1/1 0:00:003月1日,Stacks原生TokenSTX在大盘情绪不太乐观的情况下,逆势拉盘上涨突破1美元,24小时涨幅达到17.41%.
1900/1/1 0:00:00