3分钟理解ZeroSync：在比特币上引入零学问解释 将发作怎样的化学反映？

原文：《将零学识证实引入比特币，ZeroSync 要做甚么？》

作家：Karen，Foresight News

假设正在比特币上引入零学识证实，会产生甚么？假设恐怕马上验证链的状态而无需下载区块数据或依附第三方，这将若何改革比特币收集与用户的交互办法？迩来秘密的一个项目 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 证实（Ca币安官网登录iro VM 全面开源证实者以及验证者）的 Max Gillett 参加团队，帮忙用 Cairo 实行 STARK verifier（用于证实递归）。

本年 2 月份，ZeroSync 告竣递归链证实的根底底细，可验证除见证数据（数字出面）之外的一切比特币共鸣法则。今朝 ZeroSync 已繁华成为非营利构造协会 ZeroSync 协会。

ZeroSync 的开垦由深耕零学识隐私本领的 Geometry 以及 StarkWare 援助支柱，个中，Geometry 担任工钱 Aztec Network 前首席施行官 Tom Walton-Pocock，此前还取得对于冲基金大鳄 Alan H币安官网入口oward 支柱的孵化器 WebN Group 的孵化，Geometry 供给了一笔争论经费来援助 ZeroSync 最初的开垦。StarkWare 的开源讨论 OnlyDust 也供给争论援助来援助开垦。

ZeroSync 的奉献单干火伴还席卷比特币闪电收集研发商 Lighting Labs 以及扩充本领研发团队 LambdaClass。

ZeroSync 努力于正在比特币区块链上完结简明的 ZK 证实，利用 StarkWare 专属的零学识可扩充透明学识论证 (zk-STARK) 无效性证实来为比特币收集天生 ZK 证实（ZK-proofs），并恐怕立即验证区块链的最新状态，而无需下载区块数据或依附第三方。为了完结比特币证实，ZeroSync 也利用由 StarkWare 建立的 Cairo 语言。

ZeroSync 以为，今朝证实数百 GB 的区块链史乘数据正在算计上很是低廉，而收缩后孕育的天生证实禁止收集中随便数目的节点均可以利用它马上与收集同步。

ZeroSync 示意也许将 UTXO 集的老本升高到多少千兆字节，并且 ZKP 证实很是小，没有须要一切共鸣改革或分叉来完结。比特币固有的 UTXO 模子也许让一切比特币节点正在随便时辰就比特币的生存状况完毕共鸣。

ZeroSync 分三个阶段实行链证实，席卷区块头链证实（headers chain proof）、假定无效链证实、全数链证实，个中 ZeroSync 一经告竣了前两个底细。

区块头链证实仅验证区块头、处事量证实以及难度保养，正在一切区块块头上利用 Merkle 树夸大区块头链，进而为一切块以及买卖供给简明的蕴含证实。特征为轻量级且算计老本低。

假定无效链证实验证除买卖出面之外的一切比特币共鸣法则（假定一切见证数据「Witness Data，数字出面」都是无效的）。该证实利用 Utreexo 经过 UTXO 集许诺来夸大链。

全数链证实（Full Chain Proof）验证一切比特币共鸣法则，席卷出面信息。对于应的，证实会相对于低廉一些。

更主要的是，ZeroSync 还将揭晓开垦者器械包，帮忙开垦者将零学识证实利用至他们的产物或办事中，全部的利用场景席卷但没有限于，比特币买卖所也许也许向其客户表露偿付才略，而无需展示全部余额或买卖史乘信息等外容；证实也许变换或过滤区块链数据，并建立索引以高效盘诘；因为证实的可配合性也许更麻烦地扩充以及定制；无信赖或少信赖跨链互操作性等；利用 Zero-Knowledge Contingent Payments 销售证实数据。

综上，ZeroSync 没有仅恐怕禁止马上验证链的状态，还将有指望比特币正在可扩充性、互操作性、隐私方面完结范式变化。固然，要想打造一个损耗级比特币证实，也面临着安全强化和证实机能等方面的寻衅。