1. 科技头条

1.1. Vitalik Buterin 提出 EIP-3074 替代方案

Foresight News 消息，Vitalik Buterin 提出了 EIP-3074 的替代方案，该替代方案添加了新的交易类型，即 EIP-2930 tx，还添加了两个新字段：字符串「contract_code」和签名，并将签名帐户（不一定与 tx.origin 相同）转换为智能合约钱包。这似乎与任何 3074 工作流程兼容，并且转换 3074 工作流程只需要很少的工作。EIP-3074 还有一个额外的优势，即它与最终账户抽象非常向前兼容，而不会过度保留 ERC-4337 或 RIP-7560 的任何细粒度细节。

具体来说，用户需要签署的合约代码实际上可以是现有的 ERC-4337 钱包代码，且不需要添加任何操作码，还允许 EOA 以与现有 EntryPoint 兼容的方式暂时将自身转换为包含在 ERC-4337 捆绑包中的合约。

https://hackmd.io/@vbuterin/3074_via_tx_type

1.2. 数据：RWA 协议 TVL 接近 80 亿美元，2 月以来增长近 60%

Foresight News 消息，Messari 在一篇报告中表示，截至 4 月 26 日，RWA 协议的 TVL 已飙升至近 80 亿美元，自 今年 2 月份以来，RWA 协议 TVL 激增近 60%。

https://foresightnews.pro/news/detail/43952

1.3. MakerDAO 拟推出取代 DAI 和 MKR 的新稳定币和治理代币

Foresight News 消息，MakerDAO 计划推出取代 DAI 和 MKR 的新代币符号的稳定币和治理代币。其中 NewStable（NST）将作为 DAI 的升级版代币，专为更广泛的采用而设计，并具有增强的稳定性功能；NewGovToken（NGT）代表生态系统内完善的治理方法，每个 MKR 将转换为 24,000 个 NewGovToken，旨在鼓励更广泛的参与和更具活力的决策，且二者最终名称将通过品牌揭晓来分享。

https://foresightnews.pro/news/detail/44071

1.4. LayerZero 推出「女巫活动自行报告」，自行报告的女巫可获预期空投分配的 15%

Foresight News 消息，LayerZero Labs 推出「女巫活动自行报告」（Self-Report Sybil Activity）计划，如果女巫地址在指定页面自行报告相关地址，可获得预期分配的 15%，且无需回答任何问题，截止日期为 5 月 17 日 19:59:59。到达自行报告期限后，将分为两个阶段，第 1 阶段官方将发布自己的所有已识别女巫用户的名单，其中那些被识别但未自我报告的用户将无法获得空投分配；第 2 阶段官方将开放赏金，用户可以在其中提交女巫活动的详细报告，成功的报告将导致女巫用户无法获得空投分配，赏金猎人将获得女巫地址预期分配数额的 10%。

https://foresightnews.pro/news/detail/44072

2. 产业动态

2.1. ZAN 母公司蚂蚁数科加入香港金管局 Ensemble 项目架构工作小组

5月7日，蚂蚁数科正式宣布加入香港金融管理局的 Ensemble 项目架构工作小组（简称“工作小组”）和 Ensemble Sandbox（简称：沙盒）。

作为工作小组及沙盒成员，蚂蚁数科将参与通证化存款的技术测试和通证化资产的创新场景探索以及相关行业标准的制定，为行业稳定、繁荣发展建言献策。

蚂蚁数科副总裁、ZAN CEO 张辉表示：“我们很荣幸成为 Project Ensemble 的一部分，并且很高兴能为该项目贡献专业知识。金管局对代币化市场发展的创新方法和愿景给我们留下了特别深刻的印象。我们期待与金管局和其他项目成员密切合作，共同踏上这一激动人心的旅程，建设塑造行业未来的数字基础设施。”

https://mp.weixin.qq.com/s/PJ1YvoSI0vQHPjBmxGOGYQ

2.2. Movement研报：基于Move的zk-Rollup，连接与EVM生态的流动性

Movement 是一个模块化框架，用于在任何分布式环境中构建和部署基于 Move 的基础设施、应用程序和区块链。该团队正在构建一套产品和服务，使非 Move 协议能够利用 Move 编程语言的强大功能，而无需编写一行 Move 代码。该团队的第一个版本 M1 将 L1 重新定义为可垂直组合和水平可扩展的第 1 层框架，该框架与 Solidity 兼容，连接 EVM 和 Move 流动性，并允许构建者自定义具有不同用户基础和流动性的模块化和可互操作的应用程序链开箱即用。

https://www.panewslab.com/zh/articledetails/dj2k9oz2.html

2.3. Uniswap在Arbitrum网络上的总交易量突破1500亿美元

金色财经报道，以太坊第2层协议Arbitrum在去中心化交易所Uniswap上的交易量超过了1500亿美元。Uniswap Labs周一在社交媒体帖子中写道，Arbitrum是第一个在DEX上突破1500亿美元总交易量门槛的Layer2。截至5月初，Arbitrum累计掉期交易量达到1502亿美元。 区块链数据跟踪器DeFiLlama显示，Arbitrum的锁定总价值(TVL)为26.4亿美元，使其成为TVL最大的Layer2，也是仅次于Layer1 Solana、BSC、Tron和以太坊的第五大协议。

https://www.theblock.co/post/292655/arbitrum-surpasses-150-billion-in-total-transaction-volume-on-uniswap

3. 深度分析

3.1. 什么是智能合约的形式化验证？

如今，运行在各条区块链上的智能合约控制着总计价值上千亿美元的数字资产 。和传统的软件程序一样，智能合约也会由于开发人员的疏忽出现各式各样的漏洞。在最近的几年时间里，智能合约遭受的黑客攻击已经造成了数十亿美元的资产损失。如何确保智能合约代码逻辑的正确性，避免项目遭受黑客攻击，一直以来都是合约开发人员以及整个 Web3 社区最关心的话题之一。

形式化验证（formal verification）就是这样一种能够确保智能合约的安全性与正确性的可靠技术。形式化验证技术已经在传统的硬件和软件行业中得到了广泛的应用，其能够检查目标系统是否满足某一特定的安全属性。

https://mp.weixin.qq.com/s/UPE7LJ0zTkYu1PA03iriUA

3.2. 区块链扩容新框架：水平与垂直扩展

自从 Rollups 的兴起以来，区块链的扩展一直集中在模块化与单体化的争论上。最初，这种二元对立是一种有用的思维模型，用于推理区块链的可扩展性，但是现在，这两个阵营都已经超越了它。

如今，模块化与单体化的对比给我们的可扩展性思维模型带来了不必要的限制。

那么，还有什么替代方案呢？

在本文中，我们将展示水平扩展与垂直扩展一直是区块链可扩展性的基本框架，并解释采用水平扩展与垂直扩展如何带来更好的扩展解决方案。

https://foresightnews.pro/article/detail/59501