做mip网站需要多钱,深圳燃气公司,湘潭网站建设是什么,在线设计公司logo图标1. 引言
前序博客#xff1a;
BitcoinSTARK: ZeroSync Khepri
Robin Linus、Tino Steffens、Lukas George 等人成立了一个名为 ZeroSync 协会#xff08;ZeroSync Association#xff09;的瑞士非营利组织#xff0c;该组织将牵头开发比特币证明系统。ZeroSync 于…1. 引言
前序博客
BitcoinSTARK: ZeroSync Khepri
Robin Linus、Tino Steffens、Lukas George 等人成立了一个名为 ZeroSync 协会ZeroSync Association的瑞士非营利组织该组织将牵头开发比特币证明系统。ZeroSync 于 2022 年获得了 Geometry Research 的资助今年早些时候也获得了 StarkWare 的资助此后成立了该基金会。该小组的工作是在以太坊生态系统之外使用 StarkWare 的 Cairo 编程语言的首次尝试。 ZeroSync 协会总部位于瑞士楚格州由一个以多重签名钱包为代表的董事会进行管理其密钥持有者在比特币或 ZKP 系统领域赢得了良好的声誉。作为安全措施和保护其隐私密钥持有者的姓名不公开。 ZeroSync的使命为
促进比特币生态系统中证明系统的使用以提高可扩展性、可访问性和隐私性。
ZeroSync分为3大阶段 1Header Chain proof原型已实现类似于SPV轻节点header state proof仅验证区块头、PoW和难度调整。此外在所有区块头上使用Merkle树来增强header chain从而为所有区块和交易提供简洁的包含证明。该state proof相对简单轻量计算成本低。将是ZeroSync第一个准备的生产级版本。 Header Chain Verifier demo在浏览器内运行WebAssembly的miniSTARK verifier来验证Bitcoin header chain的递归证明。当前仍处于原型开发阶段仅能验证header chain还不能验证交易。 2“Assumevalid” state proof原型已实现模仿Bitcoin Core的“assumevalid”选项。其验证除交易签名之外的所有比特币共识规则。更确切地说假设所有witness数据都是有效的。此外此证明使用Utreexo来通过UTXO集合承诺来增强链。ZeroSync团队于2023年2月完成了这种“Assumevalid” state proof的初步原型。 3Full state proof验证所有比特币共识规则包括所有witness数据。在“Assumevalid” state proof的基础上还验证了所有的witness数据。就计算而言这是最昂贵的证明并且需要对Prover进行重大优化才能变得可行。它将是最后一个做好生产准备的。
ZeroSync的第一个主要应用程序将是通过Blockstream卫星从太空广播state proofs让几乎在地球上任何地方的每个人都可立即同步比特币区块链。
ZeroSync核心开发者有
Robin LinusLukas GeorgeTino SteffensMax GillettAndrew Milson
开源代码见
https://github.com/ZeroSync/ZeroSyncCairo语言即时同步Bitcoin全节点的STARK proof。https://github.com/ZeroSync/header_chainCairo语言为Header Chain Proof即Bitcoin header chain的STARK proof。
ZeroSync的主要任务为
1为即时同步Bitcoin链状态创建证明系统。此外作为开发者工具使用ZKP来加强现有协议、应用和服务。2构建Bitcoin proofs社区具体方式为 在会议上分享技术为参与的人们提供资源与该领域的其它项目合作 3最终致力于在Bitcoin 主网层集成ZKP verifier。
ZeroSync为比特币网络部署了一个基于零知识证明的系统。该项目帮助比特币用户验证网络状态而无需下载整个区块链。
区块链开发商 ZeroSync 已经实现了第一个基于 Stark 证明的比特币客户端系统——比特币header chain。 该项目基于 Starkware 的 Cairo 编程语言构建将使比特币用户能够验证网络状态而无需下载区块链或信任利用 Starks StarkWare开发的一种 ZK 证明的第三方。
ZK 证明是一种承诺增强隐私性和可扩展性的加密方法。ZeroSync 表示通过使一方能够在不透露任何额外信息的情况下验证声明的真实性ZK 证明可以基本上解决比特币在交易速度和网络拥塞方面的挑战。
ZeroSync 的verifier对于轻客户端来说是一个值得注意的发展使他们能够几乎即时验证比特币交易的包含情况客户端仅存储header chain proof而不是下载所有区块头。ZeroSync 的比特币网络区块头Verifier使得为网络构建基于 zk 证明的轻客户端成为可能这是无许可创新路线图的第一步。在短期内轻客户端可能会让你在手机上运行比特币完整节点。但该路线图包括比特币之上的Layer 2协议该协议可以将代币例如稳定币引入比特币网络并使吞吐量增加 20 至 50 倍而无需任何类型的分叉。
ZeroSync 联合创始人 Robin Linus 表示“这大大降低了作为一等公民参与比特币网络的门槛。” “从长远来看ZeroSync团队希望使用 Stark Proofs 为比特币带来大规模的可扩展性。ZeroSync 设计并目前正在实施Layer2 协议该协议具有卓越的隐私性和可扩展性特性允许比特币每秒处理超过 100 笔代币交易。这可能是让比特币实现其所需的可扩展性的一项重大成就。”Linus 告诉 Blockworks。“除此之外我们还获得了完美的隐私——你可以对交易金额和交易图表进行加密然后你基本上就可以获得与 Zcash 相当的一流隐私。”隐私优势本质上是协议使用 STARKStarkWare发明的证明系统的副产品而不是故意的设计选择。
ZeroSync 表示通过发布比特币网络header chain的verifier作为其网络 ZK 客户端的一部分它已经实现了第一个重大里程碑。比特币轻客户端即钱包使用区块头和一种称为简单支付验证SPV的机制来验证交易。
ZeroSync 的下一步是向节点提供整个区块链的验证而不需要它们下载和处理数据。“最终目标是在比特币主网上建立一个零知识证明Verifier”Linus 补充道。
需要软分叉才能在 ZeroSync 设想的Layer 2 网络上实现无需信任的比特币桥接。但即使没有这一点网络也可以无需许可地支持有用的功能例如以稳定币支付费用的代币转账从而无需使用比特币BTC来支付交易。
比特币从设计上就难以改变需要核心开发人员的共识以及包括矿工在内的全节点运营商的近乎共识。之前的 2021 年软分叉名为Taproot经过多年酝酿只有在超过 90% 的节点运营商表示同意后才激活。
“我们希望它很难改变这样就可以成为硬通货但一些改变是必要的”Linus说。“似乎存在一种共识即在某个时候我们确实希望在比特币上拥有某种 [zk 证明] Verifier。”
Linus 认为 ZeroSync 的作用是帮助找出最有意义的方法。
“我们尝试参与社区并推动这一进程”他指出。“一切都必须是免费和开源的否则永远不会进入主层。”
与此同时他们完成的链状态证明不需要任何类型的分叉。
1.1 ZeroSync技术突破点
ZeroSync协议用于降低运行Bitcoin全节点所需的存储和计算压力特别适于资源有限的设备运行。其主要技术突破点在于
1Merkle Proofs and UTXO Set比特币网络依赖Unspent Transaction Output (UTTXO) 集合来验证交易。全节点需维护该UTXO集合目前该集合非常大。ZeroSync 使用 Merkle 证明来允许节点验证交易而无需在本地维护整个 UTXO集合。这是一种加密证明形式可以确认区块内特定交易的存在。2Simplified Payment Verification (SPV)ZeroSync 可被认为是 SPV简化支付验证节点的扩展或改进。SPV 节点已经不下载完整的区块链而是依赖区块头和 Merkle 证明进行交易验证。ZeroSync 更进一步减少了 SPV 节点需要存储的数据量。3Data PruningZeroSync 的主要功能之一是数据修剪可以安全地删除不再相关的旧交易数据。这对于在磁盘上维持较小的区块链大小至关重要。4Computational Efficiency通过减少需要存储和验证的数据量ZeroSync 还旨在减少运行节点所需的计算能力。这使得在功能较弱的硬件上运行节点变得更加可行从而有可能增加网络的去中心化。5Security Trade-offs虽然 ZeroSync 的目标是保持与全节点相同的安全级别但也存在权衡。例如理论上如果第三方是恶意的依赖第三方的 Merkle 证明可能会使节点面临某些类型的欺诈。6Network Propagation减少节点的数据和计算要求也可以对网络传播速度产生积极影响。更快的交易验证和中继可以提高网络的整体吞吐量和延迟。7Merkleized UTXO SetZeroSync 利用 Merkle Trees 创建 Merkleized UTXO 集。Merkle Tree 的每个叶子节点代表一个 UTXO并且该树的构建方式允许高效插入、删除和验证 UTXO。当交易被验证时会生成 Merkle 证明证明 UTXO 存在于集合中而不会泄露整个集合。这是一个 O(log N) 操作其中 N 是 UTXO 的数量。采用Patricia Trie代码示例为from pymerkle import MerkleTree
utxo_hashes [hash_function(utxo) for utxo in utxo_set]
merkle_tree MerkleTree(leavesutxo_hashes)8SPV Nodes with Bloom FiltersZeroSync 基于 SPV 节点的概念通过合并布隆过滤器来实现块头的高效查询和检索。这使得 SPV 节点不仅可以验证交易还可以查询与其钱包相关的交易从而减少不必要的数据传输。使得SPV节点可仅查询相关区块头。from pybloom import BloomFilter
filter BloomFilter(capacity10000, error_rate0.1)
filter.add(item)9Data Pruning and Garbage CollectionZeroSync 采用垃圾收集机制来修剪陈旧的 UTXO 和 Merkle 树节点。这对于保持较低的存储占用空间至关重要。垃圾收集算法被设计为非阻塞并在后台运行确保节点的性能不受影响。实现垃圾回收算法来裁剪Merkle treedef prune_merkle_tree(tree, stale_nodes):for node in stale_nodes:tree.delete(node)10Parallel ValidationZeroSync 允许通过跨多个线程甚至多台机器分发 Merkle 证明来并行验证交易。这对于具有多核处理器的设备特别有用并且可以显着加快验证过程。可使用多线程来并行验证Merkle proofsfrom concurrent.futures import ThreadPoolExecutor
with ThreadPoolExecutor() as executor:executor.map(validate_merkle_proof, merkle_proofs)11Cryptographic Commitments为了确保数据完整性ZeroSync 对每个 UTXO 使用加密承诺特别是 Pedersen 承诺。这允许节点在不泄露其价值的情况下验证 UTXO 的完整性从而提供隐私和安全性。使用Pedersen commitment来对每个UTXO进行承诺def pedersen_commitment(value, blinding_factor):return G * value H * blinding_factor12Network Latency and Gossip ProtocolZeroSync 采用修改后的gossip协议来实现跨网络的高效数据传播。通过减小数据包的大小并采用数据聚合和批处理等技术ZeroSync 旨在减少网络延迟。13Security Considerations虽然 ZeroSync 减少了数据占用空间但它确实带来了潜在的攻击媒介例如 Merkle Proof 伪造。为了缓解这一问题ZeroSync 采用 zk-SNARK零知识简洁非交互式知识论证来提供零知识证明系统使攻击者在计算上无法伪造 Merkle 证明。在不公开UTXO集合的情况下使用zk-SNARKs来验证Merkle proofs的完整性from py_ecc import bn128
_, proof bn128.zk_snark(...)14Consensus Algorithm Compatibility值得注意的是ZeroSync 的设计与底层共识算法无关无论是工作量证明 (PoW)、权益证明 (PoS) 还是任何其他算法。这使其成为一种多功能解决方案有可能被各种区块链网络采用。
2. 等待比特币的简单性
ZK证明技术仍处于起步阶段。有许多不同的证明系统可供使用需要考虑各种不同的权衡。这些选择会对构建在其之上的虚拟机产生影响。Linus 承认仅就一项达成共识是相当困难的。
StarkNet 基金会董事会成员、比特币思想领袖埃里克·沃尔 (Eric Wall)阐述了ZKrollups on Bitcoin - notes比特币在这一领域的决策过程面临的挑战之一。
“当 zk 社区本身没有以任何方式就哪种类型的 zkVM 最适合明年的比特币达成共识时比特币社区如何能够就特定的 zk 验证操作码达成共识更不用说未来5年还是未来100年”
幸运的是Linus 看到了一个可能的解决方案即Simplicity 编程语言该语言最初由Blockstream于大约五年前推出。
Simplicity 是一种类似于以太坊上的 Solidity 的智能合约语言被描述为“比特币的最后一个软分叉”。Linus 表示如果它被激活它将“极大地提高比特币的脚本能力”。
“我们已经开始试验它因为 Blockstream 刚刚在Liquid测试网上激活了它……这将是我们在比特币主层上试验 [zk 证明] verifier的第一步。”
StarkWare 的联合创始人 Eli Ben-Sasson 毫不奇怪地倡导CairoSTARK 堆栈。 但 Linus 表示采用 Simplicity 将使 zk 证明团队不必完全依赖一种或另一种证明系统。
“你可以相当自由地选择你想要使用的证明系统……它是一种智能合约的高级语言它允许你进行基本上任何类型的计算你可以用常规编程语言进行”他说。
“因此关于我们想要激活哪个 [zk 证明] verifier的问题就不会再有太多戏剧性的问题了——我们基本上只会实现我们认为最好的”他补充道。
如果其他人认为他们有更好的证明系统他们可以自由地实施它而不需要任何人的许可。
3. Zerosync开发者工具ZDK
ZeroSync Developer Toolkit (ZDK) 开发者工具包
为比特币开发人员提供强大的工具来支持下一代生态系统将零知识证明应用到他们自己的产品和服务中。
ZeroSync 开发者工具包ZDK允许具有最少领域专业知识的开发者将证明系统集成到现有的比特币生态系统中。这在比特币之上启用了“ZK 层”。以下示例给出了新颖的设计空间的想法
1轻客户端目前许多比特币应用程序都基于服务器以可信的方式向客户端提供链数据。比特币证明支持不需要信任的客户端-服务器模型同时只在客户端增加最小的开销这对于移动设备和 Web 应用程序来说是理想的选择。2灵活的数据库证明可以转换或过滤区块链数据并创建索引以高效查询。如他们可以通过以下方式来扩充链条紧凑型区块过滤器 Compact block filters这增加了轻客户端的隐私。另一个想法是过滤单边支付通道关闭这样闪电节点就可以跳过大部分链。3Attestations证明ZKP 允许对 UTXO 状态和历史做出任意复杂的陈述包括选择性隐藏信息。如比特币交易所可以向所有客户证明其偿付能力而无需透露任何余额或交易历史记录。4proofs是可组合的如the full state proof对每个人来说都是相同的但它可以轻松扩展这使得自定义状态证明变得便宜。如自定义证明还可以提供最新区块的平均交易费用。5闪电网络隐私ZKP 可能有助于增强闪电网络中支付路由的隐私性。目前gossip network要求通道是公共的但 ZKP 可以启用私有路由通道。6Layer 2针对交易历史压缩的客户端验证协议如TaroTaproot Assets和RGB以及嵌入式共识协议如Omni Layer或者Counterparty或Ordinals。此外ZKP 可以通过混淆交易值和the graphs 来添加一流的隐私。7互操作性从 BTC 到外链的信任减少的跨链桥。还可以将外链上的资产与比特币上的资产进行无需信任的挂钩。8域名系统证明可以实现高效的去中心化域名系统解决了之前设计的许多缺陷。9出售数据可以使用证明来出售Zero-Knowledge Contingent Payments。这在闪电网络上也很有效。也许可以将其进一步开发为数据层协议该协议可以激励服务器向轻客户端提供链数据和证明。
更一般地说该工具包可用于开发更复杂的链下应用程序并具有改进的可扩展性、可用性和隐私性。
pip install zerosync该工具包仍处于早期阶段和实验阶段但已可使用 Python 包管理器将ZeroSync的 Bitcoin Cairo 库集成到自己的项目中。
4. ZeroSync长期愿景
ZeroSync 促进了将 ZKP 系统添加到比特币主层的过程。比特币的proof verifier可实现各种强大的新功能如validity rollups无需信任的双向挂钩或完美的交易隐私。ZeroSync在非状态证明方面的工作旨在探索这一设计空间并帮助开发未来链上证明的工具和最佳实践。
若Simplicity在比特币上被激活一个好的候选人可能是用以下Simplicity语言编写的 STARK Verifier。很快将可在Liquid sidechain中对Simplicity中的STARK 进行实验。
5. ZeroSync技术栈
ZeroSync 完全基于免费开源软件。
STARK和CairoZeroSync 基于 STARK 证明与其他证明系统相比相对简单。STARK 仅依赖于哈希函数和多项式。不需要新颖的密码学假设。最重要的是没有可信的设置。 使用由StarkWare创建的Cairo语言来实现Bitcoin proofs。当前正与ZeroSync底层所有STARK工具开发者紧密合作。
正在使用https://github.com/maxgillett/giza基于Winterfell的一个免费开源的 STARK Prover和Verifier在消费级设备上使用https://github.com/andrewmilson/ministark为GPU加速的prover来生成proofs。从长远来看未来可能会转向 StarkWare开源 StarkNet Prover
ZeroSync Cairo代码均已开源
https://github.com/zerosync
其提供各种模块如
实现共识规则的比特币库对UTXO set commitments的Utreexo实现用于增量可验证计算的递归 STARK verifier
6. ZeroSync路线图
转向生产级比特币证明。
当前原型是比特币证明系统技术可行性的有力指标。现在ZeroSync团队希望将这项技术带入现实世界。
ZeroSync路线图规划为
1提高Prover性能 切换到https://github.com/lambdaclass/cairo-vm与当前使用的用 Python 编写的运行器相比它要快得多因为它是用 Rust 编写的。使用 STARK 友好的哈希函数作为递归验证器对 sha256 和 secp256k1实现Cairo builtins。还对剩余 bitwise、pedersen、ecdsa、ec_op 实现builtins。使用goldilocks域 ntt trick节省内存并提高性能 2完成比特币共识仍然需要实施一些剩余的比特币共识规则。 sighashesALL、NONE、SINGLE、ANYONECANPAY等等脚本解释器实现所有操作码所有支付类型Legacyp2pk、p2pkh、p2sh。SegWitp2wpkh、p2wsh。Taprootp2tr key path script path spend。Schnorr签名验证 3安全加固应用最佳实践来确保证明系统的安全性。 进行大量的自动化测试。如使用源自Bitcoin Core的所有静态测试向量。还添加fuzzing测试雇用外部人员来执行代码审查和安全审计运行公共bug赏金计划 4融入生态系统逐步推出针对现实世界用例的证明系统。将header chain集成到 Neutrino 等轻客户端中。将full state proof集成到 btcd 或 Electrum 中构建一个同步比特币核心全节点的工具。运行ZeroSync全节点不需要修改Bitcoin Core代码。验证后将UTXO 集复制到 Core 的chainstate目录中即可。理想情况下这与新的AssumeUTXO模式即时同步同时仍然对该state proof进行备份检查。为比特币的点对点网络定义一组新的网络消息以在节点之间共享state proofs。
7. ZeroSync历史
从想法成长为现实。
2022 年 2 月Lukas George开始了STARK relay: https://github.com/lucidLuckylee/LightSync他在柏林工业大学的学士论文其中他实现了比特币header chain的第一个基本证明并对其进行了基准测试。Geometry提供了一项研究补助金来资助初步开发。2022 年 7 月Robin Linus作为项目负责人加入他们共同创立了 ZeroSync 来实施完整的状态证明。Ruben Somsen将该项目被命名为ZeroSync。2022 年 9 月Max Gillett其开发了 Giza Prover加入了团队帮助在Cario实施 STARK verifier以进行证明递归。2023 年 2 月他们完成了第一个重大里程碑这是一个递归状态证明的基本原型可验证除witness数据之外的所有比特币共识规则。2023 年 3 月Giacomo Zucco其与 Peter Todd 共同创作了 RGB 协议帮助他们在瑞士成立了ZeroSync 协会并将其发展成为一个长期项目。StarkWare 的开源计划OnlyDust还提供了研究资助来赞助开发。2023 年 6 月Andrew Milson其开发了 miniSTARK prover加入了团队帮助优化prover性能并完成可投入生产的chain proof。2023年7月ZeroSync获得了来自OpenSats的研究赞助。2023年9月团队完成了header chain proof启用比特币的第一个 zk 客户端。
8. ZeroSync相关文章及媒体资料
Zero相关文章有
研究论文ZeroSync: Introducing Validity Proofs to BitcoinGeometry NotebookIntroduction to ZeroSyncCoinDeskZeroSync 和 Blockstream 从太空广播比特币零知识证明CoinTelegraph比特币的零知识证明彻底改变了网络状态验证DecryptStarkWare 的零知识证明在以太坊上进行了测试现已在比特币上上线Bitcoin Magazine比特币节点现在距离即时同步又近了一步Blockworks比特币的第一个零知识轻客户端致力于推动创新The BlockZeroSync 为比特币实现了第一个基于 Stark 的 ZK 客户端
ZeroSync相关媒体资料有
CoinDesk新成立的 ZeroSync 协会为比特币带来零知识证明Andrew Milson在StarkWare Sessions 2023上的演讲Provers for ConsumersOlaoluwa Osuntokun 在StarkWare Sessions 2023上的演讲比特币上的 STARK从外到内Lukas George和 Robin Linus在 Blockstream Talk演讲ZeroSync 和 Blockstream 卫星在MIT Bitcoin Expo 2023, Cambridge MA上演讲比特币的零知识证明在Bitcoin Builders 2023, Miami上演讲为比特币构建零知识证明系统Robin Linus在Bitcoin 2023, Miami上演讲为比特币引入有效性证明Lukas George 和 Robin Linus在Bitcoin Optech Recap对演讲论文的演讲。Stephan Livera播客ZeroSync加速比特币 IBDRobin Linus在Bitcoin Optech Recap上演讲Some Day Peg在StarknetCC 2023, Paris上演讲Bitcoin STARKs在BTC Startup Lab线上演讲zkCoins具有强大隐私性和可扩展性的新型代币协议与Bitcoin News采访比特币区块链可以从 600GB 压缩到几 MB 吗
参考资料
[1] BitcoinSTARK: ZeroSync Khepri [2] 2023年10月新闻 ZeroSync 为比特币实现了第一个基于 Stark 的 ZK 客户端 [3] 2023年11月博客 Zero Sync Protocol: Reducing the computational and storage for running a Bitcoin Full Node [4] 2023年3月新闻 The ZeroSync Association is developing a Bitcoin proof system based on STARK proofs [5] ZeroSync demo [6] ZeroSync官方twitter [7] 2023年9月新闻 比特币首个零知识轻客户端寻求推动创新 [8] ZeroSync官网
