将零知识证明引入比特币，ZeroSync 要做什么？

如果在比特币上引入零知识证明，会发生什么？如果能够立即验证链的状态而无需下载区块数据或依赖第三方，这将如何改变比特币网络与用户的交互方式？最近公开的一个项目ZeroSync正在带头开发比特币证明系统，帮助构建具有隐私、互操作性和可扩展性等特性的比特币未来。

ZeroSync团队背景和项目起源

在了解ZeroSync的实施方式和路线图之前，我们先来看看ZeroSync团队背景情况。ZeroSync背后是一个名为ZeroSync协会的瑞士非营利组织，核心贡献者包括RobinLinus、LukasGeorge、TinoSteffens、MaxGillett和AndrewMilson。

SPACE ID成立DAO财政部，将实施代币回购和销毁机制:金色财经报道，去中心化身份协议 SPACE ID 宣布成立 DAO 财政部，将实施 Token 回购和销毁机制。平台收入将包括自 TGE 日期以来积累的所有注册收益，并按季度移动执行向前。

具体而言，SPACE ID 平台产生的总净收入（包括域名注册、续订、礼品卡购买和 SPACE ID 市场费用的收入）的 50% 将用于购买和销毁 IDToken。总净收入的剩余 50% 将添加到 DAO 金库中，该金库将以稳定币的形式持有，并由所有符合条件的 ID Token 持有者管理。[2023/4/18 14:10:37]

2022年2月份，LukasGeorge在柏林技术大学发布一篇学士论文，实施了比特币headerschain的第一个基本证明并对其进行了基准测试，7月份，RobinLinus作为项目负责人加入，共同创立了ZeroSync以实现全部链证明，之后，曾开发Giza证明的MaxGillett加入团队，帮助用Cairo实施STARKverifier。

ApeCoin发起新提案将Cartan Group社区管理员功能延长2个月:金色财经报道，Animoca Brands联合创始人兼首席执行官Yat Siu发推文称，由于APE基金会管理员合同到期，ApeCoin DAO已发起新提案AIP-196并将Cartan Group社区管理员功能延长2个月以保持运营连续性和秩序，时间范围为2023年1月1日至2月28日，相关职责包括提供APE基金会管理服务，协助临时ApeCoin DAO工作组将所有未明确的管理员功能转移到ApeCoin DAO，并且将管理权移交给下一任管理员。

本次投票将于1月5日结束，目前赞成票比例为60.86%。[2022/12/31 22:17:42]

今年2月份，ZeroSync完成递归链证明的基本原型，可验证除见证数据之外的所有比特币共识规则。目前ZeroSync已发展成为非营利组织协会ZeroSync协会。

Kava Network宣布成功推出CosmosEVM，将以太坊协议引入Cosmos:6月11日，官方消息，Kava Network宣布已成功推出CosmosEVM，将以太坊协议引入Cosmos。首个部署至Kava的是跨链路由协议Multichain。[2022/6/11 4:17:35]

ZeroSync的开发由深耕零知识隐私技术的Geometry和StarkWare赞助支持，其中，Geometry负责人为AztecNetwork前首席执行官TomWalton-Pocock，此前还获得对冲基金大鳄AlanHoward支持的孵化器WebNGroup的孵化，Geometry提供了一笔研究经费来赞助ZeroSync最初的开发。StarkWare的开源计划OnlyDust也提供研究资助来赞助开发。

Web3电影融资平台Decentralized Pictures将于5月20日上线:5月17日消息，Web3电影融资平台Decentralized Pictures宣布推出其基于区块链的电影融资应用程序，将于5月20日戛纳电影节期间上线。

该应用将与哥谭电影与媒体研究所（The Gotham Film & Media Institute）合作推出纪录片奖；最多两个获奖项目将分别获得高达5万美元的完成资金，同时还将获得Decentralized Pictures Foundation和The Gotham的指导。（Decrypt）[2022/5/17 3:23:02]

ZeroSync的贡献合作伙伴还包括比特币闪电网络研发商LightingLabs和扩展技术研发团队LambdaClass。

ZeroSync是什么？

ZeroSync致力于在比特币区块链上实现简洁的ZK证明，使用StarkWare专有的零知识可扩展透明知识论证(zk-STARK)有效性证明来为比特币网络生成ZK证明，并能够即时验证区块链的最新状态，而无需下载区块数据或依赖第三方。为了实现比特币证明，ZeroSync也使用由StarkWare创建的Cairo语言。

ZeroSync认为，目前证明数百GB的区块链历史数据在计算上非常昂贵，而压缩后产生的生成证明允许网络中任意数量的节点都可以使用它立即与网络同步。

ZeroSync表示可以将UTXO集的成本降低到几千兆字节，并且ZKP证明非常小，不需要任何共识改变或分叉来实现。比特币固有的UTXO模型可以让所有比特币节点在任意时刻就比特币的存在情况达成共识。

ZeroSync如何实施链证明？

ZeroSync分三个阶段实施链证明，包括区块头链证明、假设有效链证明、全部链证明，其中ZeroSync已经完成了前两个原型。

区块头链证明仅验证区块头、工作量证明和难度调整，在所有区块块头上使用Merkle树扩充区块头链，从而为所有块和交易提供简洁的包含证明。特点为轻量级且计算成本低。

假设有效链证明验证除交易签名之外的所有比特币共识规则。该证明使用Utreexo通过UTXO集承诺来扩充链。

全部链证明验证所有比特币共识规则，包括签名信息。对应的，证明会相对昂贵一些。?

更重要的是，ZeroSync还将发布开发者工具包，帮助开发者将零知识证明应用至他们的产品或服务中，具体的应用场景包括但不限于，比特币交易所可以可以向其客户披露偿付能力，而无需透露具体余额或交易历史信息等内容；证明可以转换或过滤区块链数据，并创建索引以高效查询；由于证明的可组合性可以更方便地扩展和定制；无信任或少信任跨链互操作性等；使用Zero-KnowledgeContingentPayments出售证明数据。

综上，ZeroSync不仅能够允许立即验证链的状态，还将有希望比特币在可扩展性、互操作性、隐私方面实现范式转变。当然，要想打造一个生产级比特币证明，也面临着安全强化以及证明性能等方面的挑战。

参考：https://zerosync.org/https://bitcoinmagazine.com/technical/zerosync-reduces-bitcoin-node-validation

标签：ZEREROZEROSYNHIGAZERSNZERO币Zero Knowledge PodcastSYNX币

Luna热门资讯