Michael.W基于Foundry精读Openzeppelin第56期——VestingWallet.sol

2024-06-05 00:04

本文主要是介绍Michael.W基于Foundry精读Openzeppelin第56期——VestingWallet.sol,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Michael.W基于Foundry精读Openzeppelin第56期——VestingWallet.sol

      • 0. 版本
        • 0.1 VestingWallet.sol
      • 1. 目标合约
      • 2. 代码精读
        • 2.1 constructor()
        • 2.2 beneficiary() && start() && duration() && receive() payable
        • 2.3 released() && releasable() && vestedAmount(uint64 timestamp) && release()
        • 2.4 released(address token) && releasable(address token) && vestedAmount(address token, uint64 timestamp) && release(address token)

0. 版本

[openzeppelin]:v4.8.3,[forge-std]:v1.5.6

0.1 VestingWallet.sol

Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/finance/VestingWallet.sol

VestingWallet库可以给指定的受益人地址按照时间线性释放锁在合约内的Eth和Erc20 token。任何转移至本合约的token都必须遵循释放模型。开发者可通过重写函数vestedAmount(uint64 timestamp)vestedAmount(address token, uint64 timestamp)来自定义token释放模型。

1. 目标合约

VestingWallet合约可直接部署。

全部foundry测试合约:

Github: https://github.com/RevelationOfTuring/foundry-openzeppelin-contracts/blob/master/test/finance/VestingWallet/VestingWallet.t.sol

测试使用的物料合约:

Github: https://github.com/RevelationOfTuring/foundry-openzeppelin-contracts/blob/master/test/finance/VestingWallet/MockERC20.sol

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.0;import "openzeppelin-contracts/contracts/token/ERC20/ERC20.sol";contract MockERC20 is ERC20 {constructor(string memory name, string memory symbol)ERC20(name, symbol) {}function mint(address account, uint amount) external {_mint(account, amount);}
}

2. 代码精读

2.1 constructor()
    event EtherReleased(uint256 amount);event ERC20Released(address indexed token, uint256 amount);// 已释放的eth总量uint256 private _released;// 记录已释放的各erc20总量(key为erc20地址)mapping(address => uint256) private _erc20Released;// 受益人地址address private immutable _beneficiary;// 释放开始时间戳uint64 private immutable _start;// 释放总时长uint64 private immutable _duration;constructor(address beneficiaryAddress,uint64 startTimestamp,uint64 durationSeconds) payable {// 受益人地址必须是非0地址require(beneficiaryAddress != address(0), "VestingWallet: beneficiary is zero address");// 设置受益人地址_beneficiary = beneficiaryAddress;// 设置领取开始时间戳_start = startTimestamp;// 设置释放总时长_duration = durationSeconds;}

foundry代码验证:

contract VestingWalletTest is Test {VestingWallet private _testing;address private _beneficiary = address(1024);uint64 private _startTimestamp = 100;uint64 private _durationSeconds = 1000;function setUp() external {_testing = new VestingWallet(_beneficiary,_startTimestamp,_durationSeconds);}function test_Constructor() external {assertEq(_testing.beneficiary(), _beneficiary);assertEq(_testing.start(), _startTimestamp);assertEq(_testing.duration(), _durationSeconds);// revert with zero address of beneficiaryvm.expectRevert("VestingWallet: beneficiary is zero address");new VestingWallet(address(0), _startTimestamp, _durationSeconds);}
}
2.2 beneficiary() && start() && duration() && receive() payable
  • beneficiary():返回受益人地址;
  • start():返回释放开始时间戳;
  • duration():返回释放总时长;
  • receive() payable:当合约接收到eth时执行该函数。
    function beneficiary() public view virtual returns (address) {return _beneficiary;}function start() public view virtual returns (uint256) {return _start;}function duration() public view virtual returns (uint256) {return _duration;}receive() external payable virtual {}
2.3 released() && releasable() && vestedAmount(uint64 timestamp) && release()
  • released():返回本合约已释放给收益人的eth总量;
  • releasable():返回当前可释放给收益人的eth数量;
  • vestedAmount(uint64 timestamp):计算处于时间点timestamp,理论上受益人可获得的eth总量;
  • release():释放eth给受益人。
    function released() public view virtual returns (uint256) {return _released;}function releasable() public view virtual returns (uint256) {// 返回值为:截止到目前,理论上应释放的eth数量 - 截止到目前,已释放给受益人的eth数量return vestedAmount(uint64(block.timestamp)) - released();}function vestedAmount(uint64 timestamp) public view virtual returns (uint256) {// 使用时间线性的释放模型。模型输入总量为当前该合约名下全部eth数量与已释放eth数量之和,计算的基准时间点为timestampreturn _vestingSchedule(address(this).balance + released(), timestamp);}function release() public virtual {// 获得当前可释放给收益人的eth数量uint256 amount = releasable();// 本合约已释放给收益人的eth总量自增amount_released += amount;// 抛出事件emit EtherReleased(amount);// 使用Address库,将数量为amount的eth从本合约转给受益人Address.sendValue(payable(beneficiary()), amount);}// 释放模型,当前代码实现为时间线性模型。// - totalAllocation:总的应释放数量// - timestamp:计算的基准时间点function _vestingSchedule(uint256 totalAllocation, uint64 timestamp) internal view virtual returns (uint256) {if (timestamp < start()) {// 如果当前时间戳未到开始时间,返回0return 0;} else if (timestamp > start() + duration()) {// 如果当前时间戳超过了释放期,返回totalAllocationreturn totalAllocation;} else {// 如果当前时间戳处于释放期内,返回 totalAllocation * 从释放开始到现在流逝时间 / 总释放时长return (totalAllocation * (timestamp - start())) / duration();}}

foundry代码验证:

contract VestingWalletTest is Test {VestingWallet private _testing;address private _beneficiary = address(1024);uint64 private _startTimestamp = 100;uint64 private _durationSeconds = 1000;uint private _initialAmount = 10000;function setUp() external {_testing = new VestingWallet(_beneficiary,_startTimestamp,_durationSeconds);// set eth balancevm.deal(address(_testing), _initialAmount);}event EtherReleased(uint amount);function test_releaseEth() external {// case 1: before start timeuint64 currentTimestamp = uint64(block.timestamp);assertEq(currentTimestamp, 1);// test released()assertEq(_testing.released(), 0);// test releasable()assertEq(_testing.releasable(), 0);// test vestedAmount(uint64 timestamp)assertEq(_testing.vestedAmount(currentTimestamp), 0);// at the start timevm.warp(_startTimestamp);assertEq(_testing.released(), 0);assertEq(_testing.releasable(), 0);assertEq(_testing.vestedAmount(_startTimestamp), 0);// in the duration (first release)currentTimestamp = _startTimestamp + 200;vm.warp(currentTimestamp);uint amountToRelease = _initialAmount * 200 / _durationSeconds;assertEq(_testing.released(), 0);assertEq(_testing.releasable(), amountToRelease);assertEq(_testing.vestedAmount(currentTimestamp), _initialAmount * 200 / _durationSeconds);// test release()assertEq(address(_testing).balance, _initialAmount);vm.expectEmit(address(_testing));emit EtherReleased(amountToRelease);_testing.release();assertEq(address(_testing).balance, _initialAmount - amountToRelease);assertEq(_beneficiary.balance, amountToRelease);assertEq(_testing.released(), amountToRelease);assertEq(_testing.releasable(), 0);assertEq(_testing.vestedAmount(currentTimestamp), amountToRelease);// in the duration (second release)currentTimestamp = currentTimestamp + 400;vm.warp(currentTimestamp);uint released = amountToRelease;amountToRelease = _initialAmount * 400 / _durationSeconds;assertEq(_testing.released(), released);assertEq(_testing.releasable(), amountToRelease);assertEq(_testing.vestedAmount(currentTimestamp), released + amountToRelease);// test release()assertEq(address(_testing).balance, _initialAmount - released);_testing.release();assertEq(address(_testing).balance, _initialAmount - released - amountToRelease);assertEq(_beneficiary.balance, released + amountToRelease);assertEq(_testing.released(), released + amountToRelease);assertEq(_testing.releasable(), 0);assertEq(_testing.vestedAmount(currentTimestamp), released + amountToRelease);// after end timecurrentTimestamp = _startTimestamp + _durationSeconds + 1;vm.warp(currentTimestamp);released += amountToRelease;amountToRelease = _initialAmount - released;assertEq(_testing.released(), released);assertEq(_testing.releasable(), amountToRelease);assertEq(_testing.vestedAmount(currentTimestamp), _initialAmount);// test release()assertEq(address(_testing).balance, _initialAmount - released);_testing.release();assertEq(address(_testing).balance, 0);assertEq(_beneficiary.balance, _initialAmount);assertEq(_testing.released(), _initialAmount);assertEq(_testing.releasable(), 0);assertEq(_testing.vestedAmount(currentTimestamp), _initialAmount);}
}
2.4 released(address token) && releasable(address token) && vestedAmount(address token, uint64 timestamp) && release(address token)
  • released(address token):返回本合约已释放给受益人的erc20总量(erc20地址是token);
  • releasable(address token):返回当前可释放给收益人的地址为token的erc20数量;
  • vestedAmount(address token, uint64 timestamp):计算处于时间点timestamp,理论上受益人可获得的地址为token的erc20总量;
  • release(address token):释放地址为token的erc20给受益人。
    function released(address token) public view virtual returns (uint256) {return _erc20Released[token];}function releasable(address token) public view virtual returns (uint256) {// 返回值为:截止到目前,理论上应释放的地址为token的erc20数量 - 截止到目前,已释放给受益人的地址为token的erc20数量return vestedAmount(token, uint64(block.timestamp)) - released(token);}function vestedAmount(address token, uint64 timestamp) public view virtual returns (uint256) {// 使用时间线性的释放模型。模型输入总量为当前该合约名下地址为token的erc20数量与已释放的该token总量之和,计算的基准时间点为timestampreturn _vestingSchedule(IERC20(token).balanceOf(address(this)) + released(token), timestamp);}function release(address token) public virtual {// 获得当前可释放给收益人的地址为token的erc20的数量uint256 amount = releasable(token);// 本合约已释放给受益人的erc20总量(erc20地址是token)自增amount_erc20Released[token] += amount;// 抛出事件emit ERC20Released(token, amount);// 使用SafeERC20库,将数量为amount的地址为token的erc20转给受益人SafeERC20.safeTransfer(IERC20(token), beneficiary(), amount);}

foundry代码验证:

contract VestingWalletTest is Test {VestingWallet private _testing;MockERC20 private _erc20 = new MockERC20("test name", "test symbol");address private _beneficiary = address(1024);uint64 private _startTimestamp = 100;uint64 private _durationSeconds = 1000;uint private _initialAmount = 10000;function setUp() external {_testing = new VestingWallet(_beneficiary,_startTimestamp,_durationSeconds);// set erc20 balance_erc20.mint(address(_testing), _initialAmount);}event ERC20Released(address indexed token, uint amount);function test_releaseErc20() external {address erc20Address = address(_erc20);// case 1: before start timeuint64 currentTimestamp = uint64(block.timestamp);assertEq(currentTimestamp, 1);// test released(address token)assertEq(_testing.released(erc20Address), 0);// test releasable(address token)assertEq(_testing.releasable(erc20Address), 0);// test vestedAmount(address token, uint64 timestamp)assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), 0);// at the start timevm.warp(_startTimestamp);assertEq(_testing.released(erc20Address), 0);assertEq(_testing.releasable(erc20Address), 0);assertEq(_testing.vestedAmount(erc20Address, _startTimestamp), 0);// in the duration (first release)currentTimestamp = _startTimestamp + 200;vm.warp(currentTimestamp);uint amountToRelease = _initialAmount * 200 / _durationSeconds;assertEq(_testing.released(erc20Address), 0);assertEq(_testing.releasable(erc20Address), amountToRelease);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), _initialAmount * 200 / _durationSeconds);// test release(address token)assertEq(_erc20.balanceOf(address(_testing)), _initialAmount);vm.expectEmit(address(_testing));emit ERC20Released(erc20Address, amountToRelease);_testing.release(erc20Address);assertEq(_erc20.balanceOf(address(_testing)), _initialAmount - amountToRelease);assertEq(_erc20.balanceOf(_beneficiary), amountToRelease);assertEq(_testing.released(erc20Address), amountToRelease);assertEq(_testing.releasable(erc20Address), 0);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), amountToRelease);// in the duration (second release)currentTimestamp = currentTimestamp + 400;vm.warp(currentTimestamp);uint released = amountToRelease;amountToRelease = _initialAmount * 400 / _durationSeconds;assertEq(_testing.released(erc20Address), released);assertEq(_testing.releasable(erc20Address), amountToRelease);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), released + amountToRelease);// test release(address token)assertEq(_erc20.balanceOf(address(_testing)), _initialAmount - released);_testing.release(erc20Address);assertEq(_erc20.balanceOf(address(_testing)), _initialAmount - released - amountToRelease);assertEq(_erc20.balanceOf(_beneficiary), released + amountToRelease);assertEq(_testing.released(erc20Address), released + amountToRelease);assertEq(_testing.releasable(erc20Address), 0);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), released + amountToRelease);// after end timecurrentTimestamp = _startTimestamp + _durationSeconds + 1;vm.warp(currentTimestamp);released += amountToRelease;amountToRelease = _initialAmount - released;assertEq(_testing.released(erc20Address), released);assertEq(_testing.releasable(erc20Address), amountToRelease);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), _initialAmount);// test release(address token)assertEq(_erc20.balanceOf(address(_testing)), _initialAmount - released);_testing.release(erc20Address);assertEq(_erc20.balanceOf(address(_testing)), 0);assertEq(_erc20.balanceOf(_beneficiary), _initialAmount);assertEq(_testing.released(erc20Address), _initialAmount);assertEq(_testing.releasable(erc20Address), 0);assertEq(_testing.vestedAmount(erc20Address, currentTimestamp), _initialAmount);}
}

ps:
本人热爱图灵,热爱中本聪,热爱V神。
以下是我个人的公众号,如果有技术问题可以关注我的公众号来跟我交流。
同时我也会在这个公众号上每周更新我的原创文章,喜欢的小伙伴或者老伙计可以支持一下!
如果需要转发,麻烦注明作者。十分感谢!

在这里插入图片描述

公众号名称:后现代泼痞浪漫主义奠基人

这篇关于Michael.W基于Foundry精读Openzeppelin第56期——VestingWallet.sol的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1031501

相关文章

剑指Offer—编程题56(链表中环的入口地址)

题目:一个链表中包含环,如何找出环的入口结点? 解题思路   可以用两个指针来解决这个问题。先定义两个指针P1和P2指向链表的头结点。如果链表中环有n个结点,指针P1在链表上向前移动n步,然后两个指针以相同的速度向前移动。当第二个指针指向环的入口结点时,第一个指针已经围绕着环走了一圈又回到了入口结点。    剩下的问题就是如何得到环中结点的数目。我们在面试题15的第二个相关题目时用到

【论文精读】分类扩散模型:重振密度比估计(Revitalizing Density Ratio Estimation)

文章目录 一、文章概览(一)问题的提出(二)文章工作 二、理论背景(一)密度比估计DRE(二)去噪扩散模型 三、方法(一)推导分类和去噪之间的关系(二)组合训练方法(三)一步精确的似然计算 四、实验(一)使用两种损失对于实现最佳分类器的重要性(二)去噪结果、图像质量和负对数似然 论文:Classification Diffusion Models: Revitalizing

Michael.W基于Foundry精读Openzeppelin第59期——Proxy.sol

Michael.W基于Foundry精读Openzeppelin第59期——Proxy.sol 0. 版本0.1 Proxy.sol 1. 目标合约2. 代码精读2.1 _delegate(address implementation) internal2.2 _implementation() internal && _beforeFallback() internal2.3 fallba

AIGC-CVPR2024best paper-Rich Human Feedback for Text-to-Image Generation-论文精读

Rich Human Feedback for Text-to-Image Generation斩获CVPR2024最佳论文!受大模型中的RLHF技术启发,团队用人类反馈来改进Stable Diffusion等文生图模型。这项研究来自UCSD、谷歌等。 在本文中,作者通过标记不可信或与文本不对齐的图像区域,以及注释文本提示中的哪些单词在图像上被歪曲或丢失来丰富反馈信号。 在 18K 生成图像 (R

点击率预测《Field-aware Factorization Machines for CTR Prediction》论文精读

请点击上方“AI公园”,关注公众号 上次发的这篇文章,由于排版的问题,导致了部分手机无法正常显示公式,经过几个朋友提醒才发现,今天重新发布一次。 摘要:点击率预测在计算机广告中有着重要的作用。在这个应用中,二阶多项式映射和因子分解模型应用的非常广泛。最近,各种种类的因子分解机(FM),领域因子分解机(FFM)在各个点击率预测的竞赛中表现出了其他模型都好的效果。基于我们获胜的经验,本文我们建立了

推荐系统《Field-aware Factorization Machines for CTR Prediction》 论文精读

之前一篇文中说提到了FFM,那么我们今天就来看看FFM是个什么东西,它和FM又是什么关系。 摘要:点击率预测在计算机广告中有着重要的作用。在这个应用中,二阶多项式映射和因子分解模型应用的非常广泛。最近,各种种类的因子分解机(FM),领域因子分解机(FFM)在各个点击率预测的竞赛中表现出了其他模型都好的效果。基于我们获胜的经验,本文我们建立了对大型的稀疏数据集进行点击率预测的方法FFM。首先,我们

推荐系统之《Factorization Machines》论文精读

本文是AI公园公众号的第一篇,希望从今天开始,AI公园能够陪伴大家一起学习和工作。         本公众号将以原创为主,如果大家喜欢的话,请点击上方“AI公园”并关注。谢谢大家支持!         推荐系统是目前AI应用的非常成熟的领域,而且也取得了非常好的效果,而在很多推荐系统的场景中,我们会非常普遍的用到one-hot编码之类的方法,这就导致了我们的输入特征会变的非常的稀

56.SQLSERVER中字段,变量判断为空和空字符串

一、字段判断 (1)是否为空 select * from department where leader is NULL select * from department where leader is not NULL (2)是否为空字符‘’ select * from department where leader='' select * from department where

【论文精读】树环水印Tree-Ring Watermarks:隐形且稳健的扩散图像的指纹

文章目录 一、文章概览(一)主要工作(二)相关工作 二、具体方法(一)威胁模型(二)树轮水印概述(三)构造树轮水印键(四)提取用于水印检测的 P 值 三、实验(一)实验设置(二)水印精度和图像质量基准测试(三)水印稳健性基准测试(四)消融实验 四、局限性和未来的工作 论文:Tree-Ring Watermarks: Fingerprints for Diffusion Imag

(一篇Blog证明还在地球)论文精读:基于CLIP引导学习的多模态虚假新闻检测

摘要 假新闻检测在社会取证领域引起了广泛的研究兴趣。许多现有的方法引入了定制的注意机制来融合单峰特征。然而,它们忽略了模式之间的跨模式相似性的影响。同时,预训练的多模式特征学习模型在FND中的潜力还没有得到很好的开发。这篇论文提出了一种FND-CLIP框架,即基于对比语言图像预训练(CLIP)的多模式假新闻检测网络。FND-CLIP使用两个单峰编码器和两个成对的CLIP编码器一起从新闻中提取深层