找到约 15 条结果

文章 使用 Viem.sh 读取NFT合约信息

...Client, http } from 'viem' import { mainnet } from 'viem/chains'; import erc721Abi from './erc721Abi.json' assert { type: 'json' }; const client = createPublicClient({ chain: mainnet, transport: http(), }) const nftContractAddress = '0x0483b0dfc6c78062b9e999a82ffb795925381415' const...

文章 如何使用 Halmos 编写符号测试

...建这些符号。 [Halmos cheatcodes]: 例如，考虑一个基本的 ERC20 代币合约，如下所示： ```solidity import {ERC20} from "openzeppelin/token/ERC20/ERC20.sol"; contract MyToken is ERC20 { constructor(uint256 initialSupply) ERC20("MyToken", "MT") { _mint(msg.sender, ...

文章 跨链重入攻击

... _\_mint_ 相同，但它执行额外检查以确保接收者能够处理 ERC721 功能。这在接收者不是 EOA 时很重要。 但 _checkOnERC721Received_ 在做什么？ 这是一大段代码，但我们只关注这部分： 请注意，正在执行对接收者的 **外部调用**。...

文章 解读：OpenSea的强制版税执行工具

...AllowedOperator ，onlyAllowedOperatorApproval，请特别注意，NFT 的 ERC 721 标准不包含transfer函数。 ![640 (1).png](https://img.learnblockchain.cn/attachments/2022/12/3pebG5E9639fbafc47d8e.png) 拓展阅读：[NFT 租赁提案 EIP-5006 步入最后审核！让海外大型游...

文章 Fusaka 主网公告

...a:image/svg+xml,%3csvg%20xmlns=%27http://www.w3.org/2000/svg%27%20version=%271.1%27%20width=%271064%27%20height=%27456%27/%3e)![Fusaka 主网公告](https://img.learnblockchain.cn/2025/11/07/47920131_image.png) Fusaka 跟随今年的 Devcon，代表了以太坊扩容路线图中的一个重大进...

文章 每周以太坊 2024/12/14

...pull/9129/files)：向执行层 EL 配置文件添加 blob 时间表 * ERCs（应用层）： * [ERC7837](https://github.com/ethereum/ERCs/pull/759/files)：扩散性（Diffusive ）代币， 在转账时铸币。 * [ERC7838](https://github.com/ethereum/ERCs/pull/762/files)：特...

文章 每周以太坊进展 2023/3/11

...m/ethereum/EIPs/pull/6601/files)：EVM 模块化算术扩展 (EVMMAX) * ERC： * [ERC6617](https://eips.ethereum.org/EIPS/eip-6617)：基于位的权限 * [ERC6662](https://github.com/ethereum/EIPs/pull/6662/files) : 用于身份验证的账户抽象帐户元数据（ERC4337 扩展...

文章 每周以太坊 2024/03/02

...ereum/EIPs/pull/8277/files)：用于 PoS 之前数据的历史累加器 - ERCs（应用层）： - [ERC7638](https://github.com/ethereum/ERCs/pull/282/files)：优化调用编码（用于合约钱包）， 将多个调用合并为一个调用，将多个参数编码为字节，压缩链上数据...

文章 Zealynx实习生在Sherlock审计中获得前十名的三步流程

...**，而这次经历强调了第一个词的重要性。 ### 了解你的 ERC 的力量 我对 Ethereum Request for Comments (ERCs) 非常着迷。它们是 DeFi 的基石，理解它们的细微差别、功能，以及最重要的是，它们常见的陷阱，对于审计员来说是一种超能...

文章 在 Uniswap v4 中证明偿付能力：AMM 安全性的形式化验证

...尚未提取）。 - **协议费用**（由 Uniswap DAO 收取）。 - **ERC-6909 代币储备**（支持合成代币）。 - **临时货币增量**（待处理的交易或闪电贷）。 - **操作中的临时债务** 最后两个条目是临时的，甚至可以是负数，这意味着合约在...

文章 Nervos x Gitcoin bounty 任务8: 修改移植的 dApp，使之支持透过 Force Bridge 来的以太坊资产

...地址在此作为他们的以太坊地址。这是必需的，因为 SUDT-ERC20 代理合约需要一个 Polyjuice 地址。 以下代码用于从以太坊地址计算出一个 Polyjuice地址: ```jsx const { AddressTranslator } = require('nervos-godwoken-integration'); const addressTrans...

文章 合约测试 - 如何定义不变性

...张。 本文将探讨不变性到底是什么。它将概述如何在ERC4626储蓄库上定义不变性。 首先，我们将专注于定义不变性的四种属性类型。然后，我们将查看ERC4626储蓄库的每种类型的示例。 这里是进行不变性测试的魔力开始的...

文章 每周以太坊进展 2023/1/28

...ldpat.substack.com/p/rollups-need-an-eco-system-license) ## EIP * [ERC6366](https://github.com/ethereum/EIPs/pull/6366/files)：权限代币 * [ERC6372](https://eips.ethereum.org/EIPS/eip-6372)：合约时钟 * [ERC6381](https://github.com/ethereum/EIPs/pull/6381/files)： NFT 的扩...

文章 每周以太坊进展 2023/5/13

.../github.com/ethereum/EIPs/pull/7002/files)：执行层可触发退出 * ERC： * [ERC6997](https://github.com/ethereum/EIPs/pull/6997/files)：带有交易验证步骤的 ERC721 * [ERC7007](https://github.com/ethereum/EIPs/pull/7007/files)：zkML AIGC-NFT * [ERC7015](https://...

文章 智能合约自动检测工具『链必验』，如何带你解锁Web3.0世界

...查转账操作** **等级：** ERROR **描述：** 当合约定义ERC20标准的transfer/transferFrom接口时，需要检查transfer/transferFrom接口的返回值，否则会导致对转账状态的判断错误。 **样例** ![](https://pic3.zhimg.com/80/v2-1666f4aac127ee300f3ae4970f4...