编译器
0.6.12+commit.27d51765
文件 1 的 7:IERC20.sol
pragma solidity 0.6.12;
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);
function allowance(address owner, address spender) external view returns (uint256);
function approve(address spender, uint256 amount) external returns (bool);
function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
event Transfer(address indexed from, address indexed to, uint256 value);
event Approval(address indexed owner, address indexed spender, uint256 value);
}
文件 2 的 7:ITimeVault.sol
pragma solidity 0.6.12;
interface ITimeVault {
function withdrawalSlots(uint256 slot) external view returns (uint256);
}
文件 3 的 7:IX2Fund.sol
pragma solidity 0.6.12;
interface IX2Fund {
function distribute() external returns (uint256);
}
文件 4 的 7:IXVIX.sol
pragma solidity 0.6.12;
interface IXVIX {
function setGov(address gov) external;
function normalDivisor() external view returns (uint256);
function maxSupply() external view returns (uint256);
function mint(address account, uint256 amount) external returns (bool);
function burn(address account, uint256 amount) external returns (bool);
function toast(uint256 amount) external returns (bool);
function rebase() external returns (bool);
}
文件 5 的 7:ReentrancyGuard.sol
pragma solidity 0.6.12;
contract ReentrancyGuard {
uint256 private constant _NOT_ENTERED = 1;
uint256 private constant _ENTERED = 2;
uint256 private _status;
constructor () internal {
_status = _NOT_ENTERED;
}
modifier nonReentrant() {
require(_status != _ENTERED, "ReentrancyGuard: reentrant call");
_status = _ENTERED;
_;
_status = _NOT_ENTERED;
}
}
文件 6 的 7:SafeMath.sol
pragma solidity 0.6.12;
library SafeMath {
function add(uint256 a, uint256 b) internal pure returns (uint256) {
uint256 c = a + b;
require(c >= a, "SafeMath: addition overflow");
return c;
}
function sub(uint256 a, uint256 b) internal pure returns (uint256) {
return sub(a, b, "SafeMath: subtraction overflow");
}
function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
require(b <= a, errorMessage);
uint256 c = a - b;
return c;
}
function mul(uint256 a, uint256 b) internal pure returns (uint256) {
if (a == 0) {
return 0;
}
uint256 c = a * b;
require(c / a == b, "SafeMath: multiplication overflow");
return c;
}
function div(uint256 a, uint256 b) internal pure returns (uint256) {
return div(a, b, "SafeMath: division by zero");
}
function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
require(b > 0, errorMessage);
uint256 c = a / b;
return c;
}
function mod(uint256 a, uint256 b) internal pure returns (uint256) {
return mod(a, b, "SafeMath: modulo by zero");
}
function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
require(b != 0, errorMessage);
return a % b;
}
}
文件 7 的 7:TimeVault.sol
pragma solidity 0.6.12;
import "../libraries/math/SafeMath.sol";
import "../libraries/token/IERC20.sol";
import "../libraries/utils/ReentrancyGuard.sol";
import "../interfaces/IXVIX.sol";
import "../interfaces/ITimeVault.sol";
import "../interfaces/IX2Fund.sol";
contract TimeVault is ITimeVault, IERC20, ReentrancyGuard {
using SafeMath for uint256;
string public constant name = "XVIX TimeVault";
string public constant symbol = "XVIX:TV";
uint8 public constant decimals = 18;
uint256 constant PRECISION = 1e30;
uint256 public constant WITHDRAWAL_DELAY = 7 days;
uint256 public constant WITHDRAWAL_WINDOW = 48 hours;
address public token;
address public gov;
address public distributor;
uint256 public override totalSupply;
mapping (address => uint256) public balances;
mapping (address => uint256) public withdrawalTimestamps;
mapping (address => uint256) public withdrawalAmounts;
mapping (uint256 => uint256) public override withdrawalSlots;
uint256 public cumulativeRewardPerToken;
mapping (address => uint256) public claimableReward;
mapping (address => uint256) public previousCumulatedRewardPerToken;
event Deposit(address account, uint256 amount);
event BeginWithdrawal(address account, uint256 amount);
event Withdraw(address account, uint256 amount);
event Transfer(address indexed from, address indexed to, uint256 value);
event GovChange(address gov);
event Claim(address receiver, uint256 amount);
modifier onlyGov() {
require(msg.sender == gov, "TimeVault: forbidden");
_;
}
constructor(address _token) public {
token = _token;
gov = msg.sender;
}
receive() external payable {}
function setGov(address _gov) external onlyGov {
gov = _gov;
emit GovChange(_gov);
}
function setDistributor(address _distributor) external onlyGov {
distributor = _distributor;
}
function deposit(uint256 _amount) external nonReentrant {
require(_amount > 0, "TimeVault: insufficient amount");
address account = msg.sender;
_updateRewards(account, true);
IERC20(token).transferFrom(account, address(this), _amount);
balances[account] = balances[account].add(_amount);
totalSupply = totalSupply.add(_amount);
emit Deposit(account, _amount);
emit Transfer(address(0), account, _amount);
}
function beginWithdrawal(uint256 _amount) external nonReentrant {
address account = msg.sender;
require(_amount > 0, "TimeVault: insufficient amount");
require(_amount <= balanceOf(account), "TimeVault: insufficient balance");
_decreaseWithdrawalSlot(withdrawalTimestamps[account], withdrawalAmounts[account]);
uint256 time = block.timestamp.add(WITHDRAWAL_DELAY);
withdrawalTimestamps[account] = time;
withdrawalAmounts[account] = _amount;
_increaseWithdrawalSlot(time, _amount);
emit BeginWithdrawal(account, _amount);
}
function withdraw(address _receiver) external nonReentrant {
address account = msg.sender;
_updateRewards(account, true);
_withdraw(account, _receiver);
}
function withdrawWithoutDistribution(address _receiver) external nonReentrant {
address account = msg.sender;
_updateRewards(account, false);
_withdraw(account, _receiver);
}
function claim(address _receiver) external nonReentrant {
address _account = msg.sender;
_updateRewards(_account, true);
uint256 rewardToClaim = claimableReward[_account];
claimableReward[_account] = 0;
(bool success,) = _receiver.call{value: rewardToClaim}("");
require(success, "TimeVault: transfer failed");
emit Claim(_receiver, rewardToClaim);
}
function getWithdrawalSlot(uint256 _time) public pure returns (uint256) {
return _time.div(WITHDRAWAL_WINDOW);
}
function balanceOf(address account) public override view returns (uint256) {
return balances[account];
}
function transfer(address , uint256 ) public override returns (bool) {
revert("TimeVault: non-transferrable");
}
function allowance(address , address ) public view virtual override returns (uint256) {
return 0;
}
function approve(address , uint256 ) public virtual override returns (bool) {
revert("TimeVault: non-transferrable");
}
function transferFrom(address , address , uint256 ) public virtual override returns (bool) {
revert("TimeVault: non-transferrable");
}
function _withdraw(address _account, address _receiver) private {
uint256 currentTime = block.timestamp;
uint256 minTime = withdrawalTimestamps[_account];
require(minTime != 0, "TimeVault: withdrawal not initiated");
require(currentTime > minTime, "TimeVault: withdrawal timing not reached");
uint256 maxTime = minTime.add(WITHDRAWAL_WINDOW);
require(currentTime < maxTime, "TimeVault: withdrawal window already passed");
uint256 amount = withdrawalAmounts[_account];
require(amount <= balanceOf(_account), "TimeVault: insufficient amount");
_decreaseWithdrawalSlot(minTime, amount);
withdrawalTimestamps[_account] = 0;
withdrawalAmounts[_account] = 0;
balances[_account] = balances[_account].sub(amount);
totalSupply = totalSupply.sub(amount);
IXVIX(token).rebase();
IERC20(token).transfer(_receiver, amount);
emit Withdraw(_account, amount);
emit Transfer(_account, address(0), amount);
}
function _increaseWithdrawalSlot(uint256 _time, uint256 _amount) private {
uint256 slot = getWithdrawalSlot(_time);
withdrawalSlots[slot] = withdrawalSlots[slot].add(_amount);
}
function _decreaseWithdrawalSlot(uint256 _time, uint256 _amount) private {
if (_time == 0 || _amount == 0) { return; }
uint256 slot = getWithdrawalSlot(_time);
if (_amount > withdrawalSlots[slot]) {
withdrawalSlots[slot] = 0;
return;
}
withdrawalSlots[slot] = withdrawalSlots[slot].sub(_amount);
}
function _updateRewards(address _account, bool _distribute) private {
uint256 blockReward;
if (_distribute && distributor != address(0)) {
blockReward = IX2Fund(distributor).distribute();
}
uint256 _cumulativeRewardPerToken = cumulativeRewardPerToken;
if (totalSupply > 0 && blockReward > 0) {
_cumulativeRewardPerToken = _cumulativeRewardPerToken.add(blockReward.mul(PRECISION).div(totalSupply));
cumulativeRewardPerToken = _cumulativeRewardPerToken;
}
if (_cumulativeRewardPerToken == 0) {
return;
}
uint256 _previousCumulatedReward = previousCumulatedRewardPerToken[_account];
uint256 _claimableReward = claimableReward[_account].add(
uint256(balances[_account]).mul(_cumulativeRewardPerToken.sub(_previousCumulatedReward)).div(PRECISION)
);
claimableReward[_account] = _claimableReward;
previousCumulatedRewardPerToken[_account] = _cumulativeRewardPerToken;
}
}
{
"compilationTarget": {
"contracts/xvix/TimeVault.sol": "TimeVault"
},
"evmVersion": "istanbul",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": true,
"runs": 200
},
"remappings": []
}
[{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"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":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BeginWithdrawal","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Claim","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"gov","type":"address"}],"name":"GovChange","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Withdraw","type":"event"},{"inputs":[],"name":"WITHDRAWAL_DELAY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"WITHDRAWAL_WINDOW","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","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":"address","name":"","type":"address"}],"name":"balances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"beginWithdrawal","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_receiver","type":"address"}],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"claimableReward","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cumulativeRewardPerToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"distributor","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_time","type":"uint256"}],"name":"getWithdrawalSlot","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"gov","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"previousCumulatedRewardPerToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_distributor","type":"address"}],"name":"setDistributor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_gov","type":"address"}],"name":"setGov","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_receiver","type":"address"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_receiver","type":"address"}],"name":"withdrawWithoutDistribution","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"withdrawalAmounts","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"withdrawalSlots","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"withdrawalTimestamps","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]