文件 1 的 7:Context.sol
pragma solidity ^0.8.0;
abstract contract Context {
function _msgSender() internal view virtual returns (address) {
return msg.sender;
}
function _msgData() internal view virtual returns (bytes calldata) {
return msg.data;
}
}
文件 2 的 7:ERC20.sol
pragma solidity ^0.8.0;
import "./IERC20.sol";
import "./extensions/IERC20Metadata.sol";
import "../../utils/Context.sol";
contract ERC20 is Context, IERC20, IERC20Metadata {
mapping(address => uint256) private _balances;
mapping(address => mapping(address => uint256)) private _allowances;
uint256 private _totalSupply;
string private _name;
string private _symbol;
constructor(string memory name_, string memory symbol_) {
_name = name_;
_symbol = symbol_;
}
function name() public view virtual override returns (string memory) {
return _name;
}
function symbol() public view virtual override returns (string memory) {
return _symbol;
}
function decimals() public view virtual override returns (uint8) {
return 18;
}
function totalSupply() public view virtual override returns (uint256) {
return _totalSupply;
}
function balanceOf(address account) public view virtual override returns (uint256) {
return _balances[account];
}
function transfer(address to, uint256 amount) public virtual override returns (bool) {
address owner = _msgSender();
_transfer(owner, to, amount);
return true;
}
function allowance(address owner, address spender) public view virtual override returns (uint256) {
return _allowances[owner][spender];
}
function approve(address spender, uint256 amount) public virtual override returns (bool) {
address owner = _msgSender();
_approve(owner, spender, amount);
return true;
}
function transferFrom(
address from,
address to,
uint256 amount
) public virtual override returns (bool) {
address spender = _msgSender();
_spendAllowance(from, spender, amount);
_transfer(from, to, amount);
return true;
}
function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
address owner = _msgSender();
_approve(owner, spender, allowance(owner, spender) + addedValue);
return true;
}
function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
address owner = _msgSender();
uint256 currentAllowance = allowance(owner, spender);
require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
unchecked {
_approve(owner, spender, currentAllowance - subtractedValue);
}
return true;
}
function _transfer(
address from,
address to,
uint256 amount
) internal virtual {
require(from != address(0), "ERC20: transfer from the zero address");
require(to != address(0), "ERC20: transfer to the zero address");
_beforeTokenTransfer(from, to, amount);
uint256 fromBalance = _balances[from];
require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
unchecked {
_balances[from] = fromBalance - amount;
}
_balances[to] += amount;
emit Transfer(from, to, amount);
_afterTokenTransfer(from, to, amount);
}
function _mint(address account, uint256 amount) internal virtual {
require(account != address(0), "ERC20: mint to the zero address");
_beforeTokenTransfer(address(0), account, amount);
_totalSupply += amount;
_balances[account] += amount;
emit Transfer(address(0), account, amount);
_afterTokenTransfer(address(0), account, amount);
}
function _burn(address account, uint256 amount) internal virtual {
require(account != address(0), "ERC20: burn from the zero address");
_beforeTokenTransfer(account, address(0), amount);
uint256 accountBalance = _balances[account];
require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
unchecked {
_balances[account] = accountBalance - amount;
}
_totalSupply -= amount;
emit Transfer(account, address(0), amount);
_afterTokenTransfer(account, address(0), amount);
}
function _approve(
address owner,
address spender,
uint256 amount
) internal virtual {
require(owner != address(0), "ERC20: approve from the zero address");
require(spender != address(0), "ERC20: approve to the zero address");
_allowances[owner][spender] = amount;
emit Approval(owner, spender, amount);
}
function _spendAllowance(
address owner,
address spender,
uint256 amount
) internal virtual {
uint256 currentAllowance = allowance(owner, spender);
if (currentAllowance != type(uint256).max) {
require(currentAllowance >= amount, "ERC20: insufficient allowance");
unchecked {
_approve(owner, spender, currentAllowance - amount);
}
}
}
function _beforeTokenTransfer(
address from,
address to,
uint256 amount
) internal virtual {}
function _afterTokenTransfer(
address from,
address to,
uint256 amount
) internal virtual {}
}
文件 3 的 7:ERC20Burnable.sol
pragma solidity ^0.8.0;
import "../ERC20.sol";
import "../../../utils/Context.sol";
abstract contract ERC20Burnable is Context, ERC20 {
function burn(uint256 amount) public virtual {
_burn(_msgSender(), amount);
}
function burnFrom(address account, uint256 amount) public virtual {
_spendAllowance(account, _msgSender(), amount);
_burn(account, amount);
}
}
文件 4 的 7:IERC20.sol
pragma solidity ^0.8.0;
interface IERC20 {
event Transfer(address indexed from, address indexed to, uint256 value);
event Approval(address indexed owner, address indexed spender, uint256 value);
function totalSupply() external view returns (uint256);
function balanceOf(address account) external view returns (uint256);
function transfer(address to, uint256 amount) external returns (bool);
function allowance(address owner, address spender) external view returns (uint256);
function approve(address spender, uint256 amount) external returns (bool);
function transferFrom(
address from,
address to,
uint256 amount
) external returns (bool);
}
文件 5 的 7:IERC20Metadata.sol
pragma solidity ^0.8.0;
import "../IERC20.sol";
interface IERC20Metadata is IERC20 {
function name() external view returns (string memory);
function symbol() external view returns (string memory);
function decimals() external view returns (uint8);
}
文件 6 的 7:Ownable.sol
pragma solidity ^0.8.0;
import "../utils/Context.sol";
abstract contract Ownable is Context {
address private _owner;
event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
constructor() {
_transferOwnership(_msgSender());
}
function owner() public view virtual returns (address) {
return _owner;
}
modifier onlyOwner() {
require(owner() == _msgSender(), "Ownable: caller is not the owner");
_;
}
function renounceOwnership() public virtual onlyOwner {
_transferOwnership(address(0));
}
function transferOwnership(address newOwner) public virtual onlyOwner {
require(newOwner != address(0), "Ownable: new owner is the zero address");
_transferOwnership(newOwner);
}
function _transferOwnership(address newOwner) internal virtual {
address oldOwner = _owner;
_owner = newOwner;
emit OwnershipTransferred(oldOwner, newOwner);
}
}
文件 7 的 7:StakedProbablyNothing.sol
pragma solidity ^0.8.9;
import "@openzeppelin/contracts/utils/Context.sol";
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC20/extensions/ERC20Burnable.sol";
import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
contract StakedProbablyNothing is Ownable, ERC20Burnable {
event AddStake(address indexed _addr, uint _baseTokenValue, uint _stakedTokenValue);
event RemoveStake(address indexed _addr, uint _baseTokenValue, uint _stakedTokenValue);
event FundRewards(address indexed _addr, uint _numEpochs, uint _secondsPerEpoch, uint _rewardsPerEpoch);
address private tokenAddress;
uint256 private poolDeposits;
uint256 private rewardsPerEpoch;
uint256 private cumulativeFundedRewards;
uint256 private poolWithdrawals;
uint private rewardsPeriodStartTime;
uint private rewardsPeriodEndTime;
uint private rewardsFundedEpochs;
uint private rewardsEpochLength = 86400;
constructor(
string memory name_,
string memory symbol_,
address tokenAddress_
) ERC20(name_, symbol_) {
tokenAddress = tokenAddress_;
}
function _mint(address account, uint256 amount) internal override (ERC20) {
super._mint(account, amount);
}
function fundStakingRewards(uint numEpochs_, uint secondsPerEpoch_, uint256 rewardsPerEpoch_) public onlyOwner {
require(secondsPerEpoch_ > 0, "Sanity check: minimum epoch length is 1 second");
require(secondsPerEpoch_ < 86401, "Sanity check: can only set epoch length up to 1 day");
require(numEpochs_ * secondsPerEpoch_ < 15552000, "Sanity check: can only setup 180 days of rewards at a time");
require(block.timestamp > rewardsPeriodEndTime, "Invariant check: Can only update rewards after prior rewards period ends");
require(block.timestamp > rewardsPeriodStartTime, "Re-entry check: Cannot update rewards before rewards period starts");
poolDeposits = getStakingPoolSize();
poolWithdrawals = 0;
uint rewardsTotal = rewardsPerEpoch_ * numEpochs_;
require(
IERC20(tokenAddress).transferFrom(msg.sender, address(this), rewardsTotal),
"Failed transferring tokens from sender"
);
rewardsEpochLength = secondsPerEpoch_;
rewardsPerEpoch = rewardsPerEpoch_;
rewardsFundedEpochs = numEpochs_;
rewardsPeriodStartTime = block.timestamp;
rewardsPeriodEndTime = block.timestamp + numEpochs_ * rewardsEpochLength;
require(vestedRewards() == 0, "Invariant failed: vested rewards should be 0. None should have vested yet.");
cumulativeFundedRewards = cumulativeFundedRewards + rewardsTotal;
emit FundRewards(msg.sender, numEpochs_, secondsPerEpoch_, rewardsPerEpoch_);
}
function getRewardsEpochLength() public view returns (uint256) {
return rewardsEpochLength;
}
function getRewardsPeriodStartTime() public view returns (uint256) {
return rewardsPeriodStartTime;
}
function getRewardsPeriodEndTime() public view returns (uint256) {
return rewardsPeriodEndTime;
}
function getRewardsPerEpoch() public view returns (uint256) {
return rewardsPerEpoch;
}
function getRewardsFundedEpochs() public view returns (uint256) {
return rewardsFundedEpochs;
}
function getPoolDeposits() public view returns (uint256) {
return poolDeposits;
}
function getRewardsPeriodPoolWithdrawalsTotal() public view returns (uint256) {
return poolWithdrawals;
}
function totalRewards() public view returns (uint256) {
return rewardsPerEpoch * rewardsFundedEpochs;
}
function getElapsedEpochs() public view returns (uint256) {
if (rewardsPeriodStartTime == 0) {
return 0;
}
if (block.timestamp >= rewardsPeriodEndTime) {
return rewardsFundedEpochs;
}
return (block.timestamp - rewardsPeriodStartTime) / rewardsEpochLength;
}
function getRemainingEpochs() public view returns (uint256) {
return rewardsFundedEpochs - getElapsedEpochs();
}
function vestedRewards() public view returns (uint256) {
if (rewardsPeriodStartTime == 0 || block.timestamp < rewardsPeriodStartTime) {
return 0;
}
uint elapsedEpochs = (block.timestamp - rewardsPeriodStartTime) / rewardsEpochLength;
if (elapsedEpochs >= rewardsFundedEpochs) {
return totalRewards();
}
return elapsedEpochs * rewardsPerEpoch;
}
function nextVestTime() public view returns (uint256) {
if (rewardsPeriodStartTime == 0 || block.timestamp < rewardsPeriodStartTime) {
return 0;
}
uint elapsedEpochs = (block.timestamp - rewardsPeriodStartTime) / rewardsEpochLength;
if (elapsedEpochs >= rewardsFundedEpochs) {
return rewardsPeriodStartTime + rewardsFundedEpochs * rewardsEpochLength;
}
return rewardsPeriodStartTime + (elapsedEpochs + 1) * rewardsEpochLength;
}
function secondsUntilNextVest() public view returns (uint256) {
return nextVestTime() - block.timestamp;
}
function isVestingRewardsNow() public view returns (bool) {
return block.timestamp >= rewardsPeriodStartTime && block.timestamp < rewardsPeriodEndTime;
}
function getStakingPoolSize() public view returns (uint256) {
return poolDeposits + vestedRewards() - poolWithdrawals;
}
function toStakedToken(uint256 amount) public view returns (uint256) {
uint256 totalStakedToken = totalSupply();
if (totalStakedToken == 0) {
return amount;
}
uint256 totalBaseToken = getStakingPoolSize();
return amount * totalStakedToken / totalBaseToken;
}
function toBaseToken(uint256 amount) public view returns (uint256) {
uint256 totalStakedToken = totalSupply();
if (totalStakedToken == 0) {
return amount;
}
uint256 totalBaseToken = getStakingPoolSize();
return amount * totalBaseToken / totalStakedToken;
}
function addStake(uint256 baseTokenAmount) external {
require(
IERC20(tokenAddress).transferFrom(msg.sender, address(this), baseTokenAmount),
"Failed transferring token from sender"
);
uint256 stakedTokenAmount = toStakedToken(baseTokenAmount);
_mint(msg.sender, stakedTokenAmount);
poolDeposits += baseTokenAmount;
emit AddStake(msg.sender, baseTokenAmount, stakedTokenAmount);
}
function removeStake(uint256 stakedTokenAmount) external {
require(
stakedTokenAmount <= balanceOf(msg.sender), "Cannot remove stake for more tokens than owned"
);
uint256 baseTokenAmount = toBaseToken(stakedTokenAmount);
require(baseTokenAmount <= getStakingPoolSize(), "Converted token amount is greater than staked + rewards. Something went wrong.");
require(
IERC20(tokenAddress).transfer(msg.sender, baseTokenAmount),
"Insufficient token reward in staking contract. Unexpected."
);
burn(stakedTokenAmount);
poolWithdrawals += baseTokenAmount;
emit RemoveStake(msg.sender, baseTokenAmount, stakedTokenAmount);
}
function getCumulativeFundedRewards() public view returns (uint256) {
return cumulativeFundedRewards;
}
function getCumulativeVestedRewards() public view returns (uint256) {
return cumulativeFundedRewards + vestedRewards() - totalRewards();
}
}
{
"compilationTarget": {
"contracts/staking/StakedProbablyNothing.sol": "StakedProbablyNothing"
},
"evmVersion": "london",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": true,
"runs": 200
},
"remappings": []
}
[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"address","name":"tokenAddress_","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"uint256","name":"_baseTokenValue","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_stakedTokenValue","type":"uint256"}],"name":"AddStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"uint256","name":"_numEpochs","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_secondsPerEpoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_rewardsPerEpoch","type":"uint256"}],"name":"FundRewards","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_addr","type":"address"},{"indexed":false,"internalType":"uint256","name":"_baseTokenValue","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_stakedTokenValue","type":"uint256"}],"name":"RemoveStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"uint256","name":"baseTokenAmount","type":"uint256"}],"name":"addStake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"numEpochs_","type":"uint256"},{"internalType":"uint256","name":"secondsPerEpoch_","type":"uint256"},{"internalType":"uint256","name":"rewardsPerEpoch_","type":"uint256"}],"name":"fundStakingRewards","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getCumulativeFundedRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCumulativeVestedRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getElapsedEpochs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getPoolDeposits","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRemainingEpochs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsEpochLength","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsFundedEpochs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsPerEpoch","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsPeriodEndTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsPeriodPoolWithdrawalsTotal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRewardsPeriodStartTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getStakingPoolSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isVestingRewardsNow","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextVestTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"stakedTokenAmount","type":"uint256"}],"name":"removeStake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"secondsUntilNextVest","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"toBaseToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"toStakedToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"vestedRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]