...一些预编译合约在 Moonbeam 和 Moonriver 之间共享。 Balance ERC-20 预编译为余额的原生代币（`MOVR` 和 `GLMR`）提供了一个 ERC-20 接口。实现 `Erc20BalancesPrecompile` 位于 `moonbeam/precompiles/balances-erc20/src/lib.rs` 中。 设计者没有考虑到 EVM 中 \`...
Certora 形式化验证 ## ERC-721 的铸造和销毁规则 [模块2：不变量、存储Hook、幽灵变量和代币的形式化验证](https://learnblockchain.cn/course/101) 最后更新于 2026 年 2 月 13 日 ## 介绍 ERC-721 是以太坊非同质化代币（NFT）的标准，广泛用于...
... EVM 槽 | 根据 Solidity 规则的顺序槽分配 | | **EIP 标准** | ERC-1967 存储槽, ERC-1822 proxiable UUID | 相同 | | **上下文检测** | 唯一存储槽中的 `logic_flag` 布尔值（不支持 `immutable`） | `address(this)` 存储为 `immutable` | | **初始化** | 两步：cons...
...作的。 ## 回顾 `totalSupplyEqSumOfBalances()` 不变量 在使用 ERC20 代币时，最基本的安全检查之一是确保**所有余额的总和始终等于代币的总供应量**。这个不变量，通常被称为**代币完整性**，保证代币不会被无意中创建或销毁，并且...
...的重点在于： 1. **你如何使用 Foundry 来测试一个标准的 ERC20 智能合约以及** 2. **你如何使用 Foundry 在测试网络上部署 ERC20 智能合约** ### 感谢致辞 在我们深入讲解 Foundry 之前，我们想向我们的嘉宾作者 Akshay 致以衷心的感谢（...
... ``` // SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import {ERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol"; import {Ownable} from "@openzeppelin/contracts/access/Ownable.sol"; import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol"; /** * ...
...fier: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; import "@openzeppelin/contracts/token/ERC20/extensions/ERC20Permit.sol"; // 必须显式导入 import "@openzeppelin/contracts/token/ERC20/extensions/ERC20Votes.sol"; import "@openzeppelin/contracts/gover...
...——从 CryptoKitties 到 ENS 名称，再到智能合约——以任何 ERC20 代币进行交易。 ## 嗯——什么？ 这是一种新型的 DEX，因此一些类比可能会有所帮助。你可能听说过去中心化的 ERC20 代币交易所或协议，如 Etherdelta、0x 或 Airswap。...
...数量（例如，ETH）。 - yyy 代表另一种资产的数量 (一种 ERC20 token)。 - kkk 是“恒定乘积”或不变量，在交易期间必须保持恒定（费用前）。 此公式为资产价格创建了一个双曲线 粘合曲线。当交易者希望将数量为 Δx\\Delta xΔx 的...
...步推进这个想法。 我们需要一个 manager 合约，它将实现 ERC721 标准并管理流动性仓位。该合约将具有标准的 NFT 功能（铸造、销毁、转移、余额和所有权跟踪等），并将允许向池提供和移除流动性。该合约需要是池中流动性的实...
... ETH 值。**** `mint(to, tokenId);` - 这将调用 OpenZepplin 的 ERC721 合约文件中包含的 mint 函数，并将选定的 NFT 实例化/转移给买方。 `_setTokenURI(tokenId, uri);` - 这将调用 OpenZepplin 的 ERC721 合约文件中包含的 **`_setTokenURIfunction`**，并将 N...
...基础设施，具有经过大量审计的组件，并支持 EIP-7702 和 ERC-4337 等开放标准，使团队能够构建无 Gas、可编程和嵌入式钱包 UX，而无需供应商锁定。 ### 介绍 Smart Wallet SDK [Gelato Smart Wallet SDK](https://www.gelato.cloud/smart-accounts) 是一...
一个“Rebase Token”（有时称为“ rebasing 代币”）是一个 ERC-20 Token，其总供应量和Token持有者的余额可以在没有转移、铸造或销毁的情况下进行更改。 DeFi 协议通常使用Rebase Token来追踪其对存款者应付的资产金额——包括协议...