首页 > 极速快讯 > 矿圈资讯 > 分钟了解ZeroSync：在比特币上引入零知识证明将发生怎样的化学反应

分钟了解ZeroSync：在比特币上引入零知识证明将发生怎样的化学反应

时间: 2023-04-02 来源：极速科技

原文：《将零常识证明引进比特币，ZeroSync 要做什么？》

作者：Karen，Foresight News

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

ZeroSync 团队布景和项目来源
在了解 ZeroSync 的施行方法和路线图之前，咱们先来看看 ZeroSync 团队布景状况。ZeroSync 背后是一个名为 ZeroSync 协会（ZeroSync Association）的瑞士非营利安排，核心贡献者包含 Robin Linus、Lukas George、Tino Steffens、Max Gillett 和 Andrew Milson。

2022 年 2 月份，Lukas George 在柏林技能大学发布一篇学士论文，施行了比特币 headers chain 的第一个基本证明并对其进行了基准测验，7 月份，Robin Linus 作为项目担任人参加，一起创立了 ZeroSync 以完结悉数链证明，之后，曾开发 Giza 证明（Cairo VM 彻底开源证明者和验证者）的 Max Gillett 参加团队，协助用 Cairo 施行 STARK verifier（用于证明递归）。

本年 2 月份，ZeroSync 完结递归链证明的基本原型，可验证除见证数据（数字签名）之外的一切比特币一致规矩。现在 ZeroSync 已发展成为非营利安排协会 ZeroSync 协会。蚂蚁矿机

ZeroSync 的开发由深耕零常识隐私技能的 Geometry 和 StarkWare 资助支撑，其间，Geometry 担任人为 Aztec Network 前首席执行官 Tom Walton-Pocock，此前还获得对冲基金大鳄 Alan Howard 支撑的孵化器 WebN Group 的孵化，Geometry 供给了一笔研讨经费来资助 ZeroSync 开始的开发。StarkWare 的开源计划 OnlyDust 也供给研讨资助来资助开发。

ZeroSync 的贡献合作伙伴还包含比特币闪电网络研制商 Lighting Labs 和扩展技能研制团队 LambdaClass。

ZeroSync 是什么？
ZeroSync 致力于在比特币区块链上完结简练的 ZK 证明，运用 StarkWare 专有的零常识可扩展通明常识论证 (zk-STARK) 有用性证明来为比特币网络生成 ZK 证明（ZK-proofs），并能够即时验证区块链的最新状态，而无需下载区块数据或依靠第三方。为了完结比特币证明，ZeroSync 也运用由 StarkWare 创立的 Cairo 语言。

ZeroSync 认为，现在证明数百 GB 的区块链历史数据在计算上十分贵重，而紧缩后发生的生成证明答应网络中恣意数量的节点都能够运用它当即与网络同步。

ZeroSync 表示能够将 UTXO 集的成本降低到几千兆字节，而且 ZKP 证明十分小，不需要任何一致改变或分叉来完结。比特币固有的 UTXO 模型能够让一切比特币节点在恣意时刻就比特币的存在状况达到一致。

ZeroSync 怎么施行链证明？
ZeroSync 分三个阶段施行链证明，包含区块头链证明（headers chain proof）、假定有用链证明、悉数链证明，其间 ZeroSync 现已完结了前两个原型。

区块头链证明仅验证区块头、工作量证明和难度调整，在一切区块块头上运用 Merkle 树扩充区块头链，从而为一切块和买卖供给简练的包含证明。特点为轻量级且计算成本低。

假定有用链证明验证除买卖签名之外的一切比特币一致规矩（假定一切见证数据「Witness Data，数字签名」都是有用的）。该证明运用 Utreexo 通过 UTXO 集承诺来扩充链。

悉数链证明（Full Chain Proof）验证一切比特币一致规矩，包含签名信息。对应的，证明会相对贵重一些。

更重要的是，ZeroSync 还将发布开发者工具包，协助开发者将零常识证明应用至他们的产品或服务中，详细的应用场景包含但不限于，比特币买卖所能够能够向其客户披露偿付能力，而无需泄漏详细余额或买卖历史信息等内容；证明能够转换或过滤区块链数据，并创立索引以高效查询；因为证明的可组合性能够更方便地扩展和定制；无信任或少信任跨链互操作性等；运用 Zero-Knowledge Contingent Payments 出售证明数据。

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

分享到：

上一篇:浅析BTC Stamps：比特币NFT的新风口

下一篇:比特币一季度表现远超以太坊以太坊会补涨不