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

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

作者：Karen，Foresight News

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

在 了解 ZeroSync 的实施方式和路线图之前，我们先来看看 ZeroSync 团队背景情况。ZeroSync 背后是一个名为 ZeroSync 协会（ZeroSync Association）的瑞士非营利组织，核心贡献者包括 Robin Linus、Lukas George、Tino Steffens、Max Gillett 和 Andrew Milson。

Harmony将向HarmonyOne主网上的Aave V3分配500万美元的ONE代币:4月10日消息，公链Harmony在推特上宣布，将向位于HarmonyOne主网上的Aave V3分配价值500万美元的ONE代币，作为面向新用户的激励。该计划将持续12个月。[2022/4/10 14:15:57]

2022 年 2 月份，Lukas George 在柏林技术大学发布一篇学士论文，实施了比特币 headers chain 的第一个基本证明并对其进行了基准测试，7 月份，Robin Linus 作为项目负责人加入，共同创立了 ZeroSync 以实现全部链证明，之后，曾开发 Giza 证明（Cairo VM 完全开源证明者和验证者）的 Max Gillett 加入团队，帮助用 Cairo 实施 STARK verifier（用于证明递归）。

CoinMetrics：减半后48小时比特币算力下降近30%，1日平均出块时间上升至13分钟:金色财经报道，链上数据分析公司CoinMetrics发推文称，在比特币减半后不到48小时，已经看到了减半对比特币的巨大影响。随着算力下降接近30%，效率低下的矿工似乎正在离开。CoinMetrics认为，经过一段时间的混乱之后，随着高效的矿工取代低效的矿工，网络算力将有可能恢复。此外，算力的下降使1日平均出块时间上升至了13分钟。此前由于矿工急于在比特币减半之前获得更多的区块奖励，矿工将比特币1日平均出块时间缩短至近7.5分钟。比特币的通胀率完全符合预期，年化率昨天有史以来首次低于1.5％。[2020/5/15]

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

AOFEX交易所AP认购新币第七期 40,000LOD3分钟内售罄:据官方消息，AOFEX交易所在2020年4月27日14：00开放了第七期AP（A积分）认购新上线币种的权益，40,000LOD在3分钟内售罄。

据了解，AP是AOFEX生态系统中的重要一环，持有者可享受生态系统内的多项权益，现可用于参与创新型期权交易、认购新上线币种等权益。

数字货币金融衍生品交易所AOFEX已获美国MSB牌照及新加坡（MAS）豁免许可，24小时为80万用户提供优质服务和资产安全保障。[2020/4/27]

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

动态 | 比特币出块间隔达53分钟:据btc.com数据显示，比特币区块高度541619和541620的出块间隔高达53分钟。当前比特币未确认交易笔数为1763，全网挖矿难度为7.02T，预计4天零17个小时后下调0.01%。[2018/9/16]

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

Foresight News

企业专栏

阅读更多

金色财经 善欧巴

金色早8点

白话区块链

欧科云链

Odaily星球日报

Arcane Labs

MarsBit

深潮TechFlow

BTCStudy

链得得

标签：比特币ZEREROZERO闪电比特币价格ZERIHERO价格Zero Collateral Dai

LTC热门资讯