原文：《将零知识证明引入比特币，ZeroSync 要做什么？》
作者：Karen，Foresight News
如果在比特币上引入零知识证明，会发生什么？如果能够立即验证链的状态而无需下载区块数据或依赖第三方，这将如何改变比特币网络与用户的交互方式？最近公开的一个项目 ZeroSync 正在带头开发比特币证明系统，帮助构建具有隐私、互操作性和可扩展性等特性的比特币未来。
在 了解 ZeroSync 的实施方式和路线图之前，我们先来看看 ZeroSync 团队背景情况。ZeroSync 背后是一个名为 ZeroSync 协会（ZeroSync Association）的瑞士非营利组织，核心贡献者包括 Robin Linus、Lukas George、Tino Steffens、Max Gillett 和 Andrew Milson。
4万个杭州亚残运会火炬桂冠同款3D版数字火炬3分57秒售罄:10月18日，杭州2022年第4届亚残运会官方宣布：杭州亚残运会火炬“桂冠”同款3D版数字火炬正式发布。而在开售3分57秒之内，本次发售的40000个杭州亚残运会数字火炬已全部售罄。本次杭州亚残运会数字火炬发售的全部收入将通过圆梦方支付宝公益基金会捐赠给杭州亚残运会组委会发起的公益项目——寻找2022个亚运梦想-阳光体育发展圆梦行动，用于支持全国共100所残疾人学校和残疾人之家的体育发展。（钱江晚报）[2021/10/19 20:39:05]
2022 年 2 月份，Lukas George 在柏林技术大学发布一篇学士论文，实施了比特币 headers chain 的第一个基本证明并对其进行了基准测试，7 月份，Robin Linus 作为项目负责人加入，共同创立了 ZeroSync 以实现全部链证明，之后，曾开发 Giza 证明（Cairo VM 完全开源证明者和验证者）的 Max Gillett 加入团队，帮助用 Cairo 实施 STARK verifier（用于证明递归）。
Gate.io “芝麻开门周周利”BTC持仓理财第七期3分钟售罄:据官方消息，Gate.io芝麻开门周周利周五场BTC、ETH持仓计划7号已于今日12点开启，其中，BTC持仓理财认购开启3分钟即售罄，ETH持仓理财认购开启29分钟即售罄。
据悉。Gate.io芝麻开门周周利周五场BTC、ETH持仓计划8号将于下周五中午12点上线，目前，BTC/ETH/USDT 7天Pos活期理财-DeFi流动性挖矿赚SWRV持续进行中。
芝麻开门周周利是Gate.io 理财宝正式推出的7天短期持仓理财产品，锁仓币种为BTC、ETH、USDT等主流币种。详情点击原文链接。[2020/9/18]
今年 2 月份，ZeroSync 完成递归链证明的基本原型，可验证除见证数据（数字签名）之外的所有比特币共识规则。目前 ZeroSync 已发展成为非营利组织协会 ZeroSync 协会。
BTC网络已历时53分钟未产生新的区块:金色财经报道，OKLink监测数据显示，截至6月15日16：40，BTC网络已历时53分钟未产生新的区块。最近一次爆块播报方为BTC.com，区块高度为634837。[2020/6/15]
ZeroSync 的开发由深耕零知识隐私技术的 Geometry 和 StarkWare 赞助支持，其中，Geometry 负责人为 Aztec Network 前首席执行官 Tom Walton-Pocock，此前还获得对冲基金大鳄 Alan Howard 支持的孵化器 WebN Group 的孵化，Geometry 提供了一笔研究经费来赞助 ZeroSync 最初的开发。StarkWare 的开源计划 OnlyDust 也提供研究资助来赞助开发。
比特币出块平均时间超过13分钟，为2018年后首次:据bitinfochart显示，比特币网络平均出块时间近期有所增加，平均区块时间在13分钟，一度超过了14分钟。
比特币的平均出块时间是10分钟，一般不会准时出块，而是在10分钟上下范围内波动。但平均出块时间超过13分钟在历史上并不常见。
据bitinfochart数据，从2010年开始，比特币出块平均时间超过13分钟仅在2018年第四季度出现过，当时比特币价格也出现了大跌现象，可以推测这种现象或由于币价下跌导致的。此前消息，在3月12日，比特币短时急跌近30%的时候，比特币网络曾出现了1个小时未出块的情况。[2020/3/21]
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
链得得
标签：比特币EROZEROZER比特币害我家破人亡是真的吗heroes币今日价格FiLBitcoin ZeroGraviton Zero
加密货币仍处于初期发展阶段,NFT 更是一种全新的资产类别,也是在 2017 年 CryptoPunks 的推出后才逐渐受到广泛关注.
1900/1/1 0:00:00撰文：The DeFi Investor当今加密货币市场中,以太坊生态系统一直是最为活跃和受欢迎的项目之一。然而,要实现大规模采用还需要更多的创新和突破.
1900/1/1 0:00:00继文心一言发布、微软全线接入 GPT-4后,大佬们又有新动作了。3 月 21 日晚上 11 点,GTC 2023开幕,英伟达 CEO 黄仁勋发表演讲,78分钟内四次提到”AI迎来了iphone时.
1900/1/1 0:00:00原文：《元宇宙虚火烧尽 日产“逆势”布局》撰文：木沐,元宇宙日爆编辑：文刀风口总消散在新一轮的风口下.
1900/1/1 0:00:00上周,OpenAI 大型语言模型 GPT-4 一经公布便引发了全球科技圈与媒体的关注,60秒创建出一款小游戏,将一张草图快速变为功能性的网站,完美通过历史、数学等几乎所有的学科考试.
1900/1/1 0:00:00在百事一百多年的发展历史中,产品营销是绕不过去的部分,而其本质是打造声量、教育心智、销售产品百事的元宇宙是跟风装样,还是真的有点东西？如果从爆发时间来看,“元宇宙”成为风口不过两年左右.
1900/1/1 0:00:00
月亮链