ChainCatcher 消息，Vitalik Buterin 发布最新文章《探索 circle STARKs》，文章指出 Starkware 能够在 M3 芯片笔记本上每秒证明 620,000 个 Poseidon2 哈希值，这意味着如果我们愿意信任 Poseidon2 作为哈希函数，那么制作高效 ZK-EVM 的最难部分之一实际上已经解决了。 其表示，与常规 STARK 相比，circle STARK 不会给开发人员带来太多额外的复杂性。circle FRI 所操作的“多项式”背后的数学原理相当违反直觉，需要一段时间才能理解和领悟。但恰好这种复杂性被隐藏起来，开发人员无法察觉。Circle 数学原理的复杂性是封装的，而不是系统的。 Vitalik 认为，结合 Mersenne31、BabyBear 和像 Binius 这样的二进制域技术，感觉正在接近 STARKs “基础层”的效率极限；预计 STARK 优化的前沿将转向对哈希函数和签名等原语进行最有效的算术化（并优化这些原语本身以实现这一目的）、制作递归结构以实现更多并行化、对虚拟机进行算术化以改善开发者体验，以及其他更高级别的任务。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发文深入探讨了“ZK-EVM”（Zero-Knowledge Ethereum Virtual Machine）的概念及其可能实现形式。 文章指出，当前的 Layer-2 EVM 协议（如 Optimistic Rollups 和 ZK Rollups）需要依赖于 EVM 的验证机制，但这同时意味着他们必须信任庞大的代码库。一旦代码库中存在漏洞，这些虚拟机可能面临被攻击的风险。此外，即便是希望与 L1 EVM 保持完全等效的 ZK-EVM，也需要一定形式的治理机制，以便将 L1 EVM 的变更复制到自己的 EVM 实现中。 Buterin 提出的 ZK-EVM 概念，旨在减少 Layer-2 项目对 Ethereum 协议功能的重复实现，并提高其在验证 Layer-1 Ethereum 区块时的效率。他还展望了未来光客户端（light clients）将更加强大，甚至可能利用 ZK-SNARKs（零知识证明）完全验证 L1 EVM 执行，届时 Ethereum 网络将实质上具备内置的 ZK-EVM 功能。 文章还讨论了实现 ZK-EVM 的不同版本，包括它们的设计挑战、权衡利弊，以及为何某些方向可能不被采纳。强调了在实现协议功能时，应权衡其优势与保持基础协议简洁性的好处。对于 ZK-EVM 的关键属性，Buterin 强调了其基本功能性、与 Ethereum 多客户端哲学的兼容性、数据可用性要求、可审计性和可升级性。此外，他还提到了对“almost-EVM”的支持，即允许 L2 的 VM 在与 EVM 只有微小差异的情况下，仍能使用协议内的 ZK-EVM，同时也为 EVM 的部分定制化提供了灵活性。

ChainCatcher 消息，链游 Abyss World 官方在社交媒体上发文表示，Abyss World 团队决定基于 Polygon zk-EVM 来打造这款游戏。 据悉，这将使 Abyss World 中智能合约的执行更加高效，并能够处理更多的用户交互，希望与 PolygonGaming 的合作将释放 Web3 游戏创造力的全部潜力。（来源链接）

ChainCatcher 消息，以太坊创始人 Vitalik 在最新文章《以太坊的多客户端理念将如何与 ZK-EVM 交互?》中强调了以太坊的多客户端理念在维护其安全性和去中心化方面的重要性。以太坊没有每个人都运行的默认“参考客户端”，相反有一个协作管理的规范并且有多个团队实现规范（即“客户端”）。 Vitalik 强调了 ZK-EVM 作为一种新的过渡的重要性，它使用了 EVM 执行的 SNARK 证明，并积极支持主网上的 ZK Rollup 等第二层协议。 然而，ZK-EVM 的挑战在于它如何与多客户端理念进行交互。为了解决这个问题，Vitalik 建议每个客户端在接受一个有效的块之前，都要等待一个与自己的实现兼容的证明。这种方法牺牲了多客户端范例的一些好处，但在能够正式证明所有 ZK-EVM 实现彼此等价之前，它是理想的。ZK-EVM 将成为以太坊的第三种客户端，对网络的安全和去中心化至关重要。然而，这种方法也存在一些挑战，例如处理恶意攻击者可能会延迟发布块以及对一个客户机有效的证明所带来的延迟挑战。（来源链接）

ChainCatcher 消息，基于 zkRollup 的以太坊二层网络 Taiko 已上线 ZK-EVM alpha-2 测试网“Askja”，现已允许开发人员部署智能合约。该测试网目前部分集成了 ZKP 有效性证明，让验证者无需许可即可生成证明。 此外 Taiko 启用协议经济学，对验证者给予真实奖励以补偿其资源消耗。Taiko L2 测试网对应的 L1 是以太坊测试网 Sepolia，并部署了 Uniswap V2 分叉以支持交易。（来源链接）

Chaincatcher 消息，以太坊 ZK-Rollup 扩容方案 Taiko 发文公布路线图，计划在本月推出 Alpha-2 测试网，其中包含无需许可的 provers 和部分 ZK-EVM 电路，并在 2024 年初上线主网，实现完整的 ZK-EVM 电路、去中心化 proposers 和去中心化 provers。（来源链接）

ChainCatcher 消息，跨链桥 Hop Protocol 近日宣布，ConsenSys zk-EVM 已集成到 Hop 的测试网站点，当测试网向公众开放时，用户将能够从任何支持的测试网链中发送 Goerli ETH 到新的 ConsenSys zk-EVM。 Hop 称，该集成最初是 ConsenSys zk-EVM 团队在 Hop 治理论坛上提出的建议，并一致通过了治理周期的所有阶段。（来源链接）

ChainCatcher 消息，零知识证明技术开发公司 StarkWare 在推特上宣布，已使用 STARK 证明系统语言编程语言 Cairo 写出编写完成 ZK-EVM，将于明天邀请以太坊联合创始人 Vitalik Buterin、ZK-STARK 合作发明者 Eli Ben-Sasson、StarkWare 成员 Shahar Papini 等人进行 Twitter Space。据悉，Cairo 为图灵完备的零知识证明系统语言，尚处在早期开发阶段。（来源链接）

ChainCatcher 消息，以太坊基础设施开发公司 ConsenSys 发布新的 EVM 等效以太坊虚拟机（zk-EVM) 规范，设计目标包括按照黄皮书中指定的 EVM 规范执行未更改的原生字节码（native bytecode）、100% 覆盖不同的操作码、交付 Vitalik 定义的 “Type 2” zk-EVM，使开发人员可以部署任何智能合约，使用任何工具，并完全按照他们在 L1 上构建应用的方式进行开发，目前测试版本已开放。 团队正在努力实现 zk-EVM 的完整设计，并将很快推出一个私人测试网以接收来自社区的反馈。欢迎所有 dApp 开发人员、用户、研究人员和现有协议加入并帮助扩展以太坊。（来源链接）