找到约 14 条结果

文章 Yield VR 安全审查

...ddress user, uint128 amount) internal virtual returns (uint128) { IERC20 token = IERC20(asset); storedBalance -= amount; token.safeTransfer(user, amount); return amount; } ``` **建议的缓解措施:** 为了解决此问题,建议向 Join 合约添加一个...

文章 参数化规则介绍

...总票数应始终等于赞成票和反对票的总和。 - 在一个 **ERC-20 合约** 中,用户的余额绝不能超过代币的总供应量。 在本章中,我们将学习如何编写所谓的参数化规则——这些规则允许我们形式化验证预期在无论哪个函数被调用...

文章 标准创新赋能创意经济

...设施 Fabian Vogelsteller(我们中的许多人都很熟悉,他是 [ERC20](https://eips.ethereum.org/EIPS/eip-20) 标准的提议者)与 Marjorie Hernandez(在创意产业中广为人知)一起解释了 Web3 采用的这些局限性,并展示了 [LUKSO](https://lukso.network/),一个...

文章 掌控 Solidity:事件日志、继承和接口的深度解析

...现。下面是一个简单的接口定义: ```solidity interface IERC20 { function totalSupply() external view returns (uint256); function balanceOf(address account) external view returns (uint256); function transfer(address recipient, uint256 amount) external returns (bool); ...

文章 深度拆解 Grass 模式:基于 EIP-712 与 DePIN 架构的奖励分发系统实现

...er: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/token/ERC20/ERC20.sol"; contract MockToken is ERC20 { constructor(string memory name, string memory symbol) ERC20(name, symbol) { // 初始给部署者薄利 100 万个,方便测试 _mint(msg.sender, 100...

文章 UniswapV1 协议分析

...担双重角色: 1. **交易所**:执行 ETH ↔ Token 交易 2. **ERC20 代币**:发行流动性代币(UNI-V1) ## 交易机制 ### 支持的交易类型 | 交易方向 | 精确输入 | 精确输出 | 转账版本 | |----------|----------|----------|----------| | ETH → Token...

文章 账户抽象对安全和用户体验的影响

...抽象提供了支持;本文旨在分享我们关于如何安全构建 ERC-4337 的见解。_ [账户抽象](https://learnblockchain.cn/docs/eips/EIPS/eip-4337) 为智能合约开发者支持了新的用例,使用户能够拥有免 gas 体验、使用生物识别进行身份验证,或利用...

文章 Stylus 合约库 v0.2.0 审计

...少溢出检查](#absence-of-overflow-check-in-from_str_hex-function) - [Erc20Wrapper 中的底层 decimals 可能设置不正确](#underlying-decimals-in-erc20wrapper-can-be-set-incorrectly) - [IErc4626 中的状态可变性可以被限制](#state-mutability-can-be-restricted-in-ierc4626) - [...

文章 如何集成 Uniswap V4 并创建自定义Hook

... 由于Uniswap 在以太坊上运行,我们可以交易的是以太坊ERC-20代币和ETH。原本每种代币都有自己的智能合约和流动性池合约,现在在**Uniswap 4**中,由一个智能合约管理所有流动池的状态。一个流动池是任何两个代币,有一些自...

文章 如何使用Brownie部署智能合约

...将使用 [token mix](https://github.com/brownie-mix/token-mix),这是 ERC-20 实现的模板。 ## 安装依赖 Brownie 建立在 python3 之上,所以我们需要安装 python3 才能使用 brownie;让我们检查系统是否安装了 python3。要做到这一点,在终端/cmd 中输入...

文章 Sepolia Pectra 事件事后分析

...。Sepolia 运行一个许可的验证者集,该集合由一个自定义 ERC-20 代币控制存款,而不是普通的 ETH。当合约发出意外的 ERC-20 相关日志时,处理来自存款合约的事件的 EL 客户端遇到了问题。在修复问题的同时,攻击者积极地推送触...

文章 学习Solidity:易于学习,难以精通?

...Efficient 的 gas 成本可能会有天壤之别。为什么?在底层,ERC20 代币将用户的余额存储为存储变量。当一个存储变量从零变为非零时,会导致该变量在区块链上创建。而创建步骤是相对昂贵的。当变量被设置为零时,它会被隐式地...

文章 imToken 在 EthCC 7 的演讲分享:「揭示未来:多链账户抽象解析」

...。这种灵活性提供了更安全、更优的用户体验。 - 在 ERC-4337 和原生 AA 中,「验证」阶段的入口点函数是固定的,而在「执行」阶段,只有原生 AA 中的入口点是固定的。验证交易的限制和执行交易的步骤在不同实现中有各自的...

文章 在区块链浏览器上显示代币价格和市值

...声誉及蓝色对号标记。本文将介绍如何操作让你的BEP20 / ERC20 Token的获得完整的信息。 ![为你的代币更新Bscscan和Etherscan](https://img.learnblockchain.cn/pics/20220721183343.png!/scale/50) 代币设计非常重要,投资者之所以选择一些东西,是...