Certora 的形式化验证 ## 形式化验证 ERC-20 代币 [模块 2：不变量、存储Hook、幽灵变量和形式化验证代币不变量、存储Hook、幽灵变量和形式化验证代币](https://learnblockchain.cn/course/101) 最后更新日期：2026 年 2 月 13 日 ## 引言 在本...
...码。 该代码的主要功能是可以查询某个以太坊地址里面erc20和erc875的币量 # 编译及运行程序 点击vscode左下的外星人图标，在project tasks里面，有一个叫做upload and monitor，点击就会自动编译下载，并在串口屏幕进行监控 # 部分代...
...[5.x](https://docs.openzeppelin.com/contracts/5.x/) 是当前版本。 ## ERC721 我们已经讨论了如何使用 [ERC20](https://learnblockchain.cn/article/17812) 创建一个**同质化**代币，但如果不是所有代币都一样呢？这在**房地产**或**收藏品**等情况下会出现...
...库版本 而不是这样做： import "@openzepplin/contracts/token/ERC20/ERC20.sol"; 这样做： import "@openzeppelin/contracts@4.9.3/token/ERC20/ERC20.sol"; 你可以通过点击 GitHub 左侧的分支下拉菜单并点击标签，然后选择最新版本来获取最新版本。...
...太（或给定链的其他原生代币）枚举值：`NATIVE = 0` * ERC20：枚举值：`ERC20 = 1` * ERC721：枚举值：`ERC721 = 2` * ERC1155：枚举值：`ERC1155 = 3` * 带有“标准”的 ERC721（如下所述）：枚举值：`ERC721_WITH_CRITERIA = 4` * 带有...
...前退出系统的时间。 * Token：Token合约是一种特殊类型的ERC20合约，它实现了ERC20Votes扩展。这允许将投票权映射到过去余额的快照而不是当前余额，这有助于防止知道有重要提案即将出现并试图通过购买更多代币然后抛售它们来...
...。 2. [Universal Router](https://github.com/Uniswap/universal-router) 将ERC20和NFT兑换统一到一个单一的兑换路由器。与Permit2整合后，用户可以在一次兑换交易中兑换多个代币和NFT，同时节省Gas费。 Uniswap最初构思Permit2和Universal Router是为...
# 1，关于ERC1400 "ERC1400"是新提案的证券型代币的标准，新标准主要是把 Token 的互换性（fungible）结合证券相关的业务场景，设计了一套通用接口。 标准制定了 Token 持有人的余额分离成多个分片(tranche)的能力。tranche 是一种以...
...的区别和应用场景。 - 同质化 Token（FT）： - 解释了 ERC20 标准，以及如何使用代码来表示和发行同质化的 token。 - 讨论了同质化 token 的不同类型，包括功能型 token、稳定币和权益型 token，并列举了一些案例，如 LINK、ETH、...
...和最小代理（Minimal Proxy）来高效创建和管理多个独立的ERC20代币合约实例。这种方法旨在低成本地部署大量具有独立属性（如名称、发行量、铸造规则）的代币。视频强调了在代理合约中避免使用构造函数（constructor），而应采...
...icense-Identifier: MIT // wtf.academy pragma solidity ^0.8.22; import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import "hardhat/console.sol"; /** * @title ERC20代币线性释放 * @dev 这个合约会将ERC20代币线性释放给给受益人`_beneficiary`。 * 释...
...和转移同质化代币； - 比特币的新型代币标准与以太坊 ERC-20 不同，它不是智能合约管理的代币，而是区块链本身的铭文； - 鉴于新安装的代币在当前开发阶段的功能有限，加密社区仍然对发现这种新兴技术的新应用持乐观态...
...} ``` `hardhat.config.ts`配置： ```typescript import { HardhatUserConfig } from "hardhat/config"; import "@nomicfoundation/hardhat-toolbox"; const config: HardhatUserConfig = { solidity: { version: "0.8.20", settings: { optimizer: { enabled: true, ...
bsc链上的erc20合约，要求只有一点买卖的时候2%兑换成bnb发送到营销钱包，现在的问题是添加流动性会一直报错Fail with error 'TransferHelper::transferFrom: transferFrom failed' 求助~~~ ```// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updat...