Loading...
Loading...
从分钟级证明到 slot 级安全：zkEVM 实现实时验证意味着什么？撰文：Tia，Techub News
当「zkEVM 实现实时验证，证明延迟从 16 分钟降至 16 秒」被反复提及，它常被理解为一次单纯的性能提升。但在 zk 体系中，时间并不是一个中性指标。
证明延迟的数量级变化，直接决定了 zkEVM 能否进入系统的时序关键路径，从而改变其在架构中的角色。
16 秒并不只是「更快」，而是首次将 zk 证明带入接近区块 slot 的时间尺度。这一步，对 L2 zkEVM 与 L1 zkEVM 的影响是本质不同的。
对 L2 zkEVM：从「事后最终性」到 slot 级可信状态
在 L2 zkEVM 中，zk 证明的功能是向以太坊 L1 证明一段 L2 状态转换的有效性。
过去约 16 分钟的证明延迟意味着一个现实约束：L2 虽然在理论上具备即时最终性，但在实践中，其安全确认始终滞后多个区块周期。这导致 L2 区块长期处于一种「软确认」状态：
对用户来说体验是即时的
对 L1 和外部系统来说仍需等待
当证明延迟下降到约 16 秒，这一结构发生了质变。
首先，zk 证明开始能够按 slot 滚动生成，而非跨越大量历史区块批量补交。这意味着 L2 的区块首次具备接近 L1 的时序安全含义，而不再只是等待最终确认的中间状态。
其次，这直接影响了跨域系统的信任模型。跨链桥、CEX 充值、清算系统可以在秒级时间内依赖 L1 上的 zk 验证结果，而非设置额外的等待窗口或人工风控。
更重要的是，zkEVM 在用户体验层面首次正面追平 Optimistic Rollup。 zk 路线不再只是「安全但慢的结算层」，而开始成为可承载实时应用的执行环境。ZK 路线不再只是「安全但慢的结算层」，而真正成为了可承载高频、实时应用执行环境，资金的流动性也不再被数学生成的耗时所束缚。
对 L1 zkEVM：zk 首次逼近共识时间尺度
L1 zkEVM 并不是一条 Rollup，而是一次对 L1 执行验证方式的潜在重构。
当前以太坊的共识假设是：每个验证者都需要重新执行 EVM，亲自验证区块中的状态转换是正确的。执行能力因此成为共识安全的一部分，也成为系统扩展性的硬约束。
L1 zkEVM 的设想是改变这一点：不再要求验证者执行 EVM，只要求其验证一个 zk 证明。
这一转变的核心意义在于维护以太坊的去中心化。目前，全节点承担着沉重的计算负担，扮演着「学生」的角色，必须把作业（交易）重做一遍；而通过 zkEVM，节点升级为「老师」，只需验证最终的证明答案。这种从「重做工作」到「验证事实」的转变，解耦了全节点的负载与链上交易总量。无论以太坊处理多少亿笔交易，验证成本始终低廉且恒定，确保了即便在未来，普通人依然可以在家中运行属于自己的全节点，避免了因硬件门槛过高导致的中心化风险。
但这一设计有一个前提条件：zk 证明必须足够快，才能进入共识关键路径。如果证明生成需要数分钟，它只能作为事后校验；只有当证明延迟接近 slot 时间，zk 才具备参与「区块是否有效」这一实时判断的可能性。
因此，16 秒的意义并不在于「已经足够快」，而在于：zkEVM 第一次在时间尺度上不再被排除在共识设计之外。
这也是为什么 L1 zkEVM 的讨论高度聚焦于 128-bit 安全性、证明理论和长期密码学假设。一旦 zk 进入共识路径，其安全等级就等同于哈希函数和签名算法。
这一点也与 L2 的策略截然不同。对于 Layer 2，业界普遍接受更灵活的权衡，例如 Starknet 采用的「96-bit 密码学安全 + 30 bits PoW Grinding」混合模型，在保证足够安全的前提下换取极致的速度。但对于 L1 zkEVM 而言，它是地基中的地基，容不得半点妥协。它必须追求绝对的 128-bit 标准，以抵御包括「Proximity Gaps（邻近性缺口）」猜想被推翻等在内的任何数学不确定性。
从更宏观的角度看，这与以太坊正在推进的 snarkification、Beam Chain 等方向是同一条逻辑线上的节点。共识层追求的是简单、稳定、可形式化验证；执行层可以复杂、并行、外包；而正确性由 zk 来压缩和证明。
小结
因此，「证明延迟从 16 分钟降至 16 秒」并不是一次普通的性能突破，它标志着 zkEVM 正在从「事后证明的安全工具」，演进为「可能参与实时最终性定义的基础设施」。
而一旦 zk 的时间尺度逼近 slot，系统中哪些组件是核心、哪些只是附属，往往也会随之被重新书写。
Kasplex 于马来西亚区块链周发布首个 Kaspa 的 zkEVM Layer 2Kasplex全新的解决方案将使用 $KAS 作为原生 Gas 费，为全球最快的工作量证明公链 Kaspa 带来智能合约与 DeFi 功能。
于 2025年7月举办的马来西亚区块链周上, 由 Kaspa 生态基金会（@Kaspa_KEF）支持的项目 Kasplex宣布，其 zkEVM Layer 2 主网将于8月31日正式上线。这一里程碑事件将为Kaspa——全球最快、最具扩展性的工作量证明区块链——引入智能合约功能，标志着Kaspa正式进军去中心化金融（DeFi）领域。
Kasplex 是首个基于 Kaspa 构建的 zkEVM 二层网络。通过让开发者能够在Kaspa支持的Rollup上直接部署以太坊兼容的智能合约，Kasplex 连接了 Kaspa 的高吞吐量基础设施与庞大的以太坊生态系统。与大多数二层解决方案不同，Kasplex 使用桥接的 $KAS 作为其 Gas 代币，进一步强化 Kaspa 原生资产的实用性与经济一致性。
“我们的社区一直热切期盼着这一天的到来，” Kasplex 商务拓展负责人 Kaspador 表示，“Kasplex 让 Kaspa 真正具备了运行 DeFi 的能力。我们打造的 Layer 2 环境，让开发者既能享受 Kaspa 的速度、安全和去中心化，又能使用熟悉的以太坊工具进行创新。”
此次主网上线紧随 Kasplex 成功的 KRC-20 铭文标准之后。该标准已承载了超过 1.3 亿笔交易，并培育了一个繁荣的代币生态系统，其中包括像 $NACHO 这样曾达到约 6200 万美元市值的颇受欢迎的代币。这证明了 Kasplex 提供可扩展、实用化区块链解决方案的能力。
“Kasplex 代表了 Kaspa 发展进程中迈出的重要一步，” Kaspa 生态系统基金会执行董事 Junny 表示，“KEF 的使命就是为建设者赋能，提供拓展 Kaspa 生态所需的资源。此次 Kasplex 的上线让 Kaspa 在竞争激烈的 DeFi 领域拥有了立足之地。”
在主网上线前，这个新的二层网络已经吸引了早期的采用者。Kasplex 上的首个 V3 DEX AMM Kaspa Finance (@KaspaFinance) 也同期在马来西亚区块链周上亮相。该平台计划提供代币兑换、流动性挖矿、质押池、借贷市场以及 AI 驱动的交易策略——所有服务均依托 Kaspa 底层快速、安全的网络运行。
随着其 zkEVM 主网的定于8月31日上线，Kasplex正在为Kaspa上的强大 DeFi 生态系统奠定基础。随着更多建设者准备部署应用程序并与Kasplex集成，Kaspa有望成为DeFi领域的竞争力量。
硬核对话 Scroll 张烨：zkEVM 与 Scroll 及其未来采访者：Nickqiao & Faust，极客 Web3
受访者：YeZhang，Scroll 联创
编辑：Faust、Jomosis
6 月 17 日，极客 Web3 和 BTCEden 在 Scroll 的 DevRel——Vincent Jin 的帮助下，有幸邀请到了 Scroll 的联创张烨，来解答关于 Scroll 和 zkEVM 的诸多问题。
期间双方不但谈到了很多技术话题，还谈到了 Scroll 的一些趣事，以及其赋能亚非拉实体经济的宏大愿景。本文是此次访谈的文字版记录，超过 1 万字，共包含至少 15 个话题：
ZK 在传统领域的应用空间
zkEVM 和 zkVM 在工程难度上的差异
Scroll 在实现 zkEVM 过程中遇到的难题
Scroll 对 Zcash 的 halo2 证明系统作出的改进
Scroll 是怎么和以太坊 PSE 小组展开合作的
在代码审计层面 Scroll 如何确保自己的电路安全可靠
Scroll 对未来的新版 zkEVM 及证明系统的简单规划
Scroll 的 Multi Prover 设计以及其 Prover 生成网络（zk 矿池）的搭建方式等。
除此之外，张烨老师在最后谈到了Scroll 将扎根在非洲、土耳其、东南亚等金融系统落后地区，打算为该地区人民创造实体经济场景以「脱虚入实」的宏大愿景。本文可能是让更多人更好理解 Scroll 的绝佳资料之一，推荐大家仔细阅读。
1.Faust: 请问张烨老师对于 ZK 在 Rollup 之外的应用怎么看？不少人习以为常地认为，ZK 的主要用处在混币器、隐私转账或 ZK Rollup 和 ZK 桥这些地方，但在 Web3 之外，比如传统行业里对 ZK 的应用还是很多的。您觉得未来 ZK 最有可能在哪些方向上被采用？
YeZhang：这是一个好问题，传统行业里做 ZK 的人，在五、六年前就在探索 ZK 的各种场景，区块链中用到 ZK 的场景其实非常小，这也是为什么 Vitalik 觉得十年后，ZK 的场景会和 blockchain 一样大。
我觉得在那些需要信任假设的场景中，ZK 会有很多用武之地。假设你现在需要处理一些繁重的计算任务，如果你在 AWS 上租服务器，运行自己的任务并得到结果，相当于你在自己控制的设备上做计算，然后你要支付租服务器的钱，但这笔钱往往并不便宜；
但如果我们搞计算外包的模式，很多人可以用自己闲置的设备或资源分担你的计算任务，你付出的成本可能比自己租服务器更便宜。但这里存在信任问题，你不知道别人返回给你的计算结果是否正确。现在假设说你在做一个很麻烦的计算，然后你把计算交给我来做，再给我钱。我过了半小时后随便交给你一个结果，你也没有办法相信这个结果是有效的，因为我可以随便编个结果。
但如果我能向你证明，交付的这个计算结果是对的，那你就可以放心了，并且也敢把更多计算任务外包给我来做。ZK 可以把很多不可信的数据来源变为可信的，这个功能非常强，通过 ZK，你可以把不可信但很便宜的第三方计算资源更高效的运用起来。
我觉得这个场景非常有意义，可以催生类似于外包计算的商业模式。在一些学术文献里，称其为可信计算（verifiable computation），就是把一个计算变得值得信任。除此之外，ZK 可以应用到数据库领域，假设在本地运行数据库太贵了，你决定走外包的路子，恰好一个人有富余的数据库资源，然后你把数据存储在他那边。你会担心对方更改你托管在他那的数据，或者说你一个 SQL query 后得到的结果对不对？
对此，你可以让对方生成一个 proof，如果这件事能做到，你可以把数据存储也外包出去，并得到一个 trustworthy 的结果。这和前面的可信计算彼此都是一大类应用场景。
此外还有很多应用实例，我记得有篇论文讲了 Verifiable ASIC，在生产芯片的时候，可以把 ZK 算法写到你的芯片上，当你用芯片运行程序的时候，产生的结果默认会带一个 Proof。这样一来我觉得很多东西都能代理给任何一台设备，生成可信的结果。
还有一个有点扯的东西，叫 Photo Proof 照片证明。比如说很多图片，你不知道是不是 P 过的，但我们可以通过 ZK 去证明相片没有被篡改过，比如可以在相机软件中加一些设置，自动生成一些数字签名，你拍完照片后，这个签名相当于给照片盖了章。如果有人把你拍的照片拿去 PS，搞「二次创作」，我们验证下签名就能识别出图片是被改动过的。
这里面我们可以引入 ZK，当你对原图进行了些许改动后，你可以用 ZK Proof 向别人证明自己只是对照片做了旋转、平移等简单操作，并没有篡改照片的原始内容，证明自己微调后的图片和原版图片基本一样，也就是证明自己没有篡改图片的核心内容搞「二次创作」。
这个场景还可以拓展到视频音频上，通过 ZK，你不必告诉对方自己对原版视频做了哪些改动，但可以证明自己没有篡改原版的核心内容，证明自己只做了一些无伤大雅的调整。此外还有很多有意思的应用，都是 ZK 能插一脚的。
目前，我觉得ZK 的应用场景还没有被广泛接纳的原因，在于其成本太高，现有的 ZK 证明生成方案，还不能做到对任意计算都实时生成证明，因为 ZK 的开销一般是原始计算的 100 倍到 1000 倍，当然我说的数字已经是压的比较低的了。
所以你想象一下，一个计算任务本来要算 1 小时，你现在给它生成个 ZK Proof，Overhead 可能是 100 倍，也就是要花 100 个小时来生成证明，虽然你可以用 GPU 或 ASIC 把这个耗时给缩短，但还是要付出巨大的计算开销，如果你要求我算一个很麻烦的东西，还要求我为此生成 ZK Proof，我可以拒绝这么做，因为这要额外耗费 100 倍的计算资源，最后落实到经济账上就很不划算。所以对于一对一的场景来说，生成一次性的 ZK 证明很昂贵。
不过，这也是为什么对于 Blockchain 来说，非常适合用 ZK，原因是区块链做的是冗余计算，有很多 1 对多的场景。区块链网络中不同节点做的是相同的计算任务，如果有 1 万个节点，那么相同的任务要被执行 1 万次。但如果你在链下完成任务，生成 ZK 证明，1 万个节点只验证 ZK 证明而不重跑任务，就不必再把原始计算重放 1 万遍了，相当于你用自己 1 个人的计算成本，和 1 万台节点搞冗余计算的成本做了置换，从整体的角度看，可以让更多人节约资源。
所以，其实链越去中心化越适合搭配 ZK，因为任何人都能近乎零成本的验证 ZKP，我们只要在初始生成证明的时候付出一定成本，就可以换来对大多数人的解放，这就是为什么区块链的公开可验证性非常适合 ZK，因为区块链里有很多 1 对多的场景。
还有一个上面没提到的点。现在区块链领域用到的 Overhead 比较大的这种 ZK 证明，都是非交互式的，就是你给我一个东西，我给你证明，然后就结束，因为在区块链中，你不可能反复的去跟链上交互。但有一种更高效、开销更低的证明生成方式，也就是交互式证明。比如说，你给我发一个 Challenge，我给你发一个东西，你再给我发一个东西，我再给你发一个，通过这种双方多次交互的方式，有可能把 ZK 的计算量级再降低下来。如果这种方式可以，就有可能解决大的 ZK 应用场景的证明生成问题。
Nickqiao：如何看待 zkML，也就是 ZK 和机器学习相结合的发展前景？
YeZhang：zkML 也是一个很有趣的方向，能把 Machine Learning 给 ZK 化，但我觉得这方面还是缺乏杀手级的应用场景。大家普遍认为随着 ZK 系统的性能提升，未来能够支持 ML 这个级别的应用，目前 zkML 的效率能够支持 gpt2 这种级别的应用，在技术上能做到，但只能做 ML 中的推理。归根结底，我觉得大家还是在摸索这块的应用场景，也就是到底什么样的东西才需要你证明其推理过程是对的，这个事情是挺刁钻的。
2.Nickqiao: 想请教下张烨老师，zkEVM 和 zkVM 在工程实现难度上的差异具体有多大？
YeZhang：首先，无论是 zkEVM 还是 zkVM，本质都是为某个虚拟机的操作码 / 指令集生成定制的 ZK 电路，而 zkEVM 的工程落地难度取决于你实现它的方式，在我们刚启动项目时，因为 ZK 的效率还没那么高，通过为 EVM 的每个操作码都写一个对应的电路，然后把电路组合起来，定制一个 zkEVM 是最高效的方式。
但这种方案的工程实现难度肯定很大，比 zkVM 大很多，毕竟 EVM 的指令集有超过 100 个操作码，每个操作码都要定制一套东西，然后组合起来，一旦有 EIP 为 EVM 增添新的操作码，比如 EIP-4844，zkEVM 都要相应的加新东西。最后你要写很长的电路并进行漫长的审计工作，所以开发难度和工作量要比 zkVM 大很多很多。
反之，zkVM 是自己定义了一套指令集 / 操作码，它自定义的指令集可以做的很简单，可以很 ZK friendly，你做出来一套 zkVM 后，不必频繁的更改底层代码，就能支持各种升级和预编译。所以zkVM 的主要工作量和后续升级维护的难度，就放在了编译器也就是把智能合约转化为 zkVM 操作码的那一步，这和 zkEVM 有很大不同。
所以，从工程难度来看，我觉得 zkVM 要比定制化的 zkEVM 更容易实现，但是如果要在 zkVM 上跑 EVM 的话，总体性能比定制化的 zkEVM 低很多，因为后者是专门定制的。但目前，Prover 生成证明的效率在过去两年间有了至少 3~5 倍甚至 5~10 倍的飞跃，zkVM 的效率在随之提升，现在用 zkVM 去跑 EVM，整体效率已经慢慢提上来了，未来 zkVM 在性能上的劣势可能被它易于开发维护的优势给掩盖住。毕竟对于 zkVM 和 zkEVM 而言，除去性能外的最大瓶颈就在开发难度上，必须要有一个非常强大的工程团队，才能维护好这样一套复杂的系统。
3.Nickqiao: 能否讲一下 Scroll 在 zkEVM 落地的过程中，是否遇到一些技术难题，又是怎么解决的？
YeZhang：一路走来的话，最大的挑战还是在于，最初启动项目时的不确定性太大。我们刚启动项目时，基本没有其他人做 zkEVM，我们是最早探索 zkEVM 从不可能变成可能的一个团队。在理论层面，项目刚开始的 6 个月就基本确定了一套可行的框架，而在后续实现的过程中，zkEVM 的工程量非常大，还有一些非常技术性的挑战，比如说你怎么动态的支持不同的 Pre-Compile（预编译），怎么去更高效地聚合操作码（opcode），这涉及到很多工程上的难题。
而且我们是唯一一个，也是最早支持 EC Pairing 椭圆曲线配对这个 Pre-Compile 的，像 Pairing 这种电路实现起来难度非常大，涉及到很多数学等错综复杂的难题，对写电路的人的密码学 / 数学功底，以及工程能力要求都很高。
然后在后期发展上，还要考虑技术栈的长期可维护性，以及要在什么样的时间节点，升级到下一代的 zkEVM 2.0。我们有一个专门的研究团队，一直在研究此类方案，比如通过 zkVM 的方式来支持 EVM，我们也有相关的论文去做这方面的一些讨论。
总结下来，我觉得之前的难点在于把 zkEVM 从不可能变为可能，面临的难题主要在工程落地和优化上。而下一阶段，更大的难点是在什么时候、通过什么样的具体方式，切换到一个更高效的 ZK 证明系统，以及我们怎么把目前的这套代码库过渡到下一代 zkEVM 身上，以及下一代的 zkEVM 能给我们提供什么样的新 Feature，这里面有大的探索空间。
4.Nickqiao: 听起来是 Scroll 已经考虑切换到别的 ZK 证明系统上了。据我了解，目前 Scroll 用的是基于 PLONK+Lookup 的一套算法，那么这套算法在目前是否是最适合实现 zkEVM 的，以及未来 Scroll 打算换用什么证明系统？
YeZhang: 首先我来简单回答下关于 PLONK 和 Lookup 的问题，目前这一套还是最适合实现 zkEVM 或者 zkVM 的系统，大部分的实现跟具体的 PLONK 和 Lookup 是绑定的。一般提到 PLONK 时，其实更多是用 PLONK 的 arithmetization，也就是电路的算术化表达方式去写 zkVM 的电路。
Lookup 是写电路时用到的一种方式，一种约束类型。所以当我们提到 PLONK + Lookup，指的是在写 zkEVM 或 zkVM 电路时，使用 PLONK 的约束格式，这种方式目前是最常见的。
而在后端方面，PLONK 和 STARK 的界限已经变得模糊，它们只是用了不同的多项式承诺方式，但其实很类似。即使采用 STARK + Lookup 的组合，跟 PLONK + Lookup 也是类似的，大家看的只是算法，两者的差别主要体现在 Prover 的效率、证明大小等方面。当然，就前端而言，Plonk + Lookup 来实现 zkEVM 还是最适合的。
关于第二个问题，就是 Scroll 未来打算切换到什么证明系统。因为 Scroll 的目的是永远让自己的技术和链的框架保持在 zk 领域里最顶尖的位置，所以我们肯定会用最新的一些技术。我们一直以安全性、稳定性作为最优先的目标，所以不会过于激进地切换自己的 ZK 证明系统，可能先通过一些 Multi Prover 做过渡，一步一步的摸索递进，来完成下一版的升级迭代。Anyway，要保证说这是一个平稳的过渡流程。
但就现在来说，切换到新的证明系统还很早，这其实是下一阶段比如未来 6 个月到 1 年的发展方向。
5.Nickqiao: Scroll 在当前基于 PLONK 和 Lookup 的证明系统上，有没有一些独特的创新？
YeZhang: 目前在 Scroll 主网上运行的是 halo2，halo2 最早源于 Zcash 这个项目团队，他们最早做了一个能支持 Lookup，支持灵活地写电路格式的一套后端系统。然后，我们和以太坊的 PSE 小组一起改造了 halo2，把它采用的多项式承诺方案从 IPA 换到了 KZG，把 Proof Size 变小了，从而能在以太坊上更高效的验证 ZK Proof。
然后我们在 GPU 硬件加速上做了很多工作，跟用 CPU 生成 ZKP 来对比的话，能让 ZKP 生成速度快 5~10 倍。总体来说，我们把原版 halo2 的多项式承诺方案替换成了更易于被验证的版本，并做了很多关于 Prover 的优化，在工程化落地上下了不少功夫。
6.Nickqiao: 所以 Scroll 现在是和以太坊 PSE 团队共同维护 KZG 版本的 halo2。您能否给我们讲一下，你们是怎样和 PSE 团队合作的？
YeZhang：Scroll 在启动项目前，我们本来就认识一些 PSE 团队的工程师，我们就有和他们聊，说自己想做 zkEVM，我们估计了一下这个效率是 ok 的。刚好在同一个时间节点，他们也想做同样的事，然后大家一拍即合。
所以，我们是从以太坊社区，从 Ethereum Research 那边认识了一起想做 zkEVM 的人，大家都想把 zkEVM 产品化落地，都有为以太坊服务的想法，所以很自然地开始了开源合作的模式。这种合作方式更像开源社区，而不是商业化的公司，比如我们每周都会通一次电话，同步一下进度，讨论遇到了哪些问题。
我们以这种方式去开源地维护了这套代码，从改进 halo2 到实现 zkEVM，这中间有很多探索的过程，我们相互会帮忙 Review 代码。你从 Github 的代码贡献量能看出来，PSE 他们写了一半，Scroll 这边写了一半，后续我们完成了代码的审计，并实现了一版真正产品化落地并在主网上运行着的代码。总结下来，我们和以太坊 PSE 的合作模式，更像是一个开源社区的路径，是自发的形式。
7.Nickqiao: 您刚才提到，要编写 zkEVM 的电路，对数学和密码学的要求非常高，既然如此，能摸清楚 zkEVM 的人估计很少。那么 Scroll 怎么保证电路编写的正确性以及少出 bug？
YeZhang：因为我们是开源的代码，基本上每一个 PR 都会有我们的人和以太坊的一些人，以及一些社区成员去 Review，有比较严格的审计过程。同时我们在电路审计方面也花了很多钱，超过 100 万美元，找了这个行业里最专业的密码学和电路审计机构，比如 Trail of Bits，Zellic 等。我们链上智能合约的部分也找了 openzepplin 来审计，基本上所有和安全相关的东西都动用了最高档的审计资源。我们内部还有专门的安全团队去做测试，持续提升 Scroll 的安全性。
Nickqiao: 除了这种审计方式，有没有形式化验证等在数学上比较严谨的方式？
YeZhang：我们其实很早就看过就 Formal Verification（形式化验证）这个方向，包括以太坊最近也在思考，怎么给 zkEVM 做形式化验证，这其实是一个很好的方向。但就目前来说，要给 zkEVM 做完整的形式化验证还比较早，只能从一些小的模块开始摸索，因为 Formal Verification 运行是有成本的，比如你要给一套代码去运行 Formal Verification，你要给它先写一个 spec，但写 spec 并不容易，这套东西要完善需要很长时间。
所以我觉得目前还没有到给 zkEVM 做完整的形式化验证的阶段，但我们会持续的跟以太坊在内的外部合作者去积极探索怎么做 zkEVM 的形式化证明。
目前来说，最好的方式其实还是人工审计，因为你就算有了 spec，有了 Formal Verification，如果 spec 写错了，那你还是会出问题。所以我觉得，目前最好还是先通过人工审计，然后通过开源和漏洞悬赏的方式，确保目前 Scroll 代码的稳定性。
但是，在下一代 zkEVM 中，关于怎么去做形式化验证，怎么去设计一个更好的 zkEVM 进而更容易的写出来 spec，通过形式化验证的方式去证明它的安全性，是以太坊的终极目标。就是说，当一个 zkEVM 被形式化验证以后，他们就可以彻底放心地将其实施到以太坊主网上。
8.Nickqiao: 关于 Scroll 采用的 halo2，如果要支持 STARK 等新的证明系统，开发成本会不会很大。能否实现一种插件化的体系，同时支持多个证明系统？
YeZhang: halo2 是一个非常模块化的 ZK 证明系统，你可以替换它的域、多项式承诺等，只要把它用的多项式承诺从 KZG 换成 FRI，基本就可以实现一个 halo2 版本的 STARK，这个事也确实有人做了，所以halo2 要支持 STARK，这种兼容是完全 ok 的。
然后在实际落地中会发现，如果你要追求极致效率的话，越模块化的框架越可能导致一些效率问题，因为你为了模块化牺牲了定制化的程度，会有付出一些代价。我们在持续关注一个问题，就是未来的发展方向该是模块化的框架，还是非常定制化的框架，尤其像我们有足够强的 ZK 开发团队，可以维护一个独立的证明体系，然后让 zkEVM 变得更高效。当然上述问题需要做出一些权衡，但就 halo2 而言，它可以支持 FRI。
9.Nickqiao: 目前 Scroll 在 ZK 方面主要的迭代方向是什么？是优化目前的算法、增加一些新的 feature 之类的？
YeZhang：我们的工程团队核心在做的事情，还是要把目前的 Prover 性能再提升一倍，然后 EVM 兼容性也要做到最好。在下一版升级中，我们会继续保持自己在 ZK Rollup 里最 EVM 兼容的这样一个位置，现在其他所有的 zkEVM 应该都没有我们的兼容性好。
所以这是 Scroll 工程团队一方面在做的，就是继续优化 Prover 和 Compatibility，并且要降低费用。我们现在已经投入了很多人力，去研究下一代 zkEVM，大概投入了一半的工程力量，以实现分钟级甚至秒级的 ZK 证明生成，让 Prover 的效率变得高起来。
同时，我们在探索新的 zkEVM 执行层，我们的节点之前用的是 go-ethereum，但现在有性能更好的 Rust 版本以太坊客户端 Reth。所以我们在研究，怎么把下一代 zkEVM 跟 Reth 客户端更好地结合，把整个链的性能给提升上来。我们会考察 zkEVM 如果围绕着新的执行层，该用什么样的实现方式和过渡形式最好。
10.Nickqiao: 那么像 Scroll 在考虑支持的多样化证明系统，有没有必要在链上实现多个 Verifier 合约呢？比如做交叉验证
YeZhang：我觉得这是两个问题，首先就是说，有没有必要去做模块化的证明系统和多样化的 Prover，我觉得这么做是有意义的，因为我们从始至终，就是开源项目。你把开源出去的这套框架做的越通用化，会吸引来越多人帮你造轮子，你的社区也会因此壮大，后面在项目开发或者工具使用上，可以自然而然的引用外部力量。所以我觉得，如果能做一个不光给 Scroll 自己使用，还能给其他人用的 ZK 证明框架很有意义。
然后第二个事情，就是在主网上做交叉验证这个事，这其实和证明系统本身是否是多样化的，是否支持 STARK 或 PLONK 是正交的话题。一般很少有项目把同样的 zkEVM 用 PLONK 验证一遍，再用 STARK 验证一遍，这是很少的，因为这么做对安全性的提升不大，反而会让 Prover 付出更高成本，所以一般不会出现这种交叉验证的情况。
我们其实在做一个东西叫 Multi Prover，可以有两套 Prover 一起证明相同的一个 Block，但是会在链下把两个 Proof 聚合到一起再放到链上去验证。所以，并不会在链上做 STARK 和 SNARK 之间的交叉验证。我们的多 Prover 方案，是为了保证在其中一套 Prover 的代码出问题时，另一套代码可以兜底，一套系统出了 bug 另一套能照常运行，所以这和交叉验证是另一个话题。
11.Nickqiao: Scroll 的 Multi Prover，每个 Prover 运行的证明程序会有什么不同？
YeZhang：首先，假设我有一个正常的、用 halo2 写的一套 zkEVM，有一个正常的 Prover 生成 ZKP 再去链上做验证，但这里有个问题，zkEVM 很复杂，有可能出现 bug。如果出现 bug，比如被黑客或者项目方拿去利用这个 bug 生成一个 Proof，最后能把大家的钱提走，这肯定是不好的。
Multi Prover 的核心思想，其实是 Vitalik 最初在 Bogota 活动上第一次提出的。意思是说，如果一个 zkEVM 可能出现 bug，那你可以同时跑不同种类的 Prover，比如说可以用 TEE 的基于 SGX 的 Prover（Scroll 目前用了这套），或是基于 OP，或用 zkVM 运行 EVM 的方式去跑一个 Prover。Anyway，这些 Prover 要同时去证明一个 L2 Block 的有效性。
假设有 3 个不同类型的 Prover，当且仅当它们生成的 3 个不同 Proof 都通过验证，或者说 3 个 Proof 中至少 2 个通过验证时，你才能在以太坊链上敲定 Layer2 的最终状态。Multi Prover 可以保证在一个 Prover 出问题时，其他两个 Prover 能够顶替，最后整个 Prover 系统的稳定性会很好，使 ZK Rollup 的安全性得到提升。当然这也会引入其他缺点，比如 Prover 的整体运行成本会提高，我们有一篇专门的 Blog 介绍了这些概念。
12.Nickqiao: 那现在关于 Scroll 的 ZK 证明生成这块，其证明生成网络（ZK 矿池）是怎么建设的，是自建的，还是会把一些计算外包给如 Cysic 的第三方？
YeZhang：就我们目前来说，整个设计其实很容易，我们想让更多的 GPU 持有者或者矿工参与进我们的这个证明网络（ZK 矿池）里，但目前来说，Scroll 的 Prover Market 还是我们自己运营的，我们会和第三方的一些有 GPU 集群的人合作，他们去运行 Prover，但这是为了主网的稳定性，因为你的 Prover 一旦去中心化后，会有很多问题。
比如说，你的激励机制设计不好的话，如果没有人给你产生 Proof，网络会在性能上受到影响。前期我们选择了相对中心化的方式，但是整个接口和框架的设计，非常容易切换到去中心化的模式。人们完全可以用我们的技术框架做一个去中心化的 Prover 网络，再加一些激励就行了。
但目前来说，为了 Scroll 的稳定性，我们的 Prover 生成网络还是中心化的，未来我们会更大范围的把 Prover 网络给去中心化，每个人都可以去运行自己的 Prover 节点，包括我们也在跟诸如 Cysic，Snarkify network 等等第三方平台合作，看一下如果有人想通过我们的技术栈去启动自己的 Layer2，可以去接到第三方的 Prover Market 里去直接调用对方的 Prover 服务。
13.Nickqiao: Scroll 在 ZK 硬件加速方面有没有什么投入或者产出成果？
YeZhang：这其实就是我之前提到的，Scroll 最初做的两大方向，第一个就是把 zkEVM 从不可能变成可能，第二个就是我们为什么能把它从不可能变成可能，是因为 ZK 硬件加速的效率提升了。
我其实在做 Scroll 之前的 3 年，就开始做 ZK 硬件加速方面的工作，我们也有关于 ASIC 或是 GPU 硬件加速的论文。我们对 zk 硬件这块非常了解，无论从芯片还是从 GPU，无论是从学术还是从实践上，都有非常强的 Credibility。
但是Scroll 自己会专注于 GPU 方面的硬件加速，因为我们没有专门做 FPGA 或是做硬件的资源，也没有流片的专门经验。所以我们会选择跟 Cysic 这类硬件公司合作，他们去专门做硬件这块，我们就关注 GPU 加速这样一个偏软件的领域。我们自己的团队会 GPU 硬件加速做优化，然后将成果开源，外部的合作伙伴可以去做专门的如 ASIC 等芯片，我们也会经常的讨论交流一下彼此遇到的问题。
14.Nickqiao: 您刚才提到，Scroll 未来会切换到其他的证明系统。那像一些新的证明系统，比如说 Nova 或其他的一些算法，您能不能给我们科普一下？他们有什么优点？
YeZhang：对。我们目前正在内部探索的一种方向，是使用更小的域，能跟我们目前的这些证明系统结合，比如说像 PLONKy3 这样的一些库，它可以很快的实现小域上的一些运算。这是一个 Option，怎么能从我们原来的大域切换到小域，这是一种。
我们内部也在看一些方向，比如一个叫 GKR 的证明系统，它生成证明的耗时是线性级别的，在复杂度上面比其他的 Prover 要低很多，但目前没有特别成熟的工程落地方式。这块要做的话，要投入更多的人力物力。
但 GKR 的好处是，在处理重复计算时效率很高，比如说一个签名计算了 1000 次，GKR 可以很高效的给这样的东西生成证明。ZK 桥 Polyhedra 就是用 GKR 去证明签名的，效率很高。然后，EVM 有很多重复的计算步骤，可以通过 GKR 更好的把生成 ZK 证明的成本降低下来。
然后还有一些好处，就是说GKR 这套证明系统，它需要的计算量确实要比其他系统小很多。比如说，你通过像 PLONK 或 STARK 这样的方式，去证明一个 keccak 哈希函数的计算流程，你需要把中间所有的变量、keccak 整个计算过程中产生的所有东西，全部 Commit 一遍、全部算一遍。
但是 GKR 的话，你只需要 Commit 它很短的输入那一层，它可以把中间的这些参数全部通过传递关系给表示出来，不需要你去 Commit 中间的这些变量，会让计算成本降低很多。GKR 背后的这个 sum check 协议，也被 Jolt 或者 Lookup argument 或比较火的一些新框架所采用，所以这个方向是比较有潜力的，我们也在认真研究这个方向。
最后就是你提到的 Nova。感觉 Nova 在几个月前大火了一阵，因为 Nova 也比较适合处理这种重复计算，比如你本来要证明 100 个任务，对此的 overhead 是 100。但 Nova 的做法是，我可以把这 100 待证明的任务一个叠一个，一个叠一个，每两个随机进行线性组合，最后组合出来一个最终要证明的东西，然后只要证明最终这个任务，就可以证明前面那 100 个任务都有效，这样的话可以把原本为 100 的证明 overhead 大幅压缩。
然后，后续的一些 Hyper Nova 之类的工作，可以把 Nova 扩展到除了 R1CS 以外的一些证明系统，一些其他的写电路的格式，可以支持 lookup 或是别的东西，这样才能让一个 VM 更好的被 Nova 这类 ZK 证明系统给证明。但目前来说，Nova 和 GKR 的产品化完善程度不够，目前市面上没有很好的关于 Nova 的高效的库。
并且因为 Nova 是这种折叠的方式，它的设计思路和其他的证明系统不太一样。我觉得它还很不成熟，只是一个比较有潜力的备选方案。但目前来看，从 Production Ready 的角度来说，还是最常见的那几套 ZK 证明系统更早被投入市场，但长期来看说不好说哪个最好。
15.Faust: 最后想聊一下价值观的问题。记得您去年说去了一趟非洲后，觉得区块链最有可能在非洲这种经济落后的地方被大规模采用，可以谈谈这方面的想法么？
YeZhang：我其实一直有一个非常强的信念，就是区块链在经济落后的国家真的有应用空间。其实你现在看到，区块链这个行业里各种 Scam 比较多，让很多人对行业的信心都动摇了，就是为什么要在一个没有实际价值的行业里工作，区块链这个东西到底有没有用。除了炒币或者说赌博行为外，有没有一些更实际的应用场景？
我觉得去一些经济落后的地方，尤其像非洲，你更能感受到区块链的潜力。因为在中国或西方国家生活的人，其货币体系、金融体系非常健全，比如中国人民用微信和支付宝就很开心，人民币也相对稳定，你没有必要通过区块链的方式去做支付。
但在像非洲这样的地方，他们是真的对区块链和链上稳定币有需求，因为他们的货币通胀真的非常严重，举个例子，某些非洲国家的通胀率每半年就能达到 20%，这样的话每次你隔半年买菜，价格就要提升 20%，如果是一年就可能提升更多。这样的话它们的货币是一直在严重贬值的，资产也在贬值，所以很多人都希望拿美元拿稳定币或是拿其他发达国家的稳定的货币。
但非洲人很难去申请发达国家的银行账户，稳定币对于他们来说是一种刚需，就哪怕没有区块链，他们也想拿着美元这类东西。显然，对于非洲人来说，持有美元最好的方式就是拿稳定币，他们每次一发工资，就可以去币安把这个钱赶紧换成 USDT、USDC，需要用钱的时候再把它取出来，这样的话会导致他们有对区块链的真实需求和实际应用。
其实你去了非洲后，会明显感到像币安很早就在非洲布局了，做的非常的扎实，在那里很多非洲人真的对稳定币有依赖，就是大家宁可信任交易所，都不一定信任自己本国的货币体系，因为很多非洲人在本地可能都申请不了贷款。假设你要借 100 块钱，银行会开出各种手续和条件，最后你可能搞不到贷款，但在交易所或者其他的一些链上平台，对此要灵活的多，所以我觉得在非洲，人们对区块链有更多更实际的应用和需求。
当然，我说的这些大多数人并不太了解，因为大多数用 Twitter 的人不关心这个，或者也不会在 Twitter 上看得到这些。像非洲这样比较落后的地区有很多，包括在币安的用户量比较多的一些国家，如土耳其、一些东南亚国家、阿根廷，你会发现这些地区的人用交易所的次数非常多。所以我觉得，在这些地方，币安的案例已经证明了人们对区块链有非常强的需求。
所以我觉得这些地区的市场和社区是真的很有必要去做的，包括我们也有专门在土耳其的团队，我们在土耳其有一个非常大的社区，然后我们要去慢慢的在前面提到的非洲、东南亚、阿根廷等国家去过渡。而且我觉得，在所有的 Layer2 里面，Scroll 最有可能成功的在上述国家扎根，因为我们的团队文化就相当多元，虽然三个创始人是华人，但我们整个 team 大概包含至少二三十个国家的人，虽然我们总共也就七八十人，每个地区基本上都有至少两三个人，所以整体文化很多元。相比之下，你可以想到的其他 Layer2，基本都是西方人为主，像 OP、Base 和 Arbitrum 就是完全西方化的。
综上，我们希望能在非洲这种经济落后、对区块链有实际刚需的地方，给这些地方的人做一套真的有实际应用场景的基础设施，有点像「农村包围城市」的感觉，去慢慢地把 Mass Adoption 给做起来。所以我觉得，我在非洲之行中的感触还是很深的，但目前来说，Scroll 对于一些人而言使用成本还是有些贵，所以我还是挺希望能进一步地把成本降低，比如说十倍或者更多，然后通过一些其他的方式，把用户带到区块链里来。
其实还有一个前面没提到的、可能有些不恰当的例子，就是波场 Tron。大家对它可能有一些不好的印象，但确实很多经济落后的国家的人都在用它，因为 HTX 之前的交易所策略和很多其他的营销策略，慢慢的让波场真的有自己的网络效应。我觉得，如果以太坊生态里面能有一条链，能把这些用户带到以太坊生态里，就是一个非常大的成就，而且也是在给这个行业做一些非常正面的事情，我觉得这是很有意义的。
现在很多以太坊二层在卷 TVL 数据，卷来卷去，你是 6 亿美金，我们可能 7 亿美金，它是 10 亿美金，但我觉得相比于这些东西，更震撼的消息是，泰达突然说我在这个二层或者哪条链上又增发了 10 亿枚 USDT，或者说发行了多少多少钱的稳定币。一条链如果自然增长到了这样一个程度，不需要通过空投预期来捕获用户需求，那个时候才算是比较成功的状态，至少是我比较满意的一个状态，就是能让用户的真实需求大到一定程度，使得越来越多的人真的在日常使用你这条链。
最后我其实想插个题外话，接下来 Scroll 生态会有很多活动，希望大家多关注一下我们的后续进展，多参与一下我们的 defi 生态。
zkEVM 升级叙事 zkVM，这五个核心项目为何值得关注？撰文：0XNATALIE
在寻找区块链的可扩展性和计算效率的解决方案中，零知识证明（ZKP）技术尤为重要。zkVM（Zero-Knowledge Virtual Machine）是这一技术的具体应用之一。zkVM 作为一种基于 ZKP 的通用计算平台，能够在不泄露执行细节的前提下验证计算的正确性。并支持在链外处理计算量大的任务，仅将验证结果提交到区块链，极大地提升了区块链的扩展性。目前，市场上如 a16z、Taiko、ZKM 等多个项目正在开发 zkVM 解决方案。
zkVM 简介
zkVM 是一种基于零知识证明的通用计算平台，能够执行各种计算任务，包括执行智能合约、数据处理和复杂算法运算等。其核心功能是生成零知识证明，这种证明能验证计算的正确性而不透露执行细节。通过 SNARKs 技术，这些证明可以在链下进行验证，验证者不需要在区块链上重新执行整个计算过程，付出昂贵的计算成本。
此外，zkVM 的设计不仅仅限于加密货币交易，它的通用性使其可以在多种应用场景中部署，如医疗数据处理、供应链管理、秘密投票系统等，这些应用都需要在确保数据安全性的同时，验证处理逻辑的正确性。
zkVM 对比其他虚拟机
传统的虚拟机（VM）通常指的是在物理硬件上虚拟出一套完整的计算环境，核心功能是模拟硬件环境，允许在同一个物理硬件上运行多个操作系统或应用。这些虚拟机主要通过硬件虚拟化技术和操作系统级别的隔离来实现其功能。它们通常不涉及到对运行在其中的应用程序或数据进行加密验证的过程。
零知识虚拟机（zkVM）使用零知识证明技术来确保程序执行过程的正确性，这种技术适用于任何可以被编译和运行在虚拟机上的程序。zkVM 的设计注重于提供一种通用的计算验证平台，适用于各种应用场景，并支持多种编程语言，如 Rust、C/C++ 和 Go，开发者可以使用自己熟悉的语言来构建应用程序。计算和验证过程往往比传统 VM 更耗时，因为生成零知识证明是一个计算密集型的过程，要求大量的计算资源，这在很大程度上限制了交易处理速度（TPS）。当前的 zk 技术，虽然在单个证明生成方面已经取得显著进展，但在高负载条件下，处理大规模交易的能力仍有限。每个证明的生成可能需要数秒到数分钟不等，这对于那些需要高吞吐量的应用（如大规模支付处理系统）构成了限制。
zkEVM 是 zkVM 的一个特定实现，专为以太坊生态设计，旨在通过零知识证明增强以太坊的可扩展性。它完全兼容以太坊的智能合约和开发工具，比如 Solidity 和 Vyper，现有的以太坊应用可以无缝迁移至 zkEVM，无需任何修改。因此，zkEVM 更像是以太坊的一个特定优化版本。
zkVM 相关项目
尽管面对 zk 技术的挑战，市场上仍然有一些项目方在开发 zkVM 解决方案上展现出了技术实力。
Jolt：性能出色
4 月 9 日，a16z 发布 zkVM 解决方案 Jolt 的初步实现，Jolt 是一种新型的 zkVM，主要特点是运行速度快，而且对开发者来说更易于扩展和进行代码审计。
与其他基于 STARK 框架的 zkVM 不同，Jolt 利用了 Lasso 查找参数和基于 sumcheck 的技术。这种创新方法不仅简化了新虚拟机指令的实施，还提高了系统的整体速度。Jolt 的设计强调易用性和效率，它的代码库非常精简，Jolt 中的每条 CPU 指令只需 50 行 Rust 代码即可实现。此外，Jolt 的性能也非常出色，在初步基准测试中，执行零知识证明的速度比 RISC Zero 快 5 倍以上，比 SP1 快 2 倍。
RISC Zero：高效处理复杂的计算
RISC Zero 是一种具有递归 SNARK 结构的 zkVM ，其特点在于采用了一种支持证明相互嵌套的递归方法。在 SNARKs 技术中，递归可以将复杂的证明分解成更小、更易于管理的证明。这些小型证明可以独立进行验证，并最终合并成一个完整的大证明，这一过程不会影响证明的有效性。RISC Zero 的独特之处在于其实现递归的方法，将多层证明无缝集成到一个单一的证明链中，不仅减少了计算负荷和需要处理的数据量，还能在多个计算步骤中保持验证过程的安全性和完整性。
RISC Zero 的另一个独特之处在于它使用了 RISC-V 指令集，这是一种开放式标准 ISA（指令集架构），旨在实现可扩展性和可扩展性。这一选择确保了 RISC Zero 可以利用广泛的工具和支持生态系统，使其与其他可能使用专有或不太通用架构的 zkVM 相比，更易于访问和集成到现有系统中。
去年他们成功完成了 4000 万美元的 A 轮融资。此轮融资由 Blockchain Capital 领投，，其他知名投资者包括 Bain Capital Crypto、Galaxy Digital、IOSG Ventures、RockawayX、Maven 11、Fenbushi Capital、Delphi Digital 等参与其中。
Succinct：开发者友好
Succinct 开发了 zkVM SP1，SP1 专为执行以 Rust 或任何其他可通过 LLVM 编译的语言编写的代码而定制，灵活性和易用性更高。SP1 支持模块化架构，允许开发人员通过 「预编译」来定制和扩展其功能。预编译指特定的、可由开发者添加或修改的模块，这些模块增强了核心虚拟机的功能，使得它可以更高效地处理特定的任务或运算。
此外，SP1 构建了去中心化的证明者网络，简化了证明的部署和执行，从而降低了使用高级加密方法的门槛。该网络使开发人员只需点击一下就能高效地生成证明，提供了一种简化的方法。
3 月，Succinct 完成了 5500 万美元的融资。此次融资由 Paradigm 领投，参与的投资者包括 Robot Ventures、Bankless Ventures、Geometry 以及天使投资人 Eigenlayer 的 Sreeram Kannan 和 Polygon 的联合创始人 Sandeep Nailwal 等。5 月 13 日，Succinct 宣布上线 SP1 测试网。
Taiko：多证明系统
Taiko 已经开始从使用 zkEVM 转型至使用 zkVM，它的 zkVM 独特之处在于其对多证明系统的运用。多证明概念由 Vitalik 提出，Taiko 表明自己是第一个实施这个概念的项目，将于 5 月底主网上线时直接支持此多证明系统。这种系统允许 Taiko 的 zkVM 生成多种类型的证明，从而提高了系统的安全性和健壮性。即使其中一种证明类型出现问题，其他类型的证明可以继续确保系统的正常运行并及时检测到任何错误的状态转换。此外，还采用了 Halo2-KZG 证明系统，使得处理复杂计算和大规模交易时能够保持高效和低成本。
3 月，Taiko 完成 1500 万美元 A 轮融资，由 Lightspeed Faction、Hashed、Generative Ventures 和 Token Bay Capital 共同领投，Wintermute Ventures、Flow Traders、Amber Group、OKX Ventures 和 GSR 等参投。
ZKM：MIPS 架构简单且稳定
ZKM 是 Metis 基金会孵化的 zkVM 项目，采用 MIPS 架构，将其与零知识证明技术结合创建 zk 虚拟机。这种设计使 ZKP 更加与系统内部的计算处理方式相契合，加快操作速度并减少与单独实施 ZKP 协议相关的计算开销。并且当前大多数的 zkVM 使用 Rust 语言，而 ZKM 提供 Golang 原生支持。
MIPS（Microprocessor without Interlocked Pipeline Stages）是第一代精简指令集计算机架构。 MIPS 指令集相对简单且稳定，可以被广泛应用于各种计算设备和嵌入式系统中，具有良好的通用性和适应性，基于 MIPS 架构的 ZKM 系统可以更容易地进行开发和部署。
zkMIPS 将整个 MIPS 程序分为多个段。再将每个段的指令分成四种类型并归入相应的四个模块表。zkMIPS 使用 STARK 证明方法，对每个模块表中的指令进行独立验证，确保表中的每项操作都是正确的以及程序段中的每条指令都包含在其相应的模块表中。之后再验证各个程序段的执行序列与整个程序的执行匹配。通过这种方式，即使是在链下执行的程序也能在链上得到验证，增强了程序执行的透明度和信任度。
ZKM 最近推出了一种新的信任最小化多链互操作性基础设施 Entangled Rollups， 利用 zkMIPS 来构建一个无需信任的、去中心化的多链互操作框架。不像第三方的 zk 桥接仅通过快照验证资产转移，而是所有计算都可以被验证，所以非常安全。这种互操作性的关键在于存在一个通用的证明机制，可以在一个区块链上生成证明，然后在另一个区块链上进行验证。ZKM 与其他 zkVM 不同点之一就是可以生成的一个适用于所有操作零知识证明。ZKM 将安全性嵌入到 CPU/MIPS 架构的底层，使得所有在该架构之上的软件都可以享受到相同的安全性，而无需每个软件都单独进行零知识证明的过程。
此外，ZKM 的特点还有：
与所有虚拟机兼容：ZKM 位于每个虚拟机下方，使其与各种区块链智能合约引擎 VM 兼容，如 MoveVM（zkMVM）、WASM（zkWASM）和 RustVM（zkRVM）等。
即插即用：开发人员可以在不更改现有代码库的情况下采用 ZKM。提供了低成本的采用，并允许使用不同的智能合约语言甚至传统编程语言。
长期稳定性：MIPS 指令集具有稳定性，不需要随着不断更改的 EVM 而更改指令集，为开发提供了更稳定的环境。
zkVM 的未来展望
随着区块链技术的不断成熟和前沿公司的不断探索，zkVM 的性能在不断提升，我们可以预见到 zkVM 会在加密世界中扮演越来越重要的角色，成为关键技术的一部分。特别是在数据敏感性和对跨链安全性需求日益增加的当下，zkVM 提供的能力适配市场需求。我们期待攻克各种技术难点，比如电路优化和证明系统本身的优化，推出完美适配各种编程语言的 zkVM，将更多的开发者带往 Web3 新时代。
NFTScan 正式上线 Polygon zkEVM NFTScan 浏览器和 NFT API 数据服务2024 年 3 月 26 号，NFTScan 团队正式对外发布了 Polygon zkEVM NFTScan 浏览器，将为 Polygon zkEVM 生态的 NFT 开发者和用户提供简洁高效的 NFT 数据搜索查询服务。NFTScan 作为全球领先的 NFT 数据基础设施服务商，Polygon zkEVM 是继 Bitcoin、Ethereum、BNBChain、Polygon、Solana、Arbitrum、Optimism、Aptos 等区块链之后，NFTScan 浏览器支持的第 24 条区块链网络。
Polygon zkEVM 是基于 zk Rollup 搭建的以太坊 Layer 2 层 的 zkEVM 扩容方案，此方案采用 ZK 证明来降低交易费用并提高吞吐量，同时保持以太坊 L1 的安全性。具体来说，L2 层执行交易、完成复杂计算，将多个交易数据批量处理压缩打包，并创建一个零知识证明结果提交至主网（L1）上进行证明验证，主网验证此证明正确后，将数据存储在主网上，共享主网安全。
Polygon zkEVM 与其他一些 zkEVM 项目的不同在于，它是 Type 2 zkEVM，即力求完全等效于 EVM，但不完全等效于以太坊。开发人员无需修改任何代码就可将与 EVM 兼容的链上应用迁移至该链上，也可使用所有以太坊工具在 zkEVM 链上无缝协作。同时，可以对保存以太坊状态等内容的数据结构进行更改，这些是 EVM 本身无法直接访问的结构。因此在以太坊上运行的应用程序几乎总是可以在 Type 2 zkEVM rollup 上运行。
Polygon zkEVM NFTScan：https://zkevm.nftscan.com/
根据 Polygon zkEVM NFTScan 的数据显示：截止到 2024 年 3 月 26 日，Polygon zkEVM 网络上共发行了 1,028,074 枚 NFT 资产，累计发布了 4,451 个 NFT Collection 项目，共产生了 1,880,442 条链上交互记录，有过交互的钱包地址 487,485 个，共累计交易额 5.09 eth 。
作为 Polygon zkEVM 生态中的重要 NFT 数据基础设施，NFTScan 将持续进行功能开发和产品优化，为 Polygon zkEVM 生态内的 Web3 开发者和 NFT 用户提供优质的 NFT API 数据服务和 NFT Explorer 搜索服务。
目前，NFTScan 开发者平台也已经同步上线了 Polygon zkEVM 网络的 NFT API 数据服务，目前对外开放了多个 API 查询接口，满足各种业务场景下对 Polygon zkEVM 链上 NFT 数据的索引需求。如果你是 NFT 和 Web3 领域的开发者，欢迎使用 NFTScan 开发者平台提供的 Polygon zkEVM 网络的 NFT API 数据服务，低门槛的快速在 Polygon zkEVM 网络上构建产品和协议。
Developer: https://developer.nftscan.com/
API Docs：https://docs.nftscan.com/
关于 NFTScan Labs
NFTScan Labs 是一个聚焦在 Web3 领域的开发者组织，成立于 2021 年 3 月份。NFTScan Labs 目前在全球拥有 20+ 位成员伙伴，分布在香港、上海、北美、新加坡等地，团队核心成员从 2016 年开始涉足区块链领域，有多年开发经验和行业前沿认知，对加密钱包、区块链安全、链上数据追踪、DeFi、预言机、NFT 等领域有深入的研究和研发经验。NFTScan Labs 旗下有 3 个核心业务，分别是 NFTScan.COM 数据基础设施、Mint Blockchain L2 网络，以及 NFTScan Labs 面向 Web3 开发者的投资孵化业务。
Polygon PoS 与 Polygon zkEVM：你需要知道的区别来源：Moralis
作者：Moralis
编译：Techub News-Morffi
编辑：Techub News-Junge
Polygon PoS 是一种Layer 1 的侧链，就像Gnosis、Avalanche 或其他Layer 1 侧链一样。 而Polygon zkEVM 是一个ZK Rollup，也是一个EVM，它与以太坊兼容。 本文中将详细介绍两者间区别，你会看到它们融合在一起，将是极具可扩展性的。
目录
概述
什么是 Polygon PoS？
什么是Polygon zkEVM？
框架
共识机制
智能合约兼容性
安全
数据可用性
Polygon PoS 与 Polygon zkEVM
Polygon PoS 与 Polygon zkEVM 使用案例
总结：Polygon PoS 与 Polygon zkEVM
以太坊网络的可扩展性问题已不是秘密，而且在过去几年中一直存在。再加上人们对基于以太坊的去中心化应用程序(Dapps)的需求不断增长，这清楚地表明了对可扩展且具有成本效益的解决方案的需求。著名的以太坊扩展解决方案 Polygon 提供了两种不同的方法来应对相关挑战： Polygon PoS 和 Polygon zkEVM。但这两种解决方案是什么？它们之间有什么区别？本文将比较并探讨 Polygon PoS 与 Polygon zkEVM 之间的差异，为您解答这两个问题！
概述
本文中，我们首先探讨 Polygon PoS 和 Polygon zkEVM 的复杂性。然后，我们将比较 Polygon PoS 和 Polygon zkEVM，以突出这两种扩展解决方案的主要异同点。在此过程中，我们将研究它们的架构、共识机制、数据可用性等。还分别探讨 Polygon PoS 和 Polygon zkEVM 的一些突出使用案例。最后，向你介绍 Moralis 的 Web3 API 套件——用于构建与 Polygon 兼容的 Dapp 的终极工具！
让我们先来探索一下 Polygon PoS 的来龙去脉！
丨 什么是 Polygon PoS？
Polygon 股权证明(PoS)最初于 2017 年作为 Matic 网络推出，是以太坊区块链的二层(L2)扩展解决方案。此外，该网络利用 PoS 共识机制和 "Plasma "框架创建了一个与以太坊主网并行运行的侧链。通过这种方式，Polygon PoS 可以解决以太坊网络的可扩展性问题，降低交易费用并显著提高吞吐量！
Polygon PoS 是 Web3 领域最成熟的协议之一。该网络承载着成千上万的去中心化应用程序(Dapps)，平均每天处理三百多万笔交易，而行业领导者们也正在该链上进行建设。
那么，基于 Polygon PoS 构建的主要好处有哪些？
成本低：与以太坊主网相比，Polygon PoS能够提供更低的Gas费，每笔交易的平均成本约为0.015美元。
社区支持：该网络具有高度活跃和参与的开发者社区。此外，Polygon PoS 提供 24/7 开发支持。
兼容 EVM：Polygon PoS 兼容 EVM，这意味着你可以毫不费力地将 Dapp 从以太坊部署到该网络，并在构建项目时利用你熟悉的开发工具，包括 MetaMask、Truffle 等。
成熟：Polygon PoS 得到了 Web2 和 Web3 领域一些最重要品牌的信任。 此外，由于已经建立了用户群，你的项目很容易就能加入新用户。
丨 什么是Polygon zkEVM？
Polygon zkEVM 与 Polygon PoS 非常相似，也是一种去中心化的以太坊 L2 扩展解决方案。这种 L2 扩展解决方案利用加密零知识 (zk) 证明为链外交易计算提供有效性和快速最终确定性——这种方法也称为 zk-rollup！
Zk-rollups 可以通过发布零知识有效性证明透明地执行智能合约，同时保持与 EVM 的操作码兼容性。因此，Polygon zkEVM 完全等同于 EVM，这意味着绝大多数现有的以太坊工具、智能合约和钱包都能与该网络无缝兼容。
以下是 Polygon zkEVM 的一些主要优点：
低成本： Polygon zkEVM 利用零知识证明来最大限度地降低交易成本。这会降低最终用户的总使用成本，从而提供更具吸引力的用户体验。
高性能： Polygon zkEVM 通过频繁的有效性证明实现快速网络最终确定。此外，凭借高性能，你可以为各种应用创建许多不同类型的 Dapp。
EVM 等效性：由于完全等同于 EVM，您可以直接在 Polygon zkEVM 上使用任何 EVM 智能合约、钱包和开发工具。因此，大多数现有的以太坊 Dapp 都能在网络上无缝运行。
安全性：使用 Polygon zkEVM 时，除了 L2 解决方案的可扩展性功能之外，还可以体验以太坊的安全性。
丨 Polygon PoS 与 Polygon zkEVM
在了解了 Polygon PoS 和 Polygon zkEVM 的概况后，让我们来探讨一下这两种 L2 解决方案之间的一些关键区别。在此过程中，我们将比较它们各自的共识机制、架构、安全性、数据可用性等。
下面的表格总结了 Polygon PoS 与 Polygon zkEVM 之间的主要异同：
Polygon PoS 与 Polygon zkEVM
Polygon PoS
Polygon zkEVM
框架
Polygon PoS 利用 PoS 共识机制和 Plasma 框架来创建侧链。
Polygon zkEVM 采用 zk-rollup 架构，利用零知识证明在以太坊之上提供 L2 解决方案。
共识机制
权益证明
共识合约
智能合约兼容性
EVM与兼容性
EVM 等效性
安全
Polygon PoS 具有一组独立的验证器来保护侧链。
Polygon zkEVM 由以太坊保护，因为有效性证明存储在链上。
数据可用性
数据可直接在侧链上获取。
数据可用性有两个选项：Validium 和 Volition。
尽管如此，事不宜迟，让我们通过仔细研究各自的架构来开始 Polygon PoS 与 Polygon zkEVM 的比较！
丨 框架
Polygon PoS 使用 Plasma 框架，作为 PoS 侧链与以太坊区块链并行运行。因此，与以太坊相比，它提供了一个独立的网络，增加了交易带宽，降低了费用，提高了吞吐量。
Polygon zkEVM 采用 zk-rollup 架构，该架构使用零知识证明，提供在以太坊网络之上运行的 L2 解决方案。zk-rollup 技术允许在链外进行复杂计算，同时在链上生成和提交加密证明。
丨 共识机制
Polygon PoS 使用 PoS 共识机制，并依赖一组验证器来确认和验证侧链上的交易。此外，该网络拥有大约 100 名验证者，他们需要抵押 $MATIC 才有资格参与。更重要的是，区块生产者是根据其质押金额的大小来选择的。
另一方面，Polygon zkEVM 利用共识合约支持多个协调器(包括排序器和聚合器)的无许可参与，以批量生成和验证链下交易，然后在链上提交。此外，参与该系统不需要质押或特殊角色。
丨 智能合约兼容性
Polygon PoS 提供 EVM 兼容性，这意味着你可以在侧链上部署和执行以太坊智能合约。不过，值得注意的是，EVM 兼容性也意味着侧链和以太坊主网之间的执行环境可能存在一些细微差别。因此，在处理底层代码或复杂的 Dapp 时，将智能合约从以太坊移植到 Polygon PoS 时，你可能需要对其进行某些修改。
另一方面，Polygon zkEVM 专注于实现 EVM 等效性，与以太坊网络具有更高级别的兼容性。因此，Polygon zkEVM 允许你在网络上无缝部署和运行现有的以太坊智能合约，而无需进行任何修改。
总而言之，关键的区别在于 Polygon zkEVM 旨在完全复制以太坊执行环境，而 Polygon PoS 则专注于提供与以太坊智能合约的兼容性。因此，Polygon zkEVM 允许你在 L2 解决方案上保持与以太坊主网上相同的工作流程。
丨 安全
Polygon PoS 高度依赖其验证器来保护侧链，并且它独立于以太坊主网运行。另一方面，Polygon zkEVM 由以太坊保护，因为有效性证明在链上发布，确保所有链下计算都是正确和安全的。
丨 数据可用性
在 Polygon PoS 上，状态和所有交易数据都可直接在侧链上获取。这可以实现快速数据检索和交叉引用，但需要额外的存储空间。
Polygon zkEVM 采用混合解决方案，提供两种数据可用性选项：
Validium：数据存储在链外，只有证据保存在以太坊主网上。此方法提高了存储效率。
Volition：这是一种混合选项，关键数据可以选择存储在链上，而其他数据则保持在链下。这在存储效率和快速访问之间实现了平衡。
Polygon PoS 与 Polygon zkEVM 使用案例
Polygon PoS 和 Polygon zkEVM 都有各自的优点和优势。由于它们具有不同的功能，因此在某种程度上适用于不同的应用。因此，接下来将分别介绍 Polygon PoS 和 Polygon zkEVM 的一些突出应用！
Polygon PoS 具有高吞吐量和超低费用的特点。因此，Polygon PoS 是需要处理大量交易的 Dapp 的理想环境。例如，Web3 游戏、社交媒体 Dapp、交易平台等。
Polygon zkEVM 具有高安全性，L2 解决方案利用了以太坊主网的安全性。这使得该网络成为流动性挖矿、高价值 DeFi 应用等应用的理想选择，在这些应用中，安全性优先于低交易费用。
尽管如此， Polygon PoS 和 Polygon zkEVM 之间存在一些细微差别，但它们仍然提供低费用和高安全性。因此，没有什么能阻止你在 Polygon zkEVM 上构建高交易量的 Dapp 和在 Polygon PoS 上构建安全平台。
丨 总结：Polygon PoS 与 Polygon zkEVM
本文中，我们比较了 Polygon PoS 和 Polygon zkEVM，以突出两者之间的异同。在此过程中，我们观察了它们的架构、共识机制、数据可用性等。你可以在下表中找到比较的简要摘要：
Polygon PoS 与 Polygon zkEVM
Polygon PoS
Polygon zkEVM
框架
Polygon PoS 利用 PoS 共识机制和 Plasma 框架来创建侧链。
Polygon zkEVM 采用 ZK-rollup 架构，利用零知识证明在以太坊之上提供 L2 解决方案。
共识机制
权益证明
共识合约
智能合约兼容性
EVM 与兼容性
EVM 等效性
安全
Polygon PoS 具有一组独立的验证器来保护侧链。
Polygon zkEVM 由以太坊保护，因为有效性证明存储在链上。
数据可用性
数据可直接在侧链上获取。
数据可用性有两个选项：Validium 和 Volition。
一览2023年热门Layer2：从TVL 3亿美元的Base到7日涨幅33%的Polygon zkEVM来源：PANews
编辑：Techub News-Junge
在探索区块链技术的新篇章中，Layer 2技术显得尤为重要。它是建立在公有区块链（Layer 1）之上的第二层协议，旨在扩大区块链的交易能力和应用场景。目前，大多数Layer 2解决方案都是基于以太坊网络构建的，这一点尤其值得关注。
Layer 2的核心在于通过在主链之外构建一个二级协议网络，这样可以将大部分交易和执行任务转移到Layer 2完成。然后，通过各种机制，这些结果会定期批量提交到Layer 1进行验证。这种方法的优点在于，它不仅极大地提升了区块链的交易速度，还降低了交易成本。更重要的是，Layer 2同时继承了公链的去中心化、安全性和隐私保护等优势。
根据L2beat的数据，Layer 2的总价值锁定（TVL）已经突破了130亿美元，目前达到了136亿美元。这一数字不仅展示了Layer 2技术的快速发展，也反映了市场对这一新兴技术的高度认可和信任。随着Layer 2技术的不断成熟和应用，我们可以预见，它将在区块链领域扮演越来越重要的角色。
近半年内Layer2项目TVL走势图
接下来，我们将深入探索Layer 2的世界，并对几个引人注目的新秀项目进行详细的盘点。通过这些分析，我们不仅能更好地理解Layer 2技术的潜力，还能洞察未来区块链技术发展的趋势。
丨 Layer2为何至关重要？它能补足Layer1的多重短板并为行业夯实技术底座
在探索区块链技术的旅程中，Layer 1公链，例如以太坊，虽然奠定了去中心化和抗审查的基石，但其在交易速度和成本方面的限制却成为了一个显著的瓶颈。尤其在DeFi、GameFi和NFT等领域迅速发展的牛市期间，网络拥堵和高昂的Gas费用成为了用户的一大障碍。
区块链的魅力在于其提供了一种更经济、更迅速的交易方式。然而，当交易成本飙升至数百美元时，区块链相较于传统支付方式如Visa或Paypal的优势便大打折扣。用户原本希望通过区块链避免传统支付的高额手续费，却不得不面对更加昂贵的区块链交易成本，这种矛盾使得区块链难以吸引更广泛的Web2用户群体。
在这种情况下，Layer 2技术的重要性愈发凸显。Layer 2通过在Layer 1的基础上增加一层新的技术架构，有效提高了交易处理速度和降低了Gas费用。这一创新不仅解决了Layer 1在扩展性方面的问题，还使得普通用户可以轻松接入dApp和DeFi服务，体验到真正快速且经济的区块链交易。
Layer 2为公链网络带来的优势包括：
1、提升交易处理能力：由于Layer 1的交易速度受限于区块生成时间，它难以满足大规模商业应用的需求。Layer 2通过提高每秒交易数（TPS），实现了交易处理的高效率。
2、降低使用成本：Layer 2的操作可以显著减少Layer 1的高Gas费用，使得区块链应用对更广泛的用户群体更加可行。
3、拓展应用范围：Layer 2引入了更多创新功能，如增强隐私保护和跨链交互，进一步拓宽了区块链的应用场景。
4、优化用户体验：Layer 2的交易处理更加贴近传统Web2应用的体验，使得非技术背景的用户也能轻松上手。
5、增强Layer 1的安全性：通过将大量交易处理转移至Layer 2，可以有效减轻Layer 1的压力，从而提高整个系统的安全性。
总之，Layer 2不仅是区块链技术进步的关键，也是推动其广泛应用的重要驱动力。随着Layer 2技术的持续发展和普及，我们可以期待区块链技术在未来为各行各业带来更加深远的影响。
了解了Layer 2的重要性后，接下来，我们将转向一些引人注目的Layer 2新秀项目，深入了解它们如何利用这些优势，以及它们在区块链领域的具体应用和影响。
丨 一览2023年Layer2赛道的热门巨星级项目：从Base到Polygon zkEVM
随着Layer 2技术的不断进步，2023年见证了几个引人注目的项目的崛起。Base、zkSync和Mantle等项目不仅在技术上取得了重大突破，还在市场份额上实现了显著增长。
排名前十的Layer2项目
Base、zkSync和Mantle是今年的明星项目，它们在10月份占据了前10大L2解决方案市场份额的11%。这三个项目都是在今年推出的，分别在3月和7月面世，迅速在市场上占据了一席之地。
丨 Base：Coinbase的Layer 2革新公链
由Coinbase推出的Base，是一个基于Optimism OP Stack的以太坊Layer 2网络。它以高速、安全和低成本的交易环境著称。Base利用Coinbase在加密货币领域的深厚背景，为以太坊的开发者和Coinbase的用户群体提供了一个全新的DeFi生态系统。
Base公链的数据表
截至2023年10月，Base的总价值锁定（TVL）达到了3亿美元，占据了前10大Layer 2解决方案市场份额的7.2%。Base的迅速崛起得益于Coinbase的强大支持和诸如friend.tech这样的SocialFi应用的流行。
丨 zkSync：隐私与高效完美结合下的技术方案
zkSync，由Matter Labs开发的zk-Rollup项目，专注于为以太坊提供高效、低成本和保密的交易解决方案。zkSync Era自3月推出以来，已经成为市场上的第七大Layer 2解决方案，其10月的TVL达到1.2亿美元，占据了2.8%的市场份额。zkSync之所以受欢迎，部分原因是它吸引了寻求空投奖励的用户，他们将资金桥接到该网络以期获得额外收益。
丨 Mantle：BitDAO推出的Layer 2创新型网络
Mantle Network是由领先的去中心化自治组织BitDAO推出的Layer 2网络。它采用Optimistic Rollups技术，提供比以太坊更快速且更经济的交易体验。Mantle的TVL在10月超过了4800万美元，市场份额达到1.1%。BitDAO与Mantle Network的合并为Mantle带来了巨大的资金支持，使其在加密货币领域占据了一席之地。
丨 Polygon zkEVM：同时具备EVM和zkRollup的双重优势
Polygon zkEVM是Polygon推出的zk-Rollup解决方案，结合了EVM兼容性和zkRollup的优势。截至11月11日，其总锁仓量达到了1亿美元，7日涨幅高达32.42%，在Layer 2解决方案中排名第10。
丨 Gnosis：无需许可的去中心化交易所，sDAI的主要持有者之一
Gnosis协议是一个无需许可的去中心化交易所，通过环交易机制大幅提高了流动性。Gnosis的TVL在10月达到了1.601亿美元，市场份额为3.7%，相比年初增长了2.47倍。这一增长得益于Gnosis Chain对MakerDAO旗下生息稳定币sDAI的支持。Gnosis Chain作为sDAI的主要持有者之一，正在成为资产代币化的关键领域。
这些Layer 2项目不仅展示了技术创新，还为区块链技术的未来发展开辟了新的道路。随着这些项目的成熟和发展，它们有望在推动区块链技术的普及和应用方面发挥更大的作用。
丨 Layer2的技术创新突破值得关注，未来或将有更优质的项目涌入这一赛道
随着我们对2023年Layer 2领域的新秀进行了深入的探讨，一个明确的趋势浮现出来：Layer 2技术不仅在不断成熟，而且正在塑造加密货币和区块链技术的未来。从Base的快速增长到zkSync的隐私保护，再到Mantle和Polygon zkEVM的创新应用，这些项目展示了Layer 2技术的多样性和潜力。
这些进展不仅对技术爱好者和开发者具有重要意义，也为普通用户提供了更多的选择和更好的体验。随着交易速度的提升和成本的降低，Layer 2解决方案正在打破传统金融服务的界限，为大众带来更加便捷和经济的数字资产交易方式。
展望未来，我们可以期待Layer 2技术继续推动区块链的创新和普及。随着更多的项目和应用的出现，Layer 2将不仅仅是技术的一个分支，而是成为推动整个数字货币领域向前发展的关键力量。在这个新的Layer 2时代，我们将见证更多创新、更广泛的应用场景和更深远的影响。
对话Scroll联创：zkEVM的潜力及未来发币计划视频链接：《Scroll zkEVM LIVE on Ethereum》
主讲人：Sandy Peng，Scroll 联合创始人；Toghrul Toghrul Maharramov，Scroll 高级研究员
主持人：David、Ryan，Bankless
整理 & 编译：深潮 TechFlow
Scroll 刚刚在以太坊主网上推出了 zkEVM！
在最新一期的 Bankless 播客中，主持人 David 和 Ryan 与 Scroll 的联合创始人 Sandy Peng 以及高级研究员 Toghrul Toghrul Maharramov 共同讨论了 Scroll 最新发布的 ZK EVM 上线的有关内容。
从概念到主网，Scroll 的长期建设
Scroll 主网的一个显著特点是其与以太坊的高度兼容性，Scroll 通过 ZK 技术增强了以太坊的功能，提供更高的安全性和隐私保护。
Toghrul 强调，Scroll 的 ZK-EVM 从一个大胆的想法发展到现在的主网解决方案，这一过程漫长而辛苦，这在当时（大约三年前）几乎被认为是一个疯狂的想法，人们认为建立一个与 EVM 等效的 ZK-EVM 是一个遥不可及的目标，但现在这一目标已经实现。
Scroll 的 ZK-EVM 的上线是以太坊生态系统中的一个重要里程碑，提供了一个与 EVM 高度兼容的、高效的、长期的第二层扩展解决方案。EVM 等效确保了它可以无缝集成到现有的以太坊生态系统中，促进了开发和采用的便利性。
Scroll 团队将 ZK-EVM 视为一种长期解决方案，相比之下，Optimistic Rollup 更像是一种临时或短期的技术解决方案。Toghrul 预计，随着时间推移，人们将逐渐从 Optimistic Rollup 转向 ZK Rollup，其在某些方面（如安全性、效率等）可能提供更多的优势。
Scroll 的另一个独特之处在于其对开发者和用户的友好性。EVM 等效允许 Scroll 利用以太坊已有的丰富资源，包括文档、教程和开源代码，促进了更快、更高效的开发和创新，无需从头开始建立一切，也无需重新教育人们或帮助他们学习新的编程语言或范例。
Scroll 的 ZK-EVM 通过保持与以太坊的高度兼容性，为开发者提供了一个易于迁移和开发的平台。他们重用了大量以太坊的代码和工具，确保了应用程序和基础设施的兼容性，使得从以太坊到 Scroll 的过渡成为一个无缝、简单和安全的过程。
Scroll 主网的上线标志着一个新的开始，将带来更实质性的反馈和改进机会。Sandy 表示，团队为这一重大里程碑付出了巨大努力。同时，Scroll 团队也期待从社区和开发者那里收到反馈，以便迭代和改进 ZK-EVM。
再谈 ZK vs Optimistic
ZK Rollup 的优势
更快的交易确认时间：ZK Rollup 使用零知识证明来验证交易，一旦证明被计算和验证，交易就会立即被确认，消除了等待潜在欺诈证明的需要，从而大大加快了交易的处理速度。
更快的最终确定性：ZK Rollup 能够在几分钟内达到最终确定性，它不依赖于挑战窗口来验证交易的有效性，这对于需要快速交易确认的应用和用户是非常有益的。
更低的费用：由于 ZK Rollup 的高效性，交易费用可能会更低，这对市场制造商和最终用户都是有益的。
更快的跨链交互：ZK Rollup 允许更快的跨链消息和交互，尤其是从 L2 到 L1 的交互。
Optimistic Rollup 的限制
挑战窗口：Optimistic Rollup 需要一个挑战窗口，允许其他人证明交易是无效的，这通常需要几天的时间。
退出延迟：ZK Rollup 允许更快的退出，通常在 30 分钟内完成，而 Optimistic Rollup 可能需要一周的时间。
用户体验
ZK Rollup：对于大多数用户，除非他们尝试从 L2 退到 L1 ，否则他们可能不会感受到 ZK Rollup 和 Optimistic Rollup 之间的差异。但是，随着第二层的规模和吞吐量的增加，ZK 滚动的优势将变得更加明显。
Optimistic Rollup：尽管 Optimistic Rollup 也提供了 L2 的扩展，但其挑战窗口和较慢的退出时间可能影响用户体验。
ZK 的潜力和应用
效率和性能：ZK 证明允许更快速、更高效的交易验证和处理。通过 ZK，可以在不泄露任何敏感信息的情况下验证交易的正确性，这大大提高了整个网络的效率和性能。
隐私：ZK 证明提供了增强的隐私保护。用户可以证明他们拥有某些信息，或者满足某些条件，而无需实际透露这些信息，这对于保护用户隐私和数据安全至关重要。
扩展性：ZK 证明是实现区块链扩展的关键技术之一。通过 ZK Rollups 等技术，可以大大增加区块链的吞吐量和规模，同时保持安全性和去中心化。
互操作性：ZK 证明也有助于实现不同区块链和层之间的互操作性。通过 ZK，可以安全、高效地在不同的链和层之间转移和验证数据，促进整个加密生态系统的互联互通。
安全性：ZK 证明提供了一种机制，可以在不泄露详细信息的情况下验证数据的正确性。这不仅有助于保护隐私，也增强了整个系统的安全性，减少了欺诈和攻击的风险。
Scroll 的下一步与代币计划
Scroll 的主网已经启动，开发者现在可以开始部署他们的 dApps，用户可以通过公共桥接 UI 将他们的资金从以太坊主网桥接到 Scroll 平台。
Scroll 致力于简化 dApps 的部署过程，他们推出了“复制、粘贴和部署”活动，旨在减少开发者在部署应用程序时面临的摩擦和障碍。
Scroll 保持了与以太坊的高度兼容性，使得开发者可以轻松地将现有的 dApps 从以太坊迁移到 Scroll 平台。因为 Scroll 提供的一些独特的功能和优势，有些应用程序可能会选择只在 Scroll 上运行。
预计随着时间的推移，将有更多的应用程序被部署在 Scroll 上。ZK Rollup 的优势，如更快的交易确认和更低的费用，可能会吸引开发者和用户。
Scroll 计划继续创新和改进他们的平台，以满足开发者和用户的需求，他们将侧重于提高性能、安全性和可用性。
Scroll 目前专注于主网的稳定和优化，提高性能，降低用户的交易成本以及评估开发者和生态系统项目的需求。
安全是另一个重点，Scroll 正在研究多重签名和其他安全措施来增强平台的安全性，包括引入强制交易和多证明者等功能，他们还在研究如何确保智能合约没有漏洞，包括使用多验证者来增强桥接的安全性。
当被问及代币相关的事情时，Toghrul 回应说，“代币及其发行和管理在许多国家和地区都受到严格的监管”。在这种情况下，Toghrul 和 Scroll 团队选择保持谨慎，避免在未解决所有法律和合规问题之前公开讨论代币的具体细节。Astar Network将推出由Polygon提供支持的Layer 2解决方案Astar zkEVMPANews 9月13日消息，据The Block报道，Astar Network正与以太坊扩容开发商Polygon Labs合作推出其Layer 2解决方案Astar zkEVM。根据一份声明，Astar Network将使用Polygon CDK（一个开源代码库，用于为以太坊启动零知识驱动的Layer 2链的）来构建Astar zkEVM，Astar zkEVM测试网计划于今年第四季度启动，sETH将作为测试网上的Gas代币。
PA日报 | Animoca Brands为其Mocaverse项目筹集2000万美元；Safe已在Polygon zkEVM上推出其模块化AA堆栈今日要闻提示：
G20国家就加密资产跨境框架的快速实施达成共识，拟从2027年起自动交换各国间加密交易信息
外媒：Meta正开发全新AI系统，对标OpenAI最先进模型
FTX拟通过对LayerZero的诉讼追回8600万美元，包括撤销破产期间达成的交易等
F2Pool联创：将暂时搁置异常交易中的近20枚BTC，若三天后无人领取则重新分配给矿工
钱包服务提供商Safe已在Polygon zkEVM上推出其模块化帐户抽象堆栈
Animoca Brands为其Mocaverse项目筹集2000万美元，CMCC Global领投
9月9日比特币单日新增地址数近72万个，达5年来最高水平
数据：价值约4994万美元的APE、2354万美元的APT将在本周解锁
监管消息
G20国家就加密资产跨境框架的快速实施达成共识，拟从2027年起自动交换各国间加密交易信息
据Cointelegraph报道，G20国家领导人近日在印度首都新德里举行峰会，就加密资产跨境框架的快速实施达成共识。该框架将从2027年开始，促进各国之间的加密资产信息交流。根据拟议的框架，各国将每年自动交换不同司法管辖区之间的加密交易信息，包括在不受监管的加密货币交易所和钱包提供商进行的交易。G20国家还认可了金融稳定委员会关于“加密资产活动和市场以及全球稳定币安排的监管、监督和审查”的建议。根据该公告，该建议于今年7月发布，为稳定币制定了类似于商业银行的标准，并敦促监管机构禁止任何妨碍参与者身份识别的活动。
根据峰会达成的共识声明，全球透明度和税务信息交流论坛将确定一个适当和协调的时间表，由相关司法管辖区确定交流时间表。此举将影响到包括阿根廷、澳大利亚、巴西、加拿大、中国、法国、德国、印度、印度尼西亚、意大利、日本、墨西哥、俄罗斯、沙特阿拉伯、南非、韩国、土耳其、英国和美国，以及欧盟等国家。
此前昨日消息，G20领导人赞同FSB的加密资产监管建议，将于10月讨论推进监管路线图。
NFT
人工智能
外媒：Meta正开发全新AI系统，对标OpenAI最先进模型
据华尔街日报报道，知情人士透露，Meta正在开发一种新的人工智能系统，其功能将与OpenAI提供的最先进模型GPT-4一样强大。根据Meta的目标，新AI模型计划明年上线，将比两个月前刚刚发布的Llama 2模型强大数倍。计划中的系统将帮助其他公司构建能够生成复杂文本、分析和其他输出结果的服务。知情人士透露，Meta预计在2024年初开始训练这种被称为大型语言模型的新AI系统。
目前，该公司正在建立这项工作所需的数据中心，并购置更多的H100芯片。据透露，虽然Meta与微软合作，在微软的云计算平台Azure上提供Llama 2，但它计划在自己的基础设施上训练新模型。
项目动态
FTX拟通过对LayerZero的诉讼追回8600万美元，包括撤销破产期间达成的交易等
据The Block报道，FTX现任领导层正在起诉LayerZero Labs，试图撤销FTX前高管在该公司倒闭期间达成一系列交易，共计超8600万美元。该诉讼主要涉及Alameda Research前首席执行官 Caroline Ellison于2022年11月7日（即申请破产保护前四天）与LayerZero Labs达成的交易。作为交易的一部分，Alameda同意出售其在LayerZero的5%股权（按照LayerZero目前的估值计算，价值1.5亿美元），以换取LayerZero放弃向Alameda提供的4500万美元贷款。该诉讼称，在转让时，FTX已经资不抵债，因此这些交易构成破产法下的欺诈行为，为了破产财产的利益而撤销该交易。
此外，该诉讼还试图追回LayerZero及其前首席运营官Ari Litan在FTX申请破产前90天内从FTX的提取的超4000万美元的提款。据称，就在FTX关闭并禁止提款之前，LayerZero利用内部消息从FTX非法提取了2137万美元资金。此外，FTX还寻求从LayerZero Labs前首席运营官Ari Litan及其旗下Skip & Goose分别追回约1307万美元和665万美元资金。
此前昨日消息，FTX债权人透露，FTX已对LayerZero提起追回诉讼；今日早些时候消息，LayerZero CEO表示，FTX提出索赔诉讼只是为获得更多法律费用，并非解决问题。
F2Pool联创：将暂时搁置异常交易中的近20枚BTC，若无人领取则重新分配给矿工
针对今日凌晨1时比特币链上某单笔交易费用达19.82枚BTC，F2Pool联合创始人王纯在X平台上表示，将暂时搁置这约20枚BTC，若三天后无人领取，则重新分配给矿工。
此前消息，Casa联创分析称，支付19.82枚BTC费用的异常交易疑似系某交易所或支付公司使用了带有漏洞软件。
Lido回应代币合约“假充值”风险：风险在预期内，LDO和stETH仍然安全
针对“LDO的代币合约存在潜在的‘假充值’风险”一事，Lido在X平台上表示，此行为是预期内的，并且符合ERC20代币标准。LDO和stETH仍然安全。Lido代币集成指南将根据LDO详细信息进行更新，以便更明显地显示这一点。根据ERC20代币标准：1.transfer和transferFrom都需要返回transfer status，并且只在特殊情况下建议回滚一个tx。2.标准规定调用者必须检查返回状态。
Coinbase CEO：Flatcoin是“稳定币的下一个迭代”，对此领域很感兴趣
据The Block报道，Coinbase首席执行官布Brian Armstrong在接受采访时称，Flatcoin（可跟踪通货膨胀率的稳定币）是“稳定币的下一个迭代”，并暗示了公司未来在风险投资方面的方向。Armstrong表示：“flatcoin概念是一个即将出现的新事物，有几个团队正在研究它。我们还没有在这个领域建立东西，但我们对此很感兴趣。”
据悉，“flatcoin”这个词可能是由前Coinbase首席技术官Balaji Srinivasan所创造，Srinivasan曾表示，“flatcoin”价格与一个在链上与一系列法币挂钩，而不是与特定法币挂钩，会随着某种法定货币的通货膨胀而膨胀。
此前8月31日消息，Armstrong分享其看好的加密行业十大创新，包括Flatcoin、链上声誉和RWA等。
Coinbase否认“将停止在印度的服务”，通知仅针对违反交易所标准的用户
据Cointelgraph报道，针对TechCrunch关于“Coinbase将于9月25日停止在印度的服务”的报道，Coinbase发言人回应称，该通知并非针对所有印度客户，而是针对那些违反交易所标准的客户。
Coinbase发言人表示原邮件内容是 ：“我们正在联系通知您，将停止与您上述帐户关联的所有Coinbase零售服务，因为我们将禁用不再符合我们更新的这些服务标准的零售帐户的访问权限。在最近对我们的系统进行例行审查的过程中，可能会发现某些帐户不再符合我们更新的标准。因此，我们将禁用这些帐户，并允许客户稍后更新他们的信息。受影响用户的资金仍然安全，在9月25日之前可继续提取余额并发送给其他加密服务提供商。”
Sushi宣布扩展至Aptos区块链
据The Block报道，去中心化金融协议Sushi宣布已经扩展到Aptos区块链，这是其首次与非EVM的区块链集成。作为扩展的一部分，Sushi的V2版AMM将被集成到Aptos网络上。Sushi团队在一份声明中表示：“与Aptos的首个非EVM集成对于推进Sushi的跨链和多链目标至关重要。”
据悉，Sushi已上线的主要EVM链包括以太坊、Fantom、Polygon、Arbitrum、BNB Chain等。
作为收购交易的一部分，Ripple已对遭遇安全事件的Fortress客户进行全额赔偿
据The Block报道，作为收购交易的一部分，Ripple弥补了区块链基础设施初创公司Fortress Trust的客户遭受的损失。Fortress在9月7日在X平台上发布的一份声明中表示，其客户受到了“云工具受到损害的第三方供应商”的影响，但没有造成资金损失。事实上，正是Ripple介入，让Fortress的客户没有受损，收购过程在此安全事件发生后加快了进展。
Ripple发言人表示：“上周，在Fortress的第三方分析供应商发生安全事件后，收购谈判加速，但从长远来看，这个机会对Ripple来说是有意义的。幸运的是，Ripple能够迅速采取行动介入并让客户完整，并且Fortress技术或系统没有出现任何漏洞，正如他们在推文中提到的那样，事件发生后，Fortress立即通知了客户。”9月8日，Ripple宣布了这项交易，Ripple通过现金和股权的组合为此次收购提供了资金，但没有披露估值，不过据CoinDesk引援知情人士表示，此笔收购交易价格低于Ripple 5月份向托管公司Metaco支付的2.5亿美元。该交易还需要获得监管和尽职调查批准，一旦获得批准，将扩大Ripple的监管许可证集合，因为Fortress Trust-Fortress区块链技术的子公司持有内华达州信托许可证。
某空投猎人在zkSync上拥有21877个女巫钱包，自建DEX交互以博取空投
据X平台用户@lingland09披露，一个专业的空投猎人在zkSync上拥有21877个女巫（sybil）钱包，其女巫策略是用极少量的ETH为其所有钱包提供资金，然后部署了非开源的Gemstone（GEM）代币，然后他将所有其他21877个钱包列入白名单，然后自己领取了所有自部署的代币。他实际上构建了一个非开源的DEX，只是为了间接为其女巫地址之间的应用交易建立索引。
此人用自己的DEX合约为GEM代币增加80多枚ETH的流动性，赋予GEM代币价值，并通过交易进行了测试，然后他GEM/ETH交易对兑换了他从21877个钱包中领取的GEM代币，并获得了0.6-0.7 ETH的价值利润，紧接着，他再次重复上述步骤（所有这些交易都是通过他编写的机器人自动完成的，而不是手动完成的）。由于所有流动性都是这个人添加的，他没有受到滑点的影响，他以最便宜的方式在zksync Era网络上积累了10笔交易。他的机器人将这种模式算法带到了接下来的21,000个钱包中，没有出现任何滑点，因为这个人根据需要调整了流动性，他通过在每个钱包花费1.5 - 2 ETH费用来完成所有这10美元的交易量和10笔交易，在不同的月份、周和天进行交易，只是为了看起来与其他L2项目资格相似。
加密KOL：Galaxy Digital正处理FTX资产的OTC销售，或不会影响市场
加密KOL MartyParty于昨日凌晨在X平台上称：“Galaxy Digital正在处理FTX资产的场外交易（OTC）销售。前一天有一些MATIC卖给了Coinbase和Kraken。200万枚MATIC卖给了Coinbase，100万枚MATIC卖给了Kraken；Coinbase支付了100万美元的USDT给FTX。Kraken支付了500枚ETH给FTX。”
MartyParty认为FTX资产不会进入公开市场，他解释道：“OTC代表场外交易，意味着交易所之间正在交易库存，而且不通过订单簿进行交易，不会影响市场。”
此前昨日消息，加密分析师The DeFi Investor表示，下周或面临巨大的抛售压力。FTX可能会在9月13日获批清算资产。
ZachXBT：加密KOL TraderNJ1和PetaByte等欺骗多个项目方，收取代币做完宣传后立即抛售
链上侦探ZachXBT在X平台上发文详细介绍了TraderNJ1和PetaByte如何利用其他KOL从CBOT和BABYSHIB获得免费代币，然后以不透露的方式将其倾销给追随者，从而欺骗了多个项目。网上流露了一段TraderNJ1的音频片段，在这段音频中TraderNJ1要求提供CBOT代币一定比例的供应量来与PetaByte等人一起宣传，而其他人则表示他们将发布推文称某个项目会是下一个10-20倍代币。
其中一个例子是在BABYSHIB：“在BabyShib团队提供的Telegram消息中，BabyShib团队与TraderNJ1和PetaByte关于代币营销的讨论，涉及3.5%的代币供应。BabyShib团队与TraderNJ1甚至声称‘近期没有任何出售意图’，TraderNJ1和PetaByte提供了两个钱包来接收代币。而在8月25日，TraderNJ1和PetaByte开始接受BABYSHIB作为报酬，并在推特上大肆宣传它，随后他们在几天内抛售了价值超过11.5万美元的BABYSHIB代币，尽管这是一个低市值的代币，但他们目前似乎没有持有BABYSHIB。Peta声称“我不做付费促销，也从来没有做过”，但这些Telegram消息和BABYSHIB作为补偿而收到的消息却另有说法。”
另一个例子是CBOT：“在CBOT开发者最近发表的一篇文章中，他们透露与BABYSHIB达成了一项类似的协议，其中TraderNJ1和PetaByte要求获得一定比例的供应量，并承诺吸引有影响力的人加入。PetaByte最终离开了聊天室，而TraderNJ1据称删除了消息历史记录，我联系了CBOT开发者Icarus，然后他向我提供了CBOT团队向CBOT开发者发送代币的五个钱包地址。与之前类似，大多数代币在1-2周内被抛售,Trader NJ或PetaByte在他们的推文中都没有透露他们获得了一定比例的供应量来进行推广。”
还有个例子：“PAAL项目的推特帐户与我联系，确认TraderSZ（@trader1）、XO（@Trader_XO）、TraderNJ1和PetaByte在宣传后都在抛售他们的代币。TraderSZ在8月10日从PAAL项目团队那里收到了400万枚PAAL，几天后开始宣传。之后不久，他就开始抛售了。数据显示，TraderSZ抛售了价值13万美元以上的PAAL（他所有的PAAL代币）。而TraderNJ1在帖子中表示他的‘PAAL信念没有改变’，尽管他的 NFT 钱包已经以12万美元的价格抛售了所有PAAL 。其他从PAAL团队获得免费代币的地址也随后出售了几乎所有代币。今天早些时候，TraderSZ似乎在因CBOT混乱而被指责后回购了一些代币。”
ZachXBT表示，令人遗憾的是，看到所有这些有影响力的人不断地进行不正当的促销交易，没有任何程度的透明度，损害了项目及其追随者。
赵长鹏称其只使用币安或PancakeSwap交易所，并且使用TrustWallet钱包
网友询问币安首席执行官赵长鹏“除了币安还喜欢什么交易所”时，赵长鹏回答道：“我只使用币安或PancakeSwap。实际上，我不太清楚TrustWallet在后端使用的是什么。我也使用TrustWallet。”
此前今日早些时候消息，赵长鹏称拆分流动性对用户不利，这会让他们获得更加不利的价格。
FTX向破产法院披露名人推广费清单，其中奥尼尔收到75万美元
据Decrypt报道，FTX现任管理层向破产法院提交的一份法庭文件中披露了多年来为该交易所推广的名人、企业和运动队的详细清单。其中，FTX向前NBA球星沙奎尔·奥尼尔（Shaquille O'Neal）支付了近75万美元，向网球明星大坂直美支付了约30.8万美元，向特美国橄榄球运动员雷弗·劳伦斯（Trevor Lawrence）支付了近20.6万美元，向棒球明星大卫·奥尔蒂斯（David Ortiz）支付了约27.1万美元。
该公司承认，该清单本身“可能无法反映所有存款和还款的详尽清单”，但正努力查明前几年的所有未偿付款，以了解其中有多少可以收回来偿还债务。
此前9月9日消息，FTX正调查是否可追回向奥尼尔等体育明星支付的推广费。
dYdX基金会发布半年度生态系统报告，dYdX Chain主网定于9月底发布
据官方消息，dYdX基金会发布了2023年半年度生态系统报告。该基金会表示，加密行业面临的监管挑战、企业倒闭以及FTX破产造成的后续影响，突显了去中心化金融的作用。自2022年1月dYdX宣布计划成为完全去中心化协议以来，该交易所已经实现了五个里程碑中的四个，并启动了一个公共测试网。测试网络有超过57个验证器，出块时间大约为1.8秒，并已促成超过290万笔交易。上个月，该基金会披露了该协议的原生代币DYDX可能从以太坊迁移到即将推出的DYDX链。公告发布后，社区成员发起将DYDX迁移到新链的快照投票，并获得通过。dYdX Chain的主网定于9月底发布。
钱包服务提供商Safe已在Polygon zkEVM上推出其模块化帐户抽象堆栈
据CoinDesk报道，钱包服务提供商Safe（前Gnosis Safe）已在 Polygon zkEVM 上推出其模块化帐户抽象堆栈，Polygon zkEVM 的开发人员现在可以利用 Safe{Core} SDK，充分利用智能钱包和模块化帐户抽象的强大功能，用于众多用例，包括游戏、零售钱包、去中心化社交媒体等，并具有改变游戏规则的功能比如社交恢复、无种子onboarding以及easy on-ramping。
融资消息
Animoca Brands为其Mocaverse项目筹集2000万美元，CMCC Global领投
Animoca Brands宣布获得新一轮具有约束力的融资承诺，以加速其NFT项目Mocaverse发展。Animoca Brands通过以每股4.50澳元的价格发行新普通股筹集了2000万美元。作为此次融资的一部分，该公司向投资者发放了基于1：1美元比例的免费附加实用型代币认股权证。此次融资由CMCC Global领投，其他投资者包括Kingsway Capital、Liberty City Ventures、GameFi Ventures、Aleksander Larsen（Sky Mavis创始人）、Gabby Dizon（Yield Guild Games创始人）以及Koda Capital的机构投资者等。Animoca Brands的执行主席兼联合创始人Yat Siu也参与了该轮融资。新资金将用于推进Mocaverse项目，包括产品开发、促进Web3采用以及确保合作伙伴关系，以扩大Animoca Brands对Web3公司和项目的约450家投资组合的游戏、文化和娱乐生态系统。
Mocaverse正在构建Web3原生工具，以增强游戏、文化和娱乐垂直领域产品的能力，允许用户创建自己的数字身份、积累声誉、赚取和消费忠诚点，并使用他们的数字身份访问由Animoca Brands的450多家投资组合公司和拥有超过700万可寻址用户的合作伙伴网络提供支持的Mocaverse生态系统。Mocaverse将很快推出NFT系列Moca ID，旨在让用户能够打造自己在链上的身份并参与Mocaverse生态系统。Moca ID持有者将获得对Mocaverse生态系统体验的独家访问权，并将有机会通过积极参与获得独特的忠诚积分。这些忠诚积分将为一个无需许可和可互操作的忠诚系统提供支持，该系统将逐步去中心化，以允许第三方采用和集成Moca ID，旨在推动Web3的可访问性和增长。
金融集团Flashwire Group曾完成1000万美元A轮融资
金融科技服务提供商 Flashwire Group 今日宣布早些时候曾完成 1000 万美元的 A 轮融资，参投方包括 Legend Trading、Cobo、Gate.io、VeChain、CyberX、SuperChain Capital 等。Flashwire 投资人的业务涵盖了传统银行、区块链底层技术、加密货币交易、流动性、资产托管和投资等多个领域。本轮融资以来，Flashwire 始终致力于设计与实施其独特且领先的金融服务方案。旗下产品包括加密友好的数字银行（Flashwire.com）、加密货币借记卡 Stella Pay（stellapay.io），以及加密货币借贷平台安信金融（Anxin.finance）。
重要数据
9月9日比特币单日新增地址数近72万个，达5年来最高水平
据Ali Charts监测显示，9月9日，比特币新增地址数达717,331个，到达5年来的最高水平。而上次监测到单日新增比特币地址数的高峰为2017年12月14日，当日新增了800180个比特币地址。
数据：价值约4994万美元的APE、2354万美元的APT将在本周解锁
Token Unlocks数据显示，本周7个加密项目将进行代币解锁，总计释放价值超8200万美元。
Moonbeam（GLMR）将于9月11日8时解锁约968万枚代币，价值约172万美元；
Aptos（APT）将于9月12日8时解锁约454万枚代币，价值约2354万美元；
Sweatcoin（SWEAT）将于9月13日8时解锁约2.27亿枚代币，价值约168万美元；
Lido DAO（LDO）将于9月13日23 : 33解锁约150万枚代币，价值约222万美元；
Euler（EUL）将于9月14日07 : 17解锁约15.5万枚代币，价值约40万美元；
Flow（FLOW）将于9月16日8时解锁约729万枚代币，价值约304万美元；
ApeCoin（APE）将于9月17日8时解锁约4060万枚代币，价值约4994万美元。
以太坊网络Gas费跌至10 Gwei
Etherscan数据显示，当前以太坊网络Gas费已跌至10 Gwei。
PANews APP积分商城正式上线
硬核奖品免费兑换：imKeyPro硬件钱包、头等仓研报月卡、Ballet REAL系列钱包、AICoin 会员、各类周边以及数百篇精选研报合集，先到先得，立即体验！Loopring 宣布关闭 DEX，称 zkEVM 已超越其架构Techub News 消息，以太坊早期 zkRollup 项目 Loopring 宣布立即关闭其 DEX，relayer 已同步下线。团队表示，zkEVM 技术已超越其原有架构设计。
该项目为以太坊早期 zkRollup 项目之一，曾推动 Layer 2 扩容发展。此次关闭反映技术路线迭代，新一代 zkEVM 在兼容性和性能上更具优势，早期架构正逐步退出市场。（WuBlockchain）以太坊基金会拟在 2026 年推动 zkEVM 达到最低 128 位安全强度，强调「先安全后性能」Techub News 消息，据 CryptoSlate 报道，以太坊基金会近期向开发者表示，将把生态发展重点从追求速度转向安全，并计划在 2026 年前推动 zkEVM 达到最低 128 位安全强度标准。基金会警告称，若缺乏经过形式化验证的可靠性，攻击者可能重写链上状态，使「高性能证明」反而成为风险点。基金会还表示，后续将提供安全审查与评估工具，并在推进扩容的同时优先强化形式化验证与抗攻击能力。以太坊基金会 zkEVM 团队提出实时证明标准，L1 zkEVM 将上线以太坊主网Techub News 消息，以太坊基金会开发者 Sophia Gold 发文表示，L1 zkEVM 将上线以太坊主网，将大幅提升 Gas 上限，并在不牺牲安全性、活性与抗审查性的前提下，实现原生 zk-rollup 支持。作为第一步，以太坊基金会 zkEVM 团队已提出实时证明（realtime proving）标准，目标是在办公楼甚至部分住宅实现本地证明运算，相关参数包括：主网区块 P99 延迟控制在 10 秒以内；本地设备投入不超过 10 万美元；功耗不超过 10 kW；完全开源；安全性至少达到 128 位；证明大小不超过 300 KiB，且无需信任设置。Sophia 预计，在多个 zkVM 的加速进展下，这一目标有望在今年 11 月 Devconnect 阿根廷会议前实现。Astar zkEVM 即将关停，建议用户在 4 月 1 日前提取所有资产Techub News 消息，Astar zkEVM 关停日期逐渐临近，建议用户在 4 月 1 日前提取所有资产。此前 Astar 曾于 1 月表示，Astar zkEVM 将迁移到 Soneium L2。Astar zkEVM 将迁移到 Soneium L2，相关流动性提供者需提取资产和流动性Techub News 消息，Astar Network 宣布 Astar zkEVM 将迁移到 Soneium L2，流动性提供者需要从 Astar zkEVM 上的 DEX/DeFi 项目中提取资产和流动性，通过 Astar Portal 原生跨链桥将 ETH、DAI、MATIC、USDC、USDT、WBTC 或 wsETH 转移到以太坊。此外，vASTR 持有者需通过 Omni 取消质押，解除质押期结束后，ASTR 代币将自动转移到 Astar zkEVM。其他代币项目需关注相关迁移公告。NFT 持有者无需采取任何行动。
Techub News 今日报道，索尼集团旗下以太坊 L2 区块链 Soneium 上线主网。Polygon zkEVM 主网测试版将于 1 月 14 日升级至 Fork 12Techub News 消息，Polygon 社区发布公告称，Polygon zkEVM 主网测试版将于香港时间 1 月 14 日 18:00 升级至 Fork 12，升级预计将持续 2 小时。Cronos zkEVM 已加入 Elastic ChainTechub News 消息，ZKsync 发推表示，Cronos zkEVM 已加入 Elastic Chain。
Cronos zkEVM 是一个不断发展的 dapp、构建者和用户生态系统，现在可以与其他在 ZK Chain 上构建的应用程序进行交易且具有良好的用户体验。zkEVM 网络 Kakarot 上线公共测试网，计划推出测试网社区积分系统Techub News 消息，基于 Starknet 和 Cairo 的 zkEVM 网络 Kakarot 宣布上线公共测试网，并计划推出测试网社区积分系统，预计会在夏末部署至在 Starknet Sepolia，使其成为首个双 VM（EVM 和 CairoVM）的 ZK-Rollup。Netmarble 旗下链游部门 Marblex 推出 2000 万美元生态计划，拟迁至 Immutable zkEVMTechub News 消息，据 Decrypt 报道，Netmarble 旗下链游部门 Marblex 推出 2000 万美元生态计划，并计划将游戏迁至 Immutable zkEVM。Telos 将与研发公司 Ponos 合作开发硬件加速以太坊 ZkEVMTechub News 消息，据 CoinDesk 报道，Telos Foundation 将与 Ponos Technology 合作开发硬件加速的以太坊第二层网络，其中将包括 Telos 开发的去中心化递归证明聚合器 SNARKtor。团队表示，Telos 还将与其他合作伙伴合作，包括以太坊开发团队 Digital M.O.B.、Web3 孵化器 ATKA 和由 ETH France 主席 Jerome De Tychey 领导的开发团队 Cometh。撰文：Tia，Techub News 当「zkEVM 实现实时验证，证明延迟从 16 分钟降至 16 秒」被反复提及，它常被理解为一次单纯的性能提升。但在 zk 体系中，时间并不是一个中性指标。 证明延迟的数量级变化，直接决定了 zkEVM 能否进入系统的时序关键路径，从而改变其在架构中的角色。 16 秒并不只是「更快」，而是首次将 zk 证明带入接近区块 slot 的时间尺度。这一步，对 L2 zkEVM 与 L1 zkEVM 的影响是本质不同的。 对 L2 zkEVM：从「事后最终性」到 slot 级可信状态 在 L2 zkEVM 中，zk 证明的功能是向以太坊 L1 证明一段 L2 状态转换的有效性。 过去约 16 分钟的证明延迟意味着一个现实约束：L2 虽然在理论上具备即时最终性，但在实践中，其安全确认始终滞后多个区块周期。这导致 L2 区块长期处于一种「软确认」状态： 对用户来说体验是即时的 对 L1 和外部系统来说仍需等待 当证明延迟下降到约 16 秒，这一结构发生了质变。 首先，zk 证明开始能够按 slot 滚动生成，而非跨越大量历史区块批量补交。这意味着 L2 的区块首次具备接近 L1 的时序安全含义，而不再只是等待最终确认的中间状态。 其次，这直接影响了跨域系统的信任模型。跨链桥、CEX 充值、清算系统可以在秒级时间内依赖 L1 上的 zk 验证结果，而非设置额外的等待窗口或人工风控。 更重要的是，zkEVM 在用户体验层面首次正面追平 Optimistic Rollup。 zk 路线不再只是「安全但慢的结算层」，而开始成为可承载实时应用的执行环境。ZK 路线不再只是「安全但慢的结算层」，而真正成为了可承载高频、实时应用执行环境，资金的流动性也不再被数学生成的耗时所束缚。 对 L1 zkEVM：zk 首次逼近共识时间尺度 L1 zkEVM 并不是一条 Rollup，而是一次对 L1 执行验证方式的潜在重构。 当前以太坊的共识假设是：每个验证者都需要重新执行 EVM，亲自验证区块中的状态转换是正确的。执行能力因此成为共识安全的一部分，也成为系统扩展性的硬约束。 L1 zkEVM 的设想是改变这一点：不再要求验证者执行 EVM，只要求其验证一个 zk 证明。 这一转变的核心意义在于维护以太坊的去中心化。目前，全节点承担着沉重的计算负担，扮演着「学生」的角色，必须把作业（交易）重做一遍；而通过 zkEVM，节点升级为「老师」，只需验证最终的证明答案。这种从「重做工作」到「验证事实」的转变，解耦了全节点的负载与链上交易总量。无论以太坊处理多少亿笔交易，验证成本始终低廉且恒定，确保了即便在未来，普通人依然可以在家中运行属于自己的全节点，避免了因硬件门槛过高导致的中心化风险。 但这一设计有一个前提条件：zk 证明必须足够快，才能进入共识关键路径。如果证明生成需要数分钟，它只能作为事后校验；只有当证明延迟接近 slot 时间，zk 才具备参与「区块是否有效」这一实时判断的可能性。 因此，16 秒的意义并不在于「已经足够快」，而在于：zkEVM 第一次在时间尺度上不再被排除在共识设计之外。 这也是为什么 L1 zkEVM 的讨论高度聚焦于 128-bit 安全性、证明理论和长期密码学假设。一旦 zk 进入共识路径，其安全等级就等同于哈希函数和签名算法。 这一点也与 L2 的策略截然不同。对于 Layer 2，业界普遍接受更灵活的权衡，例如 Starknet 采用的「96-bit 密码学安全 + 30 bits PoW Grinding」混合模型，在保证足够安全的前提下换取极致的速度。但对于 L1 zkEVM 而言，它是地基中的地基，容不得半点妥协。它必须追求绝对的 128-bit 标准，以抵御包括「Proximity Gaps（邻近性缺口）」猜想被推翻等在内的任何数学不确定性。 从更宏观的角度看，这与以太坊正在推进的 snarkification、Beam Chain 等方向是同一条逻辑线上的节点。共识层追求的是简单、稳定、可形式化验证；执行层可以复杂、并行、外包；而正确性由 zk 来压缩和证明。 小结 因此，「证明延迟从 16 分钟降至 16 秒」并不是一次普通的性能突破，它标志着 zkEVM 正在从「事后证明的安全工具」，演进为「可能参与实时最终性定义的基础设施」。 而一旦 zk 的时间尺度逼近 slot，系统中哪些组件是核心、哪些只是附属，往往也会随之被重新书写。
