技术

账户抽象 (Account Abstraction, AA) 的出现引起了广泛关注，它被视为解决以太坊用户体验问题的一项关键方案。然而，尽管 AA 被认为具有很大潜力，但在实际应用中一直是一个难题，直到最近才有所突破。

在我们继续增强 Jolt 的同时，我想回应外界的质疑和困惑，澄清误解，分享我对一些关键问题的看法。我在本文要探讨的四部分内容是：（1）sum-check 协议与 Binius 承诺方案之间的关系，（2）sum-check 和 lookups 在 Jolt 中的作用，（3）椭圆曲线与哈希，（4）与 zkVM 相关的预编译。

以太坊网络向权益证明（PoS）模式的过渡标志着区块链技术的一次革命性进步，这种方法更强调节能高效，在保持去中心化和网络安全方面的效率高达 99.95%，据以太坊基金会称。通过允许持有并愿意「质押」一定数量 ETH 的持有者来验证交易，PoS 不仅加强了网络安全性，还提升了可扩展性。

ERC-7401 即家长管理的可嵌套非同质代币，最初的名称为 ERC-6059，但后来在许多社区评论后进行了修订并给出了新的编号。该标准于 22 年提出，23 年 9 月才最终确定，其未来应用尚待观察，但将带来改进的功能。

我相信，如果你能够在特定领域为他人提供帮助，那么在很长一段时间内，人们都会将你视为第一选择。这会让人们更愿意关注、参与和分享你的内容（这能使你的内容得以进入更多层级的传播网络）。你也可以借助内容来供人们娱乐消遣或者获得激励，但都应该建立在帮助人们解决特定问题的基础上。

在讨论 ZK 漏洞之前，让我们先来了解 CertiK 是如何进行 ZK 形式化验证的。对于像 ZK 虚拟机（zkVM）这样的复杂系统，形式化验证（FV）的第一步是明确需要验证的内容及其性质。这需要对 ZK 系统的设计、代码实现和测试设置进行全面的审查。这个过程与常规的审计有所重合，但不同之处在于，审查后需要确立验证的目标和性质。

尽管比特币在当时传言的 ETH ETF 获得批准的可能性中涨幅有所回升，但上周是比特币主导地位是自 1 月份现货 BTC ETF 的到来以后表现最差的一周，而 1 月份的表现差是由于 Grayscale Bitcoin Trust （GBTC）的大规模赎回。

譬如 Metis 的 PoS 排序器池运作原理就与 Arbitrum 和 Optimism 等 Rollup 类似——使用 PoS 机制来进行排序器的选举和出块，当用户发起交易，交易被发送至网络中的排序器节点，排序器负责收集交易并将其打包，并用 TSS 多签的方式对一个 batch 进行签名。

目前来说，在 PoS 区块链中，验证者通过锁定一定数量的质押（如以太坊中的 32 ETH）来参与共识网络，从而确保网络安全。因此，PoS 区块链安全的本质是由经济保护的，即总质押越大，攻击共识网络所需的成本或损失就越大。

这似乎在逐步演变为整个链上用户增长故事的终局，更糟糕的是，开发者们也正在离开这个由链上用户编织的虚假丛林，因为项目在代币生成事件（TGE）后很难留住这些「Farmer」。

TeleportDAO 和 Eigen Labs 于近日联合发表了一篇论文，重点关注了轻节点在权益证明（PoS）区块链中访问和验证链上数据时面临的安全和效率挑战。本文将对该论文进行深度解读。

跨链意图指在不同链之间执行用户指定的交易。例如你有一笔 USDC 在以太坊上，你希望将其兑换成 Polygon 上的 MATIC。在跨链意图系统中，你只需告诉系统「将以太坊上的 USDC 兑换成 Polygon 上的 MATIC」，系统会自动寻找最优路径完成这笔交易，包括跨链桥接和兑换。