...准和实现 ### Solidity（以太坊） - **NFT标准**：主要是ERC-721和ERC-1155标准。 - **ERC-721**：单个代币代表一个唯一的资产。 - **ERC-1155**：支持同时管理同质化和非同质化代币。 - **实现方式**：通过继承OpenZeppelin等库提供的...
...或更高将使 Halmos 实现完整性。 ## 演示：使用 Halmos 对 ERC721A 进行形式化验证 为了展示 Halmos 的能力，我们使用它对 [ERC721A](https://www.erc721a.org/) 进行符号测试和形式化验证，这是一种高度优化的 ERC721 标准实现，几乎与单个...
...系统中 rollup 之间大量创新和实验的机会。 ## 动机 由 [ERC-721](https://github.com/omni-network/ERCs/blob/master/ERCS/eip-721.md) 定义的非同质化代币已成为自 2017 年最初的 EIP 提案以来最重要和使用最广泛的数字资产标准之一。 然而，在该标...
## Paymaster 如果你想为你的用户赞助用户操作，ERC-4337 定义了一种特殊的合约，称为 **paymaster**，其目的是支付用户操作所消耗的 gas 费用。 在账户抽象的上下文中，赞助用户操作允许第三方代表用户支付交易 gas 费用。这可以...
...异，这些差异直接影响用户体验 - **Gelato**在赞助交易和ERC20交易方面，针对Safe、Kernel、Thirdweb和Alchemy钱包取得了卓越的性能 - **开源**基准测试能够在所有主要提供商之间实现可复现的结果 **结论**：基础设施选择直接影响用户...
...s://img.learnblockchain.cn/2025/04/24/1Jab0t_6EJoHldylwiUAeeA.png) 自从 ERC-4337 发布以来，我们已经看到了智能账户实现和账户功能（例如 passkeys 和 session keys）的加速发展。一些功能已内置于账户中，另一些则通过模块系统构建。 这导致不...
...PS/eip-7683)到以太坊魔法师[论坛](https://ethereum-magicians.org/t/erc-7683-cross-chain-intents-standard/19619/1)。这两个项目已将该标准提交给 [CAKE 工作组](https://frontier.tech/cake-working-group) 以供他们讨论和审查。 ### 摘要 以下标准允许实现跨...
## **1. `onERC721Received` 的作用与使用** ### **1.1 `onERC721Received` 是什么？** `onERC721Received` 是 ERC-721 标准中的一个回调函数，专门用于 **合约** 接收 NFT（ERC-721 代币）时的安全处理。当 NFT 通过 `safeTransferFrom` 方式被转移到合约时...
...已经上传，构造需要传参数 调用代码： ``` interface IERC20 { event Approval(address indexed owner, address indexed spender, uint value); event Transfer(address indexed from, address indexed to, uint value); function name() external view returns (string memory);...
在本节中，我们将讲解官方文档中的 100% Yul 实现的 [ERC20 合约](https://docs.soliditylang.org/en/latest/yul.html#complete-erc20-example)。为了方便理解，我们会逐步讲解，并在适当的位置附上代码。 首先，来看合约的构造函数部分： ``` yu...
...安全考虑 ChainLight 已经分析了针对构建在或计划实现 ERC4337 的项目的安全审计报告，并根据这些报告编制了基于这些报告的账户抽象项目的基本注意事项清单。在本文中，我们参考了 OpenZeppelin 对 ERC4337 参考实现的审计报告，...
... ``` pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; import "@openzeppelin/contracts/access/Ownable.sol"; import "@openzeppelin/contracts/token/ERC721/extensions/ERC721Enumerable.sol"; contract NFT_WEB3_EXPLORER is ERC721, ERC721Enumerable, Ownable { ...
...`EIP-1822 UUPS`的进一步标准化版本，读者可以在这里找到[ERC文档](https://learnblockchain.cn/docs/eips/EIPS/eip-1967)。该标准被`etherscan`等区块链浏览器支持，可以提供完整的代理合约展示和交互功能。你可以前往[USDC合约](https://etherscan.io/add...
...s`付出（前提是用户在`paymasters`有存款或授权一定数量的 ERC20 代币）。这使得用户在区块链上能有更好的体验了。 # 设计 ZKsync 上的帐户抽象协议与 `EIP-4337`非常相似，但为了效率和更好的用户体验，仍然有所不同。 ## No...