隐私性和可扩展性研究团队都在填补零知识证明的前沿研究和以太坊应用开发之间的空白。
我们最近研究的一个重点领域是?zkopru，这是一套为隐私交易节约gas的新协议。我们已经在四月份完成了一场信任起步设置，自那时开始，我们就一直在埋头苦干。我们已经到了实现网页版钱包和压力测试的最终阶段。第二次审计也已在进行中。在本文中，我们想对Zkopru的特点作概要的说明，顺便预告下Zkopru在未来几周里有关公开测试网和主网的计划。
本文预设了你已经大体了解以太坊、Layer2和零知识证明的基础知识。
什么是Zkopru？
ApeCoin DAO发起新提案AIP-259拟建立一个新的指导委员会:金色财经报道， ApeCoin DAO已发起了一项新提案AIP-259拟建立一个新的指导委员会，以在ApeCoin DAO内部建立明确决策流出，优先考虑并在特定市场开展营销推广行动，继而最大限度发挥ApeCoin DAO的影响力，该指导委员会将负责DAO营销，并在外部咨询公司的帮助下或社区成员的帮助下开展研究，如果运行顺利则会与2024 年第一季度向ApeCoin DAO提出最终营销AIP。根据Snapshot信息显示，该提案将于7月6日结束投票，当前赞成票率高达99.98%。[2023/7/1 22:11:58]
Zkopru的名字来源于zk和opru。你可能听过零知识证明、zkrollup和optimisitcrollup。那到底什么是zk-optimisticrollup？且听我仔细分解。
什么是零知识证明？
零知识证明方案让验证者可以验证一个计算过程的正确性，且验证者无需自己重新执行这段计算、证明者也无需暴露计算的输入。因此，零知识证明可以用于实现可扩展性和隐私性。Zkopru使用零知识证明来保证交易的隐私性。Zcash、AZTEKnetwork?和?tornado.cash?都是在区块链上使用零知识证明来实现隐私性的例子。
MUFG宣布Progmat Coin将很快被用于推出与日元挂钩的稳定币:金色财经报道， Megabank Mitsubishi UFJ Financial Group (MUFG) 宣布其稳定币发行平台Progmat Coin将很快被日本银行用于在多个公共区块链上推出与日元挂钩的稳定币，在6月2日的公告中，MUFG概述了Progmat Coin将用于促进在以太坊、Polygon、Avalanche 和 Cosmos 上发行银行支持的稳定币，未来将添加更多网络。
MUFG 还透露，其区块链技术和安全合作伙伴TOKI和Datachain正在搭建一座桥梁，以在支持的区块链列表之间实现跨链交易、借贷和互换。该银行预计跨链基础设施将于2022年第二季度启动。[2023/6/3 11:56:09]
什么是optimisticrollup？
Optimisticrollup是一种Layer-2技术方案，其内部运行是平行于以太坊主链的。optimisticrollup可以带来可扩展性上的提升，因为它们默认不在主链上执行任何计算。相反，用户在optimisticrollup环境下发送交易后，它只会在主链上发布执行后的状态根以及这些交易的数据，这一切都不会造成主链状态的增长，因此可以减少gas开销。在使用以太坊时，修改状态是开销繁重的事情，所以，optimisticrollup可以提供高达10~100倍的吞吐量提升。这篇文章介绍了optimisticrollup的更多细节。Rollup的运行需要一种称为“协调者”的角色，需要他们来计算新状态并在以太坊区块链上发送数据。
Source Hut终止所有加密项目权限:金色财经报道，开源存储库Source Hut表示它不会允许更多的项目深入到数字货币或区块链领域。这些资产及其背后的技术经常被用于欺诈手段，如果非法行为者决定使用其服务，该平台不希望其软件、名称或声誉受到损害。该决定由创始人兼创作者 Drew DeVault 做出。在一次采访中，他评论说，数字货币经常出现在“快速致富”计划中，他认为这同样会拖累金融和科技行业。他说，在经济动荡时期，数字货币被用来利用受教育程度低的人，他们最终被说服投资于对他们没有很好服务的项目和资产。[2022/12/12 21:38:11]
什么是zk+opru
Zkopru是一个基于UTXO的optimisticrollup项目。还有另一种类型的rollup叫做zk-rollup，它使用零知识证明来验证rollup状态更新计算的正确性——但Zkopru不是?zk-rollup。因为zk-rollup仅使用零知识证明作为生成计算有效性证明的方法，但Zkopru使用零知识证明来保证每一笔转账都是隐私的。
BitMEX创始人：考虑到美联储的货币政策，以太坊合并的预期价格为2,815美元:8月5日消息，BitMEX创始人Arthur Hayes在最新博文中分析了美联储接下来的货币政策与以太坊合并对以太坊未来价格的可能影响。Arthur认为，剧烈下行的经济数据可能会使得美联储的加息计划承受压力，是时宽松利率将重新成为政策选项。
其随后提出，根据“加息是否会结束”和“以太坊2.0合并是否会成功”两个因素所组成的四种情况，进行每种情况25%的加权计算，可以得出以太坊合并后的预期价格为2,815美元。[2022/8/5 12:03:49]
这个概念在gas消耗量上具有很大的优势。在以太坊主链上直接执行一笔零知识的交易，必须使用一个对SNARK友好的哈希函数来构建一棵默克尔树，这都是非常昂贵的。使用optimisticrollup，我们可以在链下更新这棵默克尔树，成本低得多。结果是，我们这套协议，单次隐私转账在主链上只需使用8800gas。
为什么我需要Zkopru呢？
广州天河成立超200亿元基金，布局元宇宙创新生态:金色财经报道，5月20日，在广州市天河区元宇宙创新生态大会上，15个元宇宙应用场景建设项目集中签约，涵盖元宇宙实验室、元宇宙+智慧城市、元宇宙线下娱乐空间等；天河区元宇宙联合投资基金正式发布，首批参与的8家投资机构在管基金总规模逾200亿元；首批天河区十大“元宇宙试点园区”正式授牌。
广州市政协副主席、广州市科学技术局局长王桂林表示，天河区举办本次元宇宙创新生态大会，联动社会资本、产业园区和重点企业，深入挖掘应用场景，为元宇宙发展提供了良好的创新生态。[2022/5/23 3:35:13]
接下来，我们讲讲最重要的部分：Zkopru面向用户的功能。用户可以通过一个网页端钱包跟这个系统交互，从充值、取款、转账到在L2上做币币互换，都可以。下面我们概要介绍下这几个功能的用户体验；更详尽的技术描述，请看我们的文档和?GitHub。
充值：用户可以把ETH、ERC-20代币和NFT存入L1上的Zkopru合约。在存入资金之后，用户就可以在L2上转移自己的资产，而这背后是一套基于UTXO的表示方法。
转账：存入资产后，资产还是关联着用户的账户，但隐私交易功能可以打破这种关联。在转账时，发送者需要接收方的Zkopru地址，这个不是以太坊地址哈，但用户可以在Zkopru钱包中使用同一把私钥生成一个相应的地址。钱包软件会生成一个零知识证明，证明转账前后系统的完整性，而无需把交易提交给Zkopru的协调者，也无需公开任何细节。
取款：用户希望从L2撤出资金到L1的时候，可以直接使用钱包的取款功能。这个操作的交易细节就需要公开了，所以取款的地址和数量都不再是隐私的了。就像其它optimisticrollup方案一样，Zkopru需要用户等待7天，取款才能完成。不想等待的用户可以使用即时取款机制。
即时取款：如果用户想要即时取款，他们可以出价请求另一个用户预付资金。预付资金者可以拿到手续费，但要承担交易被欺诈证明无效化的风险。
原子化互换：Zkopru支持原子化互换。两名用户可以请求协调者协助两者资产的互换，如果协调者拒绝协助，他们就会被惩罚。这项服务会有专门的一个网站。现在很难高效而隐私地找到相互匹配的订单。我们正在开发一个支持隐私订单匹配的解决方案。
成本：
用户可以存取ETH、ERC-20代币和NFT。而且也有可能做到在一笔交易中同时存入ETH、ERC-20代币和NFT。下图所示的USD价值基于gasprice为25gwei和ETH的价格为2500美元的假设。
对于rollup内的隐私转账，协调者会根据相关交易在L1上发生的成本收取一定的手续费。批量的交易会更便宜，而且要看UTXO的数量：
除了上面列出的成本，协调者还需要为每批交易支付一笔一次性费用171954Gas。
那什么时候能用上呢？
大约两周后，Zkopru合约将部署在测试网上，钱包UI也会放出，我们也会放出更多文档来讲解用户如何上手。如果测试网上没有出现大的问题，那么再过约两周，我们会放出主网合约。预计第二次审计也会在这个时间出结果。
结论
经过多年的努力，Zkopru将很快进入生产环境，为以太坊提供便宜、隐私的交易。如果你想在测试网上使用Zkopru，请关注我们的下一篇博客。你也可以在我们的?github、网站和博客了解更多。
原文链接:
https://medium.com/privacy-scaling-explorations/zkopru-wat-y-wen-f5026903cf39
作者:Privacy&ScalingExplorations
翻译:?阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。