如果在比特币中引入零知识证明会怎么样？如果无需下载块数据或依赖第三方即可立即验证链的状态，这将如何改变比特币网络与用户的交互方式？最近宣布的一个项目ZeroSync正在率先开发一个比特币证明系统，以帮助建立一个具有隐私性、互操作性和可扩展性的比特币未来。
ZeroSync团队背景和项目由来在了解ZeroSync的实现和路线图之前，我们先来看看ZeroSync团队的背景。ZeroSync的背后是一个名为ZeroSync协会的瑞士非营利组织。其核心贡献者包括罗宾·莱纳斯、卢卡斯·乔治、蒂诺·斯蒂芬斯、马克斯·吉列和安德鲁·米尔森。
2022年2月，Lukas George在柏林工业大学发表了学士论文，实现了比特币头链的第一个基本证明，并进行了基准测试。7月，Robin Linus作为项目负责人加入，共同创立了ZeroSync，实现所有链证明。之后，开发Giza proof(Cairo VM的完全开源证明者和验证者)的Max Gillett加入团队，帮助用Cairo实现STARK验证者(用于证明递归)。
今年2月，ZeroSync完成了递归链证明的基本原型，可以验证除见证数据(数字签名)以外的所有比特币共识规则。目前，ZeroSync已经发展成为一个非盈利组织协会ZeroSync Association。
ZeroSync的开发得到了深度介入零知识隐私技术的Geometry和StarkWare的支持。其中，Geometry的负责人是阿兹特克网络公司(Aztec Network)前首席执行官汤姆·沃顿-波科克(Tom Walton-Pocock)，此前由对冲基金大亨阿伦·霍华德支持的孵化器WebN Group孵化。Geometry为ZeroSync的初始开发提供了研究资助。StarkWare的开源项目OnlyDust也提供研究资助来赞助开发。
ZeroSync的贡献合作伙伴还包括比特币闪电网络开发商Lighting Labs和扩展技术研发团队LambdaClass。
什么是ZeroSync？ZeroSync致力于比特币区块链上的简单zk证明，使用StarkWare专有的zk-STARK有效性证明为比特币网络生成ZK证明，无需下载块数据、不依赖第三方即可即时验证区块链的最新状态。为了实现比特币证明，ZeroSync还使用了StarkWare创造的Cairo语言。
ZeroSync认为，在计算中证明数百GB的区块链历史数据是非常昂贵的，压缩后生成的证明允许网络中任意数量的节点使用它立即与网络同步。
ZeroSync表明UTXO set的开销可以降低到几千兆字节，ZKP证明非常小，不需要任何共识变化或分歧就可以实现。比特币固有的UTXO模型，让所有比特币节点随时对比特币的存在达成共识。
ZeroSync如何实现链证明？ZeroSync分三个阶段实现链证明，包括块头链证明、假定有效链证明和全链证明，其中ZeroSync已经完成了前两个原型。
块头链证明只验证块头、工作量证明和难度调整，在所有块头上用Merkle树扩展块头链，从而为所有块和事务提供简洁的包含证明。其特点是重量轻，计算成本低。假设有效链证明验证了除交易签名外的所有比特币共识规则(假设所有见证数据“见证数据”有效)。这个证明使用Utreexo通过UTXO集合承诺来扩展链。全链证明验证所有比特币共识规则，包括签名信息。相应地，它将被证明是相对昂贵的。更重要的是，ZeroSync还将发布一个开发者工具包，帮助开发者将零知识证明应用到他们的产品或服务中。具体应用场景包括但不限于，比特币交易所可以向其客户披露偿付能力，而无需披露具体余额或交易历史信息；证明了区块链数据可以转换或过滤，可以创建索引进行高效查询；由于证明的可组合性，可以更方便地扩展和定制；对跨链互操作性不信任或不太信任等。；使用零知识连续支付出售认证数据。
综上所述，ZeroSync不仅可以允许立即验证链的状态，还希望比特币在可扩展性、互操作性和隐私性方面实现范式转变。当然，如果要打造生产级的比特币证书，也面临着安全增强和认证性能的挑战。
：
https://zerosync.org/
https://bitcoinmagazine . com/technical/zero sync-reduces-bit coin-node-validation
本网站声明:网站内容来源于网络。如有侵权，请联系我们，我们会及时处理。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"比特币 零和游戏，0比特币"：http://www.guoyinggangguan.com/qkl/168314.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
