智能合约

Certora团队的John Toman发现了Solidity 0.7.3中的一个bug，该bug导致编译器在一些写入操作中错误地将垃圾数据写入持久存储。这一问题可能导致合同执行成本增加，但目前尚未确认其安全影响。Solidity编译器团队已在0.7.4版本中修复了该bug。

以太坊的账户模型与比特币的 UTXO 模型完全不同，它采用状态账户系统，围绕「账户、状态、余额、存储」构建完整的数据结构体系。本文将深入剖析外部账户（EOA）与合约账户的区别、状态树的演化逻辑，以及账户在链上如何通过哈希与 Merkle Patricia Trie 进行存储。掌握这些机制，是理解合约

本文详细介绍了Keccak256哈希函数及其在Solidity和以太坊中的应用，包括其原理、安全性、实现方式及常见用例。

本文回顾了不同的基于云的工具和方法，用于模糊测试Solidity智能合约，探讨了各自的优缺点和实际应用情况，提供了关于如何选择合适工具的建议。

本文全面概述了Solidity中的“delegatecall”函数，详细介绍了它在一个智能合约的上下文中执行另一个智能合约中的代码的重要性。

本文深入探讨了LayerZero协议如何在多链环境中实现跨链互操作性。通过介绍其独特的Ultra Light Node架构，文章解释了LayerZero的工作机制及其与当前跨链解决方案的不同之处，强调了其在共享流动性、状态共享和简化用户体验方面的潜力，并展望了未来多链应用的发展。

ERC 4337引入了以太坊的账户抽象，允许更灵活和用户友好的账户模型。

Aptos区块链智能合约入门：使用Move实现消息存储与检索引言：Aptos是一个全新的第1层区块链网络，致力于为开发者提供一个更加快速、安全且具备高度扩展性的去中心化平台。该平台由前Meta工程师打造，推出了全新的编程语言——Move，用于编写安全、灵活且可验证的智能合约。Ap

文章讨论了EIP-3074和Vitalik提出的EIP-7702提案，它们都旨在赋予EOA执行代码的能力。EIP-7702通过在交易期间设置EOA的代码来实现，与现有智能账户更兼容，并与账户抽象路线图更一致，更有利于未来的创新和发展，被认为是比EIP-3074更好的版本。文章还探讨了EIP-7702的未决问题，例如协议内撤销、存储和永久升级。

EIP-3074 提案允许 EOA 授权智能合约代表其进行交易，有望提升用户体验，但同时也存在潜在风险，例如恶意调用者可能损害用户利益。文章探讨了 EIP-3074 为智能账户采用带来的机遇与挑战，强调了在保证用户安全的前提下，实现无需许可的创新的重要性，并提出了去中心化调用者注册表的概念，同时认为 EIP-5003 提案可以缓解 EIP-3074 的一些问题。

该页面是MetaMask的新闻发布页面，展示了多篇文章，内容涵盖加密货币Staking、MetaMask Delegation Toolkit、Infura交易处理能力增强、AI Agent代币交易、Linea上的智能合约开发、NFT市场构建、去中心化众筹、Token授权撤销、DIN 2024成就以及Swellchain上线等多个主题。

本文详细介绍了Composable Finance的跨链虚拟机（XCVM），强调其在DeFi领域中实现真正的可组合性的重要性。XCVM允许在多个区块链之间无缝交互，提供了一种全新的构建去中心化应用的方式，解决了当前跨层解决方案的局限性。

本文详细阐述了开放性区块链与许可性区块链之间的区别及应用。开放性区块链的核心特点包括透明性、匿名性和去中心化，同时也面临可扩展性的问题。而许可性区块链则主要面向特定企业或组织，强调隐私与安全性。