Смарт контракт на Solidity

Тема в разделе "Solidity", создана пользователем admin, 27 июл 2017.

  1. admin

    admin Administrator Команда форума

    Приветствую всех, кто зашел на данный форум. Если вы интересуетесь смарт-контрактами на Solidity, их созданием и разработкой, задавайте вопросы на нашем форуме. Постараемся помочь друг-другу чем сможем.
     
    Последнее редактирование: 10 авг 2017
  2. Alexandr

    Alexandr New Member

    Всем привет, пересмотрел множество контрактов, этот подходит под мои требования.
    Необходима помощь в поиске явных косяков






    pragma solidity ^0.4.13;


    contract ERC20Basic {
    uint256 public totalSupply;
    function balanceOf(address who) constant returns (uint256);
    function transfer(address to, uint256 value) returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    }


    contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) constant returns (uint256);
    function transferFrom(address from, address to, uint256 value) returns (bool);
    function approve(address spender, uint256 value) returns (bool);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    }


    library SafeMath {

    function mul(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
    }

    function div(uint256 a, uint256 b) internal constant returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
    }

    function sub(uint256 a, uint256 b) internal constant returns (uint256) {
    assert(b <= a);
    return a - b;
    }

    function add(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
    }

    }


    contract BasicToken is ERC20Basic {

    using SafeMath for uint256;

    mapping(address => uint256) balances;


    function transfer(address _to, uint256 _value) returns (bool) {
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
    }


    function balanceOf(address _owner) constant returns (uint256 balance) {
    return balances[_owner];
    }

    }


    contract StandardToken is ERC20, BasicToken {

    mapping (address => mapping (address => uint256)) allowed;


    function transferFrom(address _from, address _to, uint256 _value) returns (bool) {
    var _allowance = allowed[_from][msg.sender];

    // Check is not needed because sub(_allowance, _value) will already throw if this condition is not met
    // require (_value <= _allowance);

    balances[_to] = balances[_to].add(_value);
    balances[_from] = balances[_from].sub(_value);
    allowed[_from][msg.sender] = _allowance.sub(_value);
    Transfer(_from, _to, _value);
    return true;
    }


    function approve(address _spender, uint256 _value) returns (bool) {

    // To change the approve amount you first have to reduce the addresses`
    // allowance to zero by calling `approve(_spender, 0)` if it is not
    // already 0 to mitigate the race condition described here:
    // https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
    require((_value == 0) || (allowed[msg.sender][_spender] == 0));

    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
    }


    function allowance(address _owner, address _spender) constant returns (uint256 remaining) {
    return allowed[_owner][_spender];
    }

    }


    contract Ownable {

    address public owner;


    function Ownable() {
    owner = msg.sender;
    }


    modifier onlyOwner() {
    require(msg.sender == owner);
    _;
    }


    function transferOwnership(address newOwner) onlyOwner {
    require(newOwner != address(0));
    owner = newOwner;
    }

    }


    contract MintableToken is StandardToken, Ownable {

    event Mint(address indexed to, uint256 amount);

    event MintFinished();

    bool public mintingFinished = false;

    modifier canMint() {
    require(!mintingFinished);
    _;
    }


    function mint(address _to, uint256 _amount) onlyOwner canMint returns (bool) {
    totalSupply = totalSupply.add(_amount);
    balances[_to] = balances[_to].add(_amount);
    Mint(_to, _amount);
    return true;
    }

    function finishMinting() onlyOwner returns (bool) {
    mintingFinished = true;
    MintFinished();
    return true;
    }

    }

    contract Fast is MintableToken {

    string public constant name = "Fast";

    string public constant symbol = "FST";

    uint32 public constant decimals = 18;

    }


    contract Crowdsale is Ownable {

    using SafeMath for uint;

    address multisig;

    uint restrictedPercent;

    address restricted;

    Fast public token = new Fast();

    uint start;

    uint period;

    uint hardcap;

    uint rate;

    function Crowdsale() {
    multisig = 0xEA15Adb66DC92a4BbCcC8B;
    restricted = 0xb3eD172CC64839FB0C0;
    restrictedPercent = 40;
    rate = 100000000000000000000;
    start = 1504256400;
    period = 30;
    }

    modifier saleIsOn() {
    require(now > start && now < start + period * 1 days);
    _;
    }

    modifier isUnderHardCap() {
    require(multisig.balance <= hardcap);
    _;
    }

    function finishMinting() public onlyOwner {
    uint issuedTokenSupply = token.totalSupply();
    uint restrictedTokens = issuedTokenSupply.mul(restrictedPercent).div(1 - restrictedPercent);
    token.mint(restricted, restrictedTokens);
    token.finishMinting();
    }

    function createTokens() isUnderHardCap saleIsOn payable {
    multisig.transfer(msg.value);
    uint tokens = rate.mul(msg.value).div(1 ether);
    token.mint(msg.sender, tokens);
    }

    function() external payable {
    createTokens();
    }

    }
     
  3. Vasay

    Vasay New Member

    Alexandr,
    Насколько я вижу, этот код собран из zeppelin-овских sol-ов.

    https://github.com/OpenZeppelin/zeppelin-solidity/blob/master/contracts/token/BasicToken.sol
    https://github.com/OpenZeppelin/zeppelin-solidity/blob/master/contracts/math/SafeMath.sol
    ...

    Просто все import-ы вставили в один файл.

    Если говорить о OpenZeppelin - то они профи. На их контрактах проводят крупные ICO. И сами они оказывают услуги по аудиту кода.