隐私性和可扩展性研究团队都在填补零知识证明的前沿研究和以太坊应用开发之间的空白。
我们最近研究的一个重点领域是?zkopru(使用零知识证明的 optimistic rollup),这是一套为隐私交易节约 gas 的新协议。我们已经在四月份完成了一场信任起步设置,自那时开始,我们就一直在埋头苦干。我们已经到了实现网页版钱包和压力测试的最终阶段。第二次审计也已在进行中。在本文中,我们想对 Zkopru 的特点作概要的说明,顺便预告下 Zkopru 在未来几周里有关公开测试网和主网的计划。
本文预设了你已经大体了解以太坊、Layer2 和零知识证明的基础知识。
Zkopru 的名字来源于 zk(零知识证明)和 opru(optimistic rollup)。你可能听过零知识证明、zk rollup 和 optimisitc rollup。那到底什么是 zk-optimistic rollup?且听我仔细分解。
Kyber Network在zkSync Era上部署KyberSwap聚合器和流动性协议:6月21日消息,Kyber Network宣布,已在zkSync Era上部署KyberSwap聚合器和流动性协议,集成Mute、Switch、SyncSwap、Velocore等DEX。[2023/6/22 21:52:57]
零知识证明方案(比如 zkSnark)让验证者可以验证一个计算过程的正确性,且验证者无需自己重新执行这段计算、证明者也无需暴露计算的输入。因此,零知识证明可以用于实现可扩展性和隐私性。Zkopru 使用零知识证明来保证交易的隐私性。Zcash、AZTEK network?和?tornado.cash?都是在区块链上使用零知识证明来实现隐私性的例子。
Optimistic rollup 是一种 Layer-2 技术方案,其内部运行是平行于以太坊主链的。optimistic rollup 可以带来可扩展性上的提升,因为它们默认不在主链上执行任何计算。相反,用户在optimistic rollup 环境下发送交易后,它只会在主链上发布执行后的状态根以及这些交易的数据,这一切都不会造成主链状态的增长,因此可以减少 gas 开销。在使用以太坊时,修改状态是开销繁重的事情,所以,optimistic rollup 可以提供高达 10~100 倍的吞吐量提升(视乎交易的类型而定)。这篇文章介绍了 optimistic rollup 的更多细节。Rollup 的运行需要一种称为 “协调者” 的角色,需要他们来计算新状态并在以太坊区块链上发送数据。
ZK-EVM Kakarot完成pre-seed轮融资,Vitalik、StarkWare等参投:6月2日消息,zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资,StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。
Kakarot zkEVM 是 Cairo 实施的 EVM,利用 STARK 证明来证明交易和区块,确保透明度和安全性。据介绍,Kakarot zkEVM 发展分为三个阶段:1、作为 EVM 存在于 Starknet L2 上;2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM;3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]
Zkopru 是一个基于 UTXO 的 optimistic rollup 项目。还有另一种类型的 rollup 叫做 zk-rollup,它使用零知识证明来验证 rollup 状态更新计算(即交易执行)的正确性 —— 但 Zkopru 不是?zk-rollup。因为 zk-rollup 仅使用零知识证明作为生成计算有效性证明的方法,但 Zkopru 使用零知识证明来保证每一笔转账都是隐私的。
zkSync 生态永续合约协议Phezzan Protocol决定关闭,将在GitHub上开源代码:4月24日消息,zkSync 生态去中心化永续合约协议 Phezzan Protocol 发推称,经过多次讨论,团队决定关闭 Phezzan。Phezzan 推特账户将永远不会再更新,Phezzan Discord 将在 24 小时内关闭。此外,Phezzan 代码将在 GitHub 上开源。[2023/4/24 14:22:47]
这个概念在 gas 消耗量上具有很大的优势。在以太坊主链上直接执行一笔零知识的交易,必须使用一个对 SNARK 友好的哈希函数来构建一棵默克尔树,这都是非常昂贵的(gas 消耗量非常大)。使用 optimistic rollup,我们可以在链下更新这棵默克尔树,成本低得多。结果是,我们这套协议,单次隐私转账在主链上只需使用 8800 gas(哪怕一笔普通的以太坊 ETH 转账,都要消耗 21000 gas)。
zkSync域名服务平台zks.network将于4月18日向用户免费开放域名注册服务:据官方消息,zkSync生态域名服务zks.network(ZNS)已上线zkSyncEra主网,将于4月18日向用户免费开放域名注册服务,支持zkSync用户为其钱包地址注册.zks域名。
据悉,ZNS将首先开放4位及以上字符名称注册。ZNS为zkSync上域名和去中心化身份平台,用户可以使用.zks后缀的域名作为去中心化网站用户名并替代长字符串钱包地址,旨在简化交易和Dapp交互。
ZNS致力于搭建zkSync上Web3DID广泛应用系统,通过部署.zks,ZNS将在未来几个月内在zkSync上推出其Web3社交媒体工具套件和DID集成插件。[2023/4/18 14:10:10]
接下来,我们讲讲最重要的部分:Zkopru 面向用户的功能。用户可以通过一个网页端钱包跟这个系统交互,从充值、取款、转账到在 L2 上做币币互换,都可以。下面我们概要介绍下这几个功能的用户体验;更详尽的技术描述,请看我们的文档和?GitHub。
ZKSwap推进“Layer2 for all”的多链生态战略:近日,ZKSwap团队在BSC、HECO和OKChain的测试网上线了ZKSwap V1版本,并调试通过了所有核心功能。ZKSwap计划为更多的区块链基础设施提供基于零知识证明的Layer2扩展能力。
鉴于“高效—去中心化—安全性”的不可能三角难题,主流区块链基础设施在触达交易数量的门限值后,资源竞争的成本将传导至用户和应用提供者。为了各公链生态的应用繁荣,ZKSwap团队推进“Layer2 for all”的多链生态战略,致力于通过密码学、算法来实现去信任的公链扩容,降低用户和生态开发团队的费用成本。未来,ZKSwap将在更多领域推进Layer2扩展方案,成为安全、通用、开放的Layer2金融基础设施。
目前,ZKSwap团队已开放去中心化治理模块,与社区共享共创“Layer2 for all”的战略计划[2021/5/8 21:37:49]
充值:用户可以把 ETH、ERC-20 代币和 NFT 存入 L1(以太坊)上的 Zkopru 合约(可借助我们提供的用户接口)。在存入资金之后,用户就可以在 L2 上转移自己的资产,而这背后是一套基于 UTXO 的表示方法。
转账:存入资产后,资产还是关联着用户的账户,但隐私交易功能可以打破这种关联。在转账时,发送者需要接收方的 Zkopru 地址,这个不是以太坊地址哈,但用户可以在 Zkopru 钱包中使用同一把私钥生成一个相应的地址。钱包软件会生成一个零知识证明,证明转账前后系统的完整性,而无需把交易提交给 Zkopru 的协调者,也无需公开任何细节。
取款:用户希望从 L2(Zkopru)撤出资金到 L1(以太坊)的时候,可以直接使用钱包的取款功能。这个操作的交易细节就需要公开了,所以取款的地址和数量都不再是隐私的了。就像其它 optimistic rollup 方案一样,Zkopru 需要用户等待 7 天,取款才能完成。不想等待的用户可以使用即时取款机制。
即时取款:如果用户想要即时取款,他们可以出价请求另一个用户预付资金。预付资金者可以拿到手续费,但要承担交易被欺诈证明无效化的风险。
原子化互换:Zkopru 支持原子化互换。两名用户可以请求协调者协助两者资产的互换,如果协调者拒绝协助,他们就会被惩罚。这项服务会有专门的一个网站。现在很难高效而隐私地找到相互匹配的订单。我们正在开发一个支持隐私订单匹配的解决方案。
成本:
用户可以存取 ETH、ERC-20 代币和 NFT。而且也有可能做到在一笔交易中同时存入 ETH、ERC-20 代币和 NFT。下图所示的 USD 价值基于 gas price 为 25 gwei 和 ETH 的价格为 2500 美元的假设。
对于 rollup 内的隐私转账,协调者会根据相关交易在 L1(以太坊)上发生的成本收取一定的手续费。批量的交易会更便宜,而且要看 UTXO 的数量:
除了上面列出的成本,协调者还需要为每批交易支付一笔一次性费用 17 1954 Gas。
大约两周后,Zkopru 合约将部署在测试网上,钱包 UI 也会放出,我们也会放出更多文档来讲解用户如何上手。如果测试网上没有出现大的问题,那么再过约两周,我们会放出主网合约。预计第二次审计也会在这个时间出结果。
经过多年的努力,Zkopru 将很快进入生产环境,为以太坊提供便宜、隐私的交易。如果你想在测试网上使用 Zkopru,请关注我们的下一篇博客。你也可以在我们的?github、网站和博客了解更多。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。