现实生活中手机转账数目，卡上余额，通话数据甚至对象信息我们都会小心翼翼的注意数据信息的安全和不对外公开，这是个人隐私也是其对应的数字资产，隐私的相关保护也慢慢成为了大众共识，也受到了法律保护-隐私权。区块链的可溯源的特性一方面让交易信息和数据来源得到了确权，是数字资产所有权上链的可靠性技术，让很多传统纠纷和冤假错案得到全新的数字解决方案，但是另一方面信息完全暴露于公链上，没有任何的安全措施却又让很多不法黑客得到充足的便利，数字资产就像裸奔在高速路上，高价值和独有性资产随时可能成为黑客的下一个目标。在公链上的交易如何保障其一定的隐私性？想让交易促成，但是又不想让别人轻易追溯个人链上地址的资产信息，比如：A向B出售某个NFT，B要先向A的地址打款，A确认后转移NFT到B的地址，这其中就会产生信息不信任的问题，A需公布钱包地址内的资产让B知道这其中有他想要的NFT，但是A的资产信息就暴露在B的视野下，如果此时B有不良意图或是黑客，那A就将降入欺诈陷井的可能中。密码学分支的零知识技术在解决隐私和不信任问题上得到了新的解决方案。什么是零知识证明（ZKP)
英国新成立技术部将推进元宇宙和Web3战略:金色财经报道，一位未获授权公开发言的知情人士表示，英国新成立的科学、创新和技术部将推进该国的元宇宙和Web3战略。该国2023年春季预算于3月发布，称政府希望引领网络技术的未来，有时被称为Web3或元宇宙。2月成立的新技术部门将领导这项工作。
消息人士称，该部门的工作不会专注于区块链和虚拟现实等特定技术，而是着眼于与Metaverse元宇宙和Web3等概念相关的潜在经济增长机会、投资和商业模式，以及对监管的影响。目前尚不清楚将有多少资金用于技术部门及其元宇宙工作。[2023/4/14 14:04:46]
零知识证明就是既能充分证明自己是某种权益的合法拥有者，又不把有关的信息泄露出去.零知识证明可以验证某一数据集的有效性，并同时保护数据隐私.零知识证明(Zero—KnowledgeProof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明，零知识证明在密码学中非常有用。简单例子
万向区块链实验室、HashKey Group、W3ME 联合举办“Hong Kong Web3 Festival 2023”:1月18日消息，万向区块链实验室、HashKey Group、W3ME将联合举办HongKong Web3 Festival 2023，首届嘉年华于4月12日-15日在香港会议展览中心举办。此次活动持续四天，包括5个会场，场地面积近9000平方米，预计将吸引超过1万名现场观众，超过300位极具全球影响力的演讲嘉宾，以及超过百家热门Web 3项目、社区及媒体现场参展。
Web3 Festival将围绕Web 3各个赛道的核心议题，邀请全球知名的Web 3项目负责人和资深从业者分享Web3前沿技术方案；也将邀请知名投资机构参与其中，更有监管机构代表深度解析监管政策，明晰发展边界。同时，秉承Web3开放合作精神，主办方还将招募合作伙伴，共建活动内容，共谋发展。[2023/1/18 11:18:26]
A要向B证明自己是这个房间的主人，假设该房间只能用唯一的钥匙打开锁，而其他任何方法都打不开。这时有2个方法：A把钥匙出示给B，B用这把钥匙打开该房间的锁，从而证明A拥有该房间的正确的钥匙。B确定该房间内有某一物体，A用自己拥有的钥匙打开该房间的门，然后把物体拿出来出示给B，从而证明自己确实拥有该房间的钥匙。后面的方法属于零知识证明。它的好处在于，在整个证明的过程中，B始终不能看到钥匙的样子，从而避免了钥匙的泄露。零知识证明的两个方式
游戏公司JetSynthesys收购Web3产品工作室Metaphy Labs:9月29日消息，游戏公司JetSynthesys Pvt Ltd宣布收购Web3产品工作室Metaphy Labs，这是该公司在元宇宙领域里的首笔收购交易，但具体收购金额暂未透露。据悉，JetSynthesys主要利用人工智能、机器学习、区块链和AR/VR技术布局游戏、数字娱乐和社交社区三大领域，其创始人兼首席执行官Rajan Navani透露，他们将预留5000万美元在未来三年投资元宇宙市场，包括进行一系列投资和收购交易。Metaphy Labs主要帮助品牌商在 Web3 领域里创建自己的元宇宙业务。[2022/9/29 6:02:34]
SNARK
SNARK的全称是「zero-knowledgesuccinctnon-interactiveargumentonknowledge」。这是一种加密证明，文件很小而且很容易验证。它利用椭圆曲线生成一个加密证明，该椭圆曲线假设无法从一个公开的基点找到随机椭圆曲线元素的离散对数。椭圆曲线的计算成本低于STARK的哈希函数，因此SNARK协议的gas成本更低。STARK
调查：52%的游戏玩家熟悉Web3 游戏术语:金色财经报道，Coda Labs的调查数据显示，游戏玩家（他们将其定义为每月至少玩两次视频游戏的人）非常了解加密和游戏——其中89%了解比特币，51%了解 NFT——但对资产类别有很大的负面情绪。只有 52% 的游戏玩家熟悉任何类型的 Web3 游戏术语，而只有 12% 的游戏玩家尝试过玩加密游戏。调查还指出，在新兴市场，人们对加密货币的看法普遍较高，与美国人、英国人或日本人相比，南非人和巴西人对该资产类别的印象要好得多。（coindesk）[2022/10/6 18:40:31]
STARK全称是「zero-knowledgescalabletransparentargumentofknowledge」。这种加密证明几乎不需要证明者和验证者之间产生任何交互。STARKs相比SNARKs的最大优势在于证明时间更短，而且更容易扩展。另外，由于STARKs采用哈希函数，因此也可以抗量子攻击。它们各自有不同的优缺点。这里说一下这两种ZK证明之间的主要区别：证明大小：STARK比SNARK大，这也意味着它们在以太坊上验证的成本更高，因为更大的证明=更多的计算=更高的gas费。可扩展性：通常认为STARK比SNARK更有效，具体取决于实现情况。证明和验证STARK的复杂度规模相对于被证明的计算复杂度呈拟线性增长，而SNARK的复杂度呈线性增长。这意味着在证明更大的计算量时，STARKs比SNARKs具有更大的优势。生态系统和项目：使用SNARK的项目比使用STARK的项目多得多，因为SNARK的存在时间更长。递归：SNARK支持递归——您可以创建一个父SNARK来证明多个子SNARK——这是许多扩展解决方案使用的主要功能。STARK不支持递归。量子安全：SNARK使用椭圆曲线密码术，这不是量子安全的。量子计算的进步可能会使基于SNARK的系统容易受到攻击。STARK不易受到攻击，因为它们的加密方案依赖散列函数。可信设置：如前所述，SNARK在创建CRS期间需要可信设置。STARK通过利用可公开验证的随机性来生成证明者和验证者共享的参数，从而避免了这个不便的问题。零知识证明的区块链项目
Fire blocks推出Web3开发者工具，还将提供NFT托管服务:5月17日消息，加密货币托管机构Fire blocks推出新的Web3平台，为开发者提供了一套工具来构建DeFi、GameFi和NFT产品和服务。之后，Fire blocks还将提供NFT托管服务，并启动一个代币化引擎，用于管理白名单、铸造、销毁和代币转移的整个周期。（TheBlock）[2022/5/17 3:22:46]
采用zk-STARK的项目
StarkEx：StarkEx是以太坊上的Layer2扩容方案，采用STARK证明来验证自托管的交易，并在上面开发交易和支付应用。基于StarkEx的项目包括DeversiFi、Sorare和dYdX，目前已完成了几亿笔交易并实现了几千亿美元的交易额。然而，StarkEx无法支持智能合约功能，因此无法实现功能完备的dApp。StarkNet：StarkNet是一个通用平台，开发者可以使用StarkNet在以太坊的zk-rollup上部署智能合约。以太坊主流的dAppAave和Maker都计划在StarkNet上发布。值得注意的是，StarkEx的zk-rollup也可以在StarkNet上发布，以提高应用的可扩展性。为了充分利用STARK在计算和可扩展性方面的优势，StarkWare开发了Cairo语言，这是一种高效且图灵完备的编程语言，专门用于创建STARK证明。这意味着StarkWare需要开发文档、框架和其他工具来激活其开发者生态。ImmutableX：ImmutableX是一个NFT平台，用于铸造和交易NFT和通证。该平台使用StarkEx打造专属的zk-rollup。ImmutableX平台上NFT铸造和交易量达到数百万，而且即使在以太坊网络拥堵期间也可以保持较低的成本。ImmutableX也将在StarkNet上发布。有效性证明不会直接发布到以太坊上，而是先发布到StarkNet上，然后再通过StarkNet的rollup发布到以太坊上。ImmutableX可以利用StarkEx在StarkNet上发布应用链，为项目提供layer3扩容方案。采用zk-SNARK的项目
Zcash：Zcash前身是ZeroCash。名字中的“zero”指使用零知识证明技术来实现隐私交易。Zerocash是早期出现的加密项目之一，推动了零知识证明技术在行业中的应用。Loopring：Loopring是以太坊上的DEX，支持订单簿交易，并且不托管用户资产。Loopring接入了ChainlinkPriceFeeds，服务几十万用户，交易量高达数十亿。zkSync1.0：zkSync1.0是以太坊上的rollup。它与StarkEx一样，都支持通证转账和兑换，但不支持智能合约。该协议由MatterLabs开发。zkSync2.0：zkSync2.0与StarkNet一样，也是以太坊的Layer2扩容方案。采用了volition基础架构，可以支持智能合约。zkSync采用zk-SNARK来验证交易，并采用PoS系统zkPorter来保障数据可用性。zkSync2.0和StarkNet的主要区别除了有效性证明之外，还有前者可以兼容EVM。1inch、Alchemix和Curve都计划在zkSync2.0上发布。ZigZag：ZigZag是一个去中心化交易平台，采用订单簿模式交易ERC-20通证。相比之下，大多数DEX采用的都是自动做市商模式。ZigZag的订单簿模式得益于zk-rollup强大的可扩展性。zkSync注册表中的任何通证都可以在ZigZag中交易。该协议目前在zkSync1.0上运行，但计划在zkSync2.0和StarkNet上发布。Mina：Mina是轻量级区块链，采用SNARKs创建容量最大为22kb的区块。项目可以在Mina上开发部署应用，并可以实现全部智能合约功能。零知识证明的基建作用
Web3的交易产生的信任问题有许多新的解决方案，但随着区块链技术和共识形态的发展，零知识证明也逐渐成为基建力量的一分子，目前零知识证明有两个主要用途：隐私：在区块链上进行活动时尽量减少公开的数据量可扩展性：允许在链下执行密集计算，使成本更低，然后创建一个简洁的证明，表明计算是被诚实执行的，可以在链上发布。尤其在扩展性的优势和价格上能更进一步提升许多DAPP的性能，比如：精准的市场数据可验证的随机数智能合约自动化储备金证明跨链通信总结
隐私的需求和扩展性的优势让更多的区块链项目在推广和开发上得到提升，零知识证明的技术和服务对象也在不停地发展，推动着区块链行业的整体水平，让有需求的用户和想转型的传统行业进入到Web3中，扫除信任成本和交易障碍，实现Web3的各项生态欣欣向荣。文章来源
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。