如果在比特币上引入零知识证明，会发生什么？如果能够立即验证链的状态而无需下载区块数据或依赖第三方，这将如何改变比特币网络与用户的交互方式？最近公开的一个项目ZeroSync正在带头开发比特币证明系统，帮助构建具有隐私、互操作性和可扩展性等特性的比特币未来。
ZeroSync团队背景和项目起源
在了解ZeroSync的实施方式和路线图之前，我们先来看看ZeroSync团队背景情况。ZeroSync背后是一个名为ZeroSync协会的瑞士非营利组织，核心贡献者包括RobinLinus、LukasGeorge、TinoSteffens、MaxGillett和AndrewMilson。
尽管将加密货币指定为金融产品，南非仍被列入FATF灰名单:2月26日消息，国际金融监管机构金融行动特别工作组于2月24日宣布，已将南非列入“灰名单”，被金融监管机构列入灰名单可能会使南非难以从外国银行获得贷款。据悉，在FATF表达了对加密资产缺乏监管的担忧后，南非金融业监管机构将加密货币指定为金融产品。当时，一些评论员表示，此举将有助于南非避免被列入灰名单。
然而，在其2月24日的声明中，南非储备银行 (SARB) 似乎承认该国在避免被列入灰名单方面做得不够。尽管如此，该行仍誓言要“加强监管，进一步增强行政处罚的劝诫性和相称性”。[2023/2/26 12:30:31]
2022年2月份，LukasGeorge在柏林技术大学发布一篇学士论文，实施了比特币headerschain的第一个基本证明并对其进行了基准测试，7月份，RobinLinus作为项目负责人加入，共同创立了ZeroSync以实现全部链证明，之后，曾开发Giza证明的MaxGillett加入团队，帮助用Cairo实施STARKverifier。
矿企Bitfarms 10月份产出486枚BTC，Q3共产出1515枚比特币:11月14日消息，比特币矿企Bitfarms公布第三季度业绩报告，共开采了1515枚比特币，与第二季度相比将直接生产成本降低了5%，至每比特币9,400美元。三季度共售出2,595BTC，总收益为5,600万美元。在2022年10月期间，总计开采486枚比特币，产生了1000万美元的收益。三季度末运营哈希率为4.2EH/s，比2022年6月30日增长17%。自6月1日以来开始去杠杆化，已经偿还了9400万美元的债务。[2022/11/14 13:04:13]
今年2月份，ZeroSync完成递归链证明的基本原型，可验证除见证数据之外的所有比特币共识规则。目前ZeroSync已发展成为非营利组织协会ZeroSync协会。
Binance将于7月21日14时进行多网络钱包维护，预计持续两小时:7月19日消息，据官方公告，Binance将于北京时间7月21日14时进行钱包维护，预计持续两小时。平台将于13:55起暂停相关网络的提现功能。受影响的网络包括BTC、ETH和BNB Chain等。[2022/7/19 2:23:44]
ZeroSync的开发由深耕零知识隐私技术的Geometry和StarkWare赞助支持，其中，Geometry负责人为AztecNetwork前首席执行官TomWalton-Pocock，此前还获得对冲基金大鳄AlanHoward支持的孵化器WebNGroup的孵化，Geometry提供了一笔研究经费来赞助ZeroSync最初的开发。StarkWare的开源计划OnlyDust也提供研究资助来赞助开发。
美CFTC主席：正在寻求研究和激励措施，以解决比特币的能源消耗问题:6月9日消息，在《华盛顿邮报》周三举办的 \"Evolution of Money\"活动中，美国商品期货交易委员会（CFTC）主席 Rostin Benham 表示，正在寻求研究和激励措施，以解决比特币开采中的能源使用问题。他说，就当前 加密货币]用例与采矿能源消耗之间的关系而言，我认为现在存在相当大的错位；我们需要消除这种错位。
Benham 认为，需要解决错位问题，无论是通过技术转变（比如转向权益证明机制），或者其他方式。他说，一方面，我们需要行业转型和改变，让他们了解能源消耗这件事很关键，其次，消费者也需要了解其中的利害关系，以便通过经济激励措施让他们远离能源消耗更多的行为。[2022/6/9 4:12:22]
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。