ZeroSync 在比特币$BTC 上提出ZK 证明

币圈吴彦祖 • 2023年4月3日 pm2:25 • 币圈新闻 • 阅读 27

十多年前，零知识证明(ZKP) 的概念首次被引入比特币世界，甚至引起了中本聪的兴趣。长期以来，这些加密货币证明一直被认为是区块链的潜在游戏规则改变者，允许用户在不透露任何额外信息的情况下证明声明的有效性。比特币领域的教育家Shinobi 提出了一项新提案，试图引入ZeroSync，这是一种基于比特币区块链的零知识证明（zk 和/或ZKPs）堆栈的隐私实现。ZeroSync项目旨在创建ZKP 与比特币的集成，开启和探索这一突破性发展的潜在好处和影响。ZeroSync 的项目ZeroSync项目专注于将ZKP 引入比特币，但不是传统意义上的。 ZeroSync 不是使用ZKP 来锁定或花费硬币，而是应用它们来帮助全节点实现更快的初始同步。该项目正在构建三个不同的证明，以提供对历史区块链的完整验证，而无需用户下载和处理它。也许值得注意的是，此过程不需要对比特币协议进行任何共识更改。根据Shinobi 的说法，在比特币的原始区块链上实施ZKP 有四个主要组成部分。我们在这里列出它们以供参考。块头证明现在应该已经发布的第一个证明涵盖了区块头的有效性。它确保链中的每个区块都满足难度要求并跟踪每个难度变化。该证明不仅有利于全节点，而且显着改进了简化支付验证（SPV）钱包架构。阻止内容验证该证明侧重于验证块的实际内容，儘管没有证明见证数据的有效性。通过合併UTXO（未花费的交易输出），该证明允许用户仅使用设置在该区块高度的UTXO 和一个小证明来同步到比特币核心的默认假设有效高度。这与直接下载和验证完整块具有相同的信任模型。聚合见证数据验证最终证明的目的是将ZKP 用于块头，并在ZKP 之上构建用于假设有效。这将包括证明历史链中每条见证数据的有效性。使用最终ZeroSync 证明系统的节点将能够使用单一证明和UTXO 集进行引导，默认情况下提供比比特币核心更强大的验证模型。主要挑战在于优化此证明的构造，因为它在计算上很昂贵。ZeroSync 的核心主张在于它有可能显着降低比特币的计算成本，这通常与引导完全验证的比特币客户端相关联（或相互关联）。迄今为止，BTC区块链的规模和处理它所需的硬件对许多用户构成了巨大的进入障碍。 ZeroSync 可以将UTXO 集的这些成本降低到几千兆字节，并且ZKP 证明足够小以适合最小的硬件。有趣的是，Shinobi 分享说ZeroSync 是使用Starkware 开发的Cairo 语言构建的，Starkware 是一家专注于为以太坊生态系统开发ZKP 的公司。项目之间的这种合作可能代表了山寨币生态系统的发展第一次使比特币受益，儘管这种好处是间接的。ZKP 对比特币的未来有着巨大的希望，即使没有将它们直接纳入共识层。如果ZeroSync项目实现了其路线图目标并成功创建了一个快速同步客户端，它可以为比特币生态系统中的其他ZKP 部署铺平道路。潜在的应用是巨大的，对区块链技术的影响可以说是革命性的。免责声明：本文仅供参考。它不提供或旨在用作法律、税务、投资、财务或其他建议。资讯来源：由0x资讯编译自CRYPTODAILY。版权归作者所有，未经许可，不得转载

原创文章，作者：币圈吴彦祖，如若转载，请注明出处：https://www.kaixuan.pro/news/463044/

ZeroSync 在比特币$BTC 上提出ZK 证明

相关推荐