关键点：
- ZeroSync 已经创建了一个功能原型，使用户能够验证比特币区块链的当前状态和交易历史，而无需下载完整的链或依赖第三方。
- 虽然原型可以验证比特币共识规则，但它无法验证交易签名。
- ZeroSync 将中本聪的建议更进一步，使用加密证据来确认交易，而不仅仅是信任诚实的节点。
零知识证明（ZKP）在加密社区中已经争论了十多年。甚至中本聪也意识到它们是一种可能被利用的原语，早在 2010 年，当它们仍在发挥作用时，就探索了将它们纳入比特币的概念。
如果比特币实施零知识证明会发生什么？如果可以在不下载区块数据或依赖第三方的情况下快速检查链的状态，那么比特币网络将如何与用户通信？
ZeroSync 是一项新宣布的举措，正在领导比特币概念验证系统的创建。
瑞士非营利组织 ZeroSync 协会和比特币基础设施公司 Blockstream 宣布计划从 Blockstream 的卫星广播比特币零知识证明（一种已成为今年最热门区块链技术趋势之一的密码学），协助开发具有隐私性、互操作性和可扩展性等特性的比特币未来。
什么是零同步？
三位德国计算机科学家在瑞士成立了 ZeroSync 协会，通过使用零知识证明（zk-proofs）来帮助扩大比特币的规模，这是一种有利于竞争对手链以太坊的加密方法。
密码学用于零知识证明，以在不暴露信息本身的情况下显示信息的有效性。利用 zk-proof 来验证比特币区块链允许节点立即同步，而不需要花费数小时（甚至数天）来下载该链当前的 500GB 数据。
ZeroSync 在今年 2 月构建了一个功能原型，使用户能够验证比特币区块链的状态（现在谁拥有什么）和交易历史记录，而无需下载完整的链或依赖第三方。
该原型能够验证比特币共识规则，但不能验证交易签名。它也有点尴尬，必须针对速度和安全性进行调整，因此它还没有完全准备好迎接黄金时段，但关键是它可以工作。
Geometry 和 StarkWare 这两家密切致力于零知识隐私技术的公司正在资助 ZeroSync 的开发。 Tom Walton-Pocock 是 Aztec Network 的前首席执行官，也是 Geometry 的负责人。 ZeroSync 的早期开发是由一项研究资助资助的。 StarkWare 的开源项目 OnlyDust 也为开发提供开发资金。
在比特币区块链中，轻客户端，也称为简单支付验证（SPV）节点，一直存在。事实上，中本聪在他最初的白皮书中描述了这个概念。这些对于无法下载完整区块链的小型设备（例如手机）至关重要。
ZeroSync 的证明系统
简洁的零知识证明有望开创区块链可扩展性和隐私的新时代。尽管以太坊社区正在投入大量技术努力来部署这项技术，但比特币网络尚未进行此类投资。因此，ZeroSync 的成立就是为了首次将这些证明机制引入比特币。
证明数百 TB 的区块链历史在计算上成本高昂，但我们的减少导致了高度紧凑的证明。创建证明后，网络中任意数量的节点都可以利用它来快速与网络同步。无论链的长度如何，证明都是简洁的。当新区块被开采时，每个证明者都可以逐步扩展之前的链证明。
ZeroSync致力于在比特币区块链上实现简洁的ZK证明，利用StarkWare专有的零知识可扩展透明知识证明（zk-STARK）有效性证明为比特币网络生成ZK证明，并能够即时验证区块链的最新状态无需下载区块数据或依赖第三方。 ZeroSync 还使用 StarkWare 的 Cairo 语言来构建比特币证明。
证明系统有效地补充了比特币的不变性。它们使链能够被压缩并补充新的数据结构，例如 UTXO 集承诺，而不需要任何共识修改。用户可以选择使用证明还是传统的引导。在比特币严格的基础层之上，ZKP 系统提供了显着的灵活性，并提供了各种独特的研究应用。
ZeroSync 在比特币上是如何实现的？
ZeroSync提供了三个阶段的链证明：头链证明、理论上有效的链证明和全链证明，其中前两个阶段ZeroSync已经完成了原型。
ZeroSync 团队正在研究的第一个证据（现在应该可用）解决了块头有效性问题。它验证链中的每个块是否正确满足当前的难度标准，并监控每个难度调整以确保每个块都匹配正确的目标。这也将显着影响简单支付验证（SPV）钱包架构。
头链证明仅检查区块头、工作量证明和难度变化，并在所有区块头上添加 Merkle 树，为所有区块和交易提供简洁的包含证明。它的特点是重量轻、计算成本低。
第二个证明侧重于区块内容的实际有效性，然而，像Bitcoin Core的Assume Valid功能一样，它并不验证见证数据的有效性。
它将检查和验证交易规模限制、货币通胀规则和其他见证数据，但不会保证签名、哈希锁和其他见证数据的正确性。相反，该证明将使用 Utreexo 将每个区块高度建立的 UTXO 纳入到链的整体 ZKP 过程中。
最后，最终的证明将同时使用区块头的 ZKP 和 Assume Valid 的 ZKP 来证明历史链中每条见证数据的有效性。从技术上讲，默认情况下，采用最终 ZeroSync 证明系统的节点将能够使用单一证明和 UTXO 集进行引导，并具有比 Bitcoin Core 更好的验证模型。
所有比特币共识规则，包括签名信息，均通过全链证明进行验证。因此，证据将相当昂贵。
此外，ZeroSync还将发布开发者工具包，帮助开发者将零知识证明融入到他们的业务或服务中。具体应用场景包括但不限于比特币交易所向客户公开支付能力，但不公开具体余额或交易历史信息；证明可以转换或过滤区块链数据并创建索引以进行高效查询；由于其可组合性，证明可以更容易地扩展和定制；没有或不太信任跨链互操作性等等；通过零知识或有付款出售证明数据。
总而言之，ZeroSync 不仅可以快速验证链的状态，而且理想情况下，还将带来比特币可扩展性、互操作性和隐私性的范式变化。当然，为了开发生产级的比特币证明，在安全性改进和证明性能方面仍然存在障碍。
结论
ZeroSync 加速了将 ZKP 技术集成到比特币主层的进程。在比特币中，证明验证器提供了许多重要的新功能，例如有效性汇总、无需信任的双向挂钩和完整的交易隐私。 ZKP 有潜力成为比特币的一个非常强大的工具，即使它们不包含在共识层中或用于锁定和花费比特币。
免责声明： 本网站上的信息作为一般市场评论提供，不构成投资建议。 我们鼓励您在投资前进行自己的研究。
加入我们以跟踪新闻： https://linktr.ee/coincu
哈罗德
钱库 新闻
作者
知识库
ZeroSync 如何帮助将 ZKP 技术引入比特币网络？
关键点：
- ZeroSync 已经创建了一个功能原型，使用户能够验证比特币区块链的当前状态和交易历史，而无需下载完整的链或依赖第三方。
- 虽然原型可以验证比特币共识规则，但它无法验证交易签名。
- ZeroSync 将中本聪的建议更进一步，使用加密证据来确认交易，而不仅仅是信任诚实的节点。
零知识证明（ZKP）在加密社区中已经争论了十多年。甚至中本聪也意识到它们是一种可能被利用的原语，早在 2010 年，当它们仍在发挥作用时，就探索了将它们纳入比特币的概念。
如果比特币实施零知识证明会发生什么？如果可以在不下载区块数据或依赖第三方的情况下快速检查链的状态，那么比特币网络将如何与用户通信？
ZeroSync 是一项新宣布的举措，正在领导比特币概念验证系统的创建。
瑞士非营利组织 ZeroSync 协会和比特币基础设施公司 Blockstream 宣布计划从 Blockstream 的卫星广播比特币零知识证明（一种已成为今年最热门区块链技术趋势之一的密码学），协助开发具有隐私性、互操作性和可扩展性等特性的比特币未来。
什么是零同步？
三位德国计算机科学家在瑞士成立了 ZeroSync 协会，通过使用零知识证明（zk-proofs）来帮助扩大比特币的规模，这是一种有利于竞争对手链以太坊的加密方法。
密码学用于零知识证明，以在不暴露信息本身的情况下显示信息的有效性。利用 zk-proof 来验证比特币区块链允许节点立即同步，而不需要花费数小时（甚至数天）来下载该链当前的 500GB 数据。
ZeroSync 在今年 2 月构建了一个功能原型，使用户能够验证比特币区块链的状态（现在谁拥有什么）和交易历史记录，而无需下载完整的链或依赖第三方。
该原型能够验证比特币共识规则，但不能验证交易签名。它也有点尴尬，必须针对速度和安全性进行调整，因此它还没有完全准备好迎接黄金时段，但关键是它可以工作。
Geometry 和 StarkWare 这两家密切致力于零知识隐私技术的公司正在资助 ZeroSync 的开发。 Tom Walton-Pocock 是 Aztec Network 的前首席执行官，也是 Geometry 的负责人。 ZeroSync 的早期开发是由一项研究资助资助的。 StarkWare 的开源项目 OnlyDust 也为开发提供开发资金。
在比特币区块链中，轻客户端，也称为简单支付验证（SPV）节点，一直存在。事实上，中本聪在他最初的白皮书中描述了这个概念。这些对于无法下载完整区块链的小型设备（例如手机）至关重要。
ZeroSync 的证明系统
简洁的零知识证明有望开创区块链可扩展性和隐私的新时代。尽管以太坊社区正在投入大量技术努力来部署这项技术，但比特币网络尚未进行此类投资。因此，ZeroSync 的成立就是为了首次将这些证明机制引入比特币。
证明数百 TB 的区块链历史在计算上成本高昂，但我们的减少导致了高度紧凑的证明。创建证明后，网络中任意数量的节点都可以利用它来快速与网络同步。无论链的长度如何，证明都是简洁的。当新区块被开采时，每个证明者都可以逐步扩展之前的链证明。
ZeroSync致力于在比特币区块链上实现简洁的ZK证明，利用StarkWare专有的零知识可扩展透明知识证明（zk-STARK）有效性证明为比特币网络生成ZK证明，并能够即时验证区块链的最新状态无需下载区块数据或依赖第三方。 ZeroSync 还使用 StarkWare 的 Cairo 语言来构建比特币证明。
证明系统有效地补充了比特币的不变性。它们使链能够被压缩并补充新的数据结构，例如 UTXO 集承诺，而不需要任何共识修改。用户可以选择使用证明还是传统的引导。在比特币严格的基础层之上，ZKP 系统提供了显着的灵活性，并提供了各种独特的研究应用。
ZeroSync 在比特币上是如何实现的？
ZeroSync提供了三个阶段的链证明：头链证明、理论上有效的链证明和全链证明，其中前两个阶段ZeroSync已经完成了原型。
ZeroSync 团队正在研究的第一个证据（现在应该可用）解决了块头有效性问题。它验证链中的每个块是否正确满足当前的难度标准，并监控每个难度调整以确保每个块都匹配正确的目标。这也将显着影响简单支付验证（SPV）钱包架构。
头链证明仅检查区块头、工作量证明和难度变化，并在所有区块头上添加 Merkle 树，为所有区块和交易提供简洁的包含证明。它的特点是重量轻、计算成本低。
第二个证明侧重于区块内容的实际有效性，然而，像Bitcoin Core的Assume Valid功能一样，它并不验证见证数据的有效性。
它将检查和验证交易规模限制、货币通胀规则和其他见证数据，但不会保证签名、哈希锁和其他见证数据的正确性。相反，该证明将使用 Utreexo 将每个区块高度建立的 UTXO 纳入到链的整体 ZKP 过程中。
最后，最终的证明将同时使用区块头的 ZKP 和 Assume Valid 的 ZKP 来证明历史链中每条见证数据的有效性。从技术上讲，默认情况下，采用最终 ZeroSync 证明系统的节点将能够使用单一证明和 UTXO 集进行引导，并具有比 Bitcoin Core 更好的验证模型。
所有比特币共识规则，包括签名信息，均通过全链证明进行验证。因此，证据将相当昂贵。
此外，ZeroSync还将发布开发者工具包，帮助开发者将零知识证明融入到他们的业务或服务中。具体应用场景包括但不限于比特币交易所向客户公开支付能力，但不公开具体余额或交易历史信息；证明可以转换或过滤区块链数据并创建索引以进行高效查询；由于其可组合性，证明可以更容易地扩展和定制；没有或不太信任跨链互操作性等等；通过零知识或有付款出售证明数据。
总而言之，ZeroSync 不仅可以快速验证链的状态，而且理想情况下，还将带来比特币可扩展性、互操作性和隐私性的范式变化。当然，为了开发生产级的比特币证明，在安全性改进和证明性能方面仍然存在障碍。
结论
ZeroSync 加速了将 ZKP 技术集成到比特币主层的进程。在比特币中，证明验证器提供了许多重要的新功能，例如有效性汇总、无需信任的双向挂钩和完整的交易隐私。 ZKP 有潜力成为比特币的一个非常强大的工具，即使它们不包含在共识层中或用于锁定和花费比特币。
免责声明： 本网站上的信息作为一般市场评论提供，不构成投资建议。 我们鼓励您在投资前进行自己的研究。
加入我们以跟踪新闻： https://linktr.ee/coincu
哈罗德
钱库 新闻
