View difference between Paste ID: myf33GWU and g25ScLYi

-pragma solidity ^0.4.13;
+pragma solidity ^0.4.13;
-
+
-contract VeritaseumToken {
+contract VeritaseumToken {
-
+
-    string public name = "Veritaseum";          // name of the token
+    string public name = "Veritaseum";          // name of the token
-    string public symbol = "VERI";              // ERC20 compliant 4 digit token code
+    string public symbol = "VERI";              // ERC20 compliant 4 digit token code
-    uint public decimals = 18;                  // token has 18 digit precision
+    uint public decimals = 18;                  // token has 18 digit precision
-
+
-    uint public totalSupply = 100000000 ether;  // total supply of 100 Million Tokens
+    uint public totalSupply = 100000000 ether;  // total supply of 100 Million Tokens
-
+
-    function balanceOf(address who) constant returns (uint);
+    function balanceOf(address who) constant returns (uint);
-    function allowance(address owner, address spender) constant returns (uint);
+    function allowance(address owner, address spender) constant returns (uint);
-
+
-    function transfer(address to, uint value) returns (bool ok);
+    function transfer(address to, uint value) returns (bool ok);
-    function transferFrom(address from, address to, uint value) returns (bool ok);
+    function transferFrom(address from, address to, uint value) returns (bool ok);
-    function approve(address spender, uint value) returns (bool ok);
+    function approve(address spender, uint value) returns (bool ok);
-    event Transfer(address indexed from, address indexed to, uint value);
+    event Transfer(address indexed from, address indexed to, uint value);
-    event Approval(address indexed owner, address indexed spender, uint value);
+    event Approval(address indexed owner, address indexed spender, uint value);
 }
-
+
-library SafeMath {
+library SafeMath {
-  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
+  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
-    uint256 c = a * b;
+    uint256 c = a * b;
-    assert(a == 0 || c / a == b);
+    assert(a == 0 || c / a == b);
-    return c;
+    return c;
-  }
+  }
-
+
-  function div(uint256 a, uint256 b) internal constant returns (uint256) {
+  function div(uint256 a, uint256 b) internal constant returns (uint256) {
-    // assert(b > 0); // Solidity automatically throws when dividing by 0
+    // assert(b > 0); // Solidity automatically throws when dividing by 0
-    uint256 c = a / b;
+    uint256 c = a / b;
-    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
+    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
-    return c;
+    return c;
-  }
+  }
-
+
-  function sub(uint256 a, uint256 b) internal constant returns (uint256) {
+  function sub(uint256 a, uint256 b) internal constant returns (uint256) {
-    assert(b <= a);
+    assert(b <= a);
-    return a - b;
+    return a - b;
-  }
+  }
-
+
-  function add(uint256 a, uint256 b) internal constant returns (uint256) {
+  function add(uint256 a, uint256 b) internal constant returns (uint256) {
-    uint256 c = a + b;
+    uint256 c = a + b;
-    assert(c >= a);
+    assert(c >= a);
-    return c;
+    return c;
-  }
+  }
 }
-
+
-contract Ownable {
+contract Ownable {
-  address public owner;
+  address public owner;
-
+
-
+
-  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
+  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
-
+
-
+
-  /**
+  /**
-   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
+   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
-   * account.
+   * account.
-   */
+   */
-  function Ownable() {
+  function Ownable() {
-    owner = msg.sender;
+    owner = msg.sender;
-  }
+  }
-
+
-
+
-  /**
+  /**
-   * @dev Throws if called by any account other than the owner.
+   * @dev Throws if called by any account other than the owner.
-   */
+   */
-  modifier onlyOwner() {
+  modifier onlyOwner() {
-    require(msg.sender == owner);
+    require(msg.sender == owner);
-    _;
+    _;
-  }
+  }
-
+
-
+
-  /**
+  /**
-   * @dev Allows the current owner to transfer control of the contract to a newOwner.
+   * @dev Allows the current owner to transfer control of the contract to a newOwner.
-   * @param newOwner The address to transfer ownership to.
+   * @param newOwner The address to transfer ownership to.
-   */
+   */
-  function transferOwnership(address newOwner) onlyOwner public {
+  function transferOwnership(address newOwner) onlyOwner public {
-    require(newOwner != address(0));
+    require(newOwner != address(0));
-    OwnershipTransferred(owner, newOwner);
+    OwnershipTransferred(owner, newOwner);
-    owner = newOwner;
+    owner = newOwner;
-  }
+  }
-
+
 }
-
+
-contract TokenDestructible is Ownable {
+contract TokenDestructible is Ownable {
-
+
-  function TokenDestructible() payable { }
+  function TokenDestructible() payable { }
-
+
-  /**
+  /**
-   * @notice Terminate contract and refund to owner
+   * @notice Terminate contract and refund to owner
-   * @param tokens List of addresses of ERC20 or ERC20Basic token contracts to
+   * @param tokens List of addresses of ERC20 or ERC20Basic token contracts to
-   refund.
+   refund.
-   * @notice The called token contracts could try to re-enter this contract. Only
+   * @notice The called token contracts could try to re-enter this contract. Only
-   supply token contracts you trust.
+   supply token contracts you trust.
-   */
+   */
-  function destroy(address[] tokens) onlyOwner public {
+  function destroy(address[] tokens) onlyOwner public {
-
+
-    // Transfer tokens to owner
+    // Transfer tokens to owner
-    for(uint256 i = 0; i < tokens.length; i++) {
+    for(uint256 i = 0; i < tokens.length; i++) {
-      ERC20Basic token = ERC20Basic(tokens[i]);
+      ERC20Basic token = ERC20Basic(tokens[i]);
-      uint256 balance = token.balanceOf(this);
+      uint256 balance = token.balanceOf(this);
-      token.transfer(owner, balance);
+      token.transfer(owner, balance);
-    }
+    }
-
+
-    // Transfer Eth to owner and terminate contract
+    // Transfer Eth to owner and terminate contract
-    selfdestruct(owner);
+    selfdestruct(owner);
-  }
+  }
 }
-
+
-contract VeExposure is TokenDestructible {
+contract VeExposure is TokenDestructible {
-
+
-    //--- Definitions
+    //--- Definitions
-
+
-    using SafeMath for uint256;
+    using SafeMath for uint256;
-
+
-    enum State { None, Open, Collected, Closing, Closed }
+    enum State { None, Open, Collected, Closing, Closed }
-
+
-    struct Exposure {
+    struct Exposure {
-        address account;
+        address account;
-        uint256 veriAmount;
+        uint256 veriAmount;
-        uint256 initialValue;
+        uint256 initialValue;
-        uint256 finalValue;
+        uint256 finalValue;
-        uint64 creationTime;
+        uint64 creationTime;
-        uint64 closingTime;
+        uint64 closingTime;
-        State state;
+        State state;
-    }
+    }
-
+
-    //--- Storage
+    //--- Storage
-
+
-    VeritaseumToken public veToken;
+    VeritaseumToken public veToken;
-    address public portfolio;
+    address public portfolio;
-
+
-    uint256 public ratio;
+    uint256 public ratio;
-    uint32 public minDuration;
+    uint32 public minDuration;
-    uint32 public maxDuration;
+    uint32 public maxDuration;
-    uint256 public minVeriAmount;
+    uint256 public minVeriAmount;
-    uint256 public maxVeriAmount;
+    uint256 public maxVeriAmount;
-
+
-    mapping (bytes32 => Exposure) exposures;
+    mapping (bytes32 => Exposure) exposures;
-
+
-    //--- Constructor
+    //--- Constructor
-
+
-    function VeExposure(
+    function VeExposure(
-        VeritaseumToken _veToken,
+        VeritaseumToken _veToken,
-        uint256 _ratio,
+        uint256 _ratio,
-        uint32 _minDuration,
+        uint32 _minDuration,
-        uint32 _maxDuration,
+        uint32 _maxDuration,
-        uint256 _minVeriAmount,
+        uint256 _minVeriAmount,
-        uint256 _maxVeriAmount
+        uint256 _maxVeriAmount
-    ) {
+    ) {
-        require(_veToken != address(0));
+        require(_veToken != address(0));
-        require(_minDuration > 0 && _minDuration <= _maxDuration);
+        require(_minDuration > 0 && _minDuration <= _maxDuration);
-        require(_minVeriAmount > 0 && _minVeriAmount <= _maxVeriAmount);
+        require(_minVeriAmount > 0 && _minVeriAmount <= _maxVeriAmount);
-
+
-        veToken = _veToken;
+        veToken = _veToken;
-        ratio = _ratio;
+        ratio = _ratio;
-        minDuration = _minDuration;
+        minDuration = _minDuration;
-        maxDuration = _maxDuration;
+        maxDuration = _maxDuration;
-        minVeriAmount = _minVeriAmount;
+        minVeriAmount = _minVeriAmount;
-        maxVeriAmount = _maxVeriAmount;
+        maxVeriAmount = _maxVeriAmount;
-    }
+    }
-
+
-    //--- Modifiers
+    //--- Modifiers
-    modifier onlyPortfolio {
+    modifier onlyPortfolio {
-        require(msg.sender == portfolio);
+        require(msg.sender == portfolio);
-        _;
+        _;
-    }
+    }
-
+
-    //--- Accessors
+    //--- Accessors
-
+
-    function setPortfolio(address _portfolio) public onlyOwner {
+    function setPortfolio(address _portfolio) public onlyOwner {
-        require(_portfolio != address(0));
+        require(_portfolio != address(0));
-
+
-        portfolio = _portfolio;
+        portfolio = _portfolio;
-    }
+    }
-
+
-    function setMinDuration(uint32 _minDuration) public onlyOwner {
+    function setMinDuration(uint32 _minDuration) public onlyOwner {
-        require(_minDuration > 0 && _minDuration <= maxDuration);
+        require(_minDuration > 0 && _minDuration <= maxDuration);
-
+
-        minDuration = _minDuration;
+        minDuration = _minDuration;
-    }
+    }
-
+
-    function setMaxDuration(uint32 _maxDuration) public onlyOwner {
+    function setMaxDuration(uint32 _maxDuration) public onlyOwner {
-        require(_maxDuration >= minDuration);
+        require(_maxDuration >= minDuration);
-
+
-        maxDuration = _maxDuration;
+        maxDuration = _maxDuration;
-    }
+    }
-
+
-    function setMinVeriAmount(uint32 _minVeriAmount) public onlyOwner {
+    function setMinVeriAmount(uint32 _minVeriAmount) public onlyOwner {
-        require(_minVeriAmount > 0 && _minVeriAmount <= maxVeriAmount);
+        require(_minVeriAmount > 0 && _minVeriAmount <= maxVeriAmount);
-
+
-        minVeriAmount = _minVeriAmount;
+        minVeriAmount = _minVeriAmount;
-    }
+    }
-
+
-    function setMaxVeriAmount(uint32 _maxVeriAmount) public onlyOwner {
+    function setMaxVeriAmount(uint32 _maxVeriAmount) public onlyOwner {
-        require(_maxVeriAmount >= minVeriAmount);
+        require(_maxVeriAmount >= minVeriAmount);
-
+
-        maxVeriAmount = _maxVeriAmount;
+        maxVeriAmount = _maxVeriAmount;
-    }
+    }
-
+
-    //--- Events
+    //--- Events
-
+
-    event ExposureOpened(
+    event ExposureOpened(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint64 creationTime,
+        uint64 creationTime,
-        uint64 closingTime
+        uint64 closingTime
-    );
+    );
-
+
-    event ExposureCollected(
+    event ExposureCollected(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 value
+        uint256 value
-    );
+    );
-
+
-    event ExposureClosed(
+    event ExposureClosed(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 initialValue,
+        uint256 initialValue,
-        uint256 finalValue
+        uint256 finalValue
-    );
+    );
-
+
-    event ExposureSettled(
+    event ExposureSettled(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 value
+        uint256 value
-    );
+    );
-
+
-    //--- Public functions
+    //--- Public functions
-
+
-    function open(uint256 veriAmount, uint32 duration, uint256 nonce) public payable {
+    function open(uint256 veriAmount, uint32 duration, uint256 nonce) public payable {
-        require(veriAmount >= minVeriAmount && veriAmount <= maxVeriAmount);
+        require(veriAmount >= minVeriAmount && veriAmount <= maxVeriAmount);
-        require(duration >= minDuration && duration <= maxDuration);
+        require(duration >= minDuration && duration <= maxDuration);
-        require(checkRatio(veriAmount, msg.value));
+        require(checkRatio(veriAmount, msg.value));
-
+
-        bytes32 id = calculateId({
+        bytes32 id = calculateId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-        require(!exists(id));
+        require(!exists(id));
-
+
-        openExposure(id, veriAmount, duration);
+        openExposure(id, veriAmount, duration);
-        forwardTokens(veriAmount);
+        forwardTokens(veriAmount);
-    }
+    }
-
+
-    function collect(bytes32 id) public onlyPortfolio returns (uint256 value) {
+    function collect(bytes32 id) public onlyPortfolio returns (uint256 value) {
-        Exposure storage exposure = exposures[id];
+        Exposure storage exposure = exposures[id];
-        require(exposure.state == State.Open);
+        require(exposure.state == State.Open);
-
+
-        value = exposure.initialValue;
+        value = exposure.initialValue;
-
+
-        exposure.state = State.Collected;
+        exposure.state = State.Collected;
-        msg.sender.transfer(value);
+        msg.sender.transfer(value);
-
+
-        ExposureCollected({
+        ExposureCollected({
-            id: id,
+            id: id,
-            account: exposure.account,
+            account: exposure.account,
-            value: value
+            value: value
-        });
+        });
-    }
+    }
-
+
-    function close(bytes32 id) public payable onlyPortfolio {
+    function close(bytes32 id) public payable onlyPortfolio {
-        Exposure storage exposure = exposures[id];
+        Exposure storage exposure = exposures[id];
-        require(exposure.state == State.Collected);
+        require(exposure.state == State.Collected);
-        require(hasPassed(exposure.closingTime));
+        require(hasPassed(exposure.closingTime));
-
+
-        exposure.state = State.Closed;
+        exposure.state = State.Closed;
-        exposure.finalValue = msg.value;
+        exposure.finalValue = msg.value;
-
+
-        ExposureClosed({
+        ExposureClosed({
-            id: id,
+            id: id,
-            account: exposure.account,
+            account: exposure.account,
-            initialValue: exposure.initialValue,
+            initialValue: exposure.initialValue,
-            finalValue: exposure.finalValue
+            finalValue: exposure.finalValue
-        });
+        });
-    }
+    }
-
+
-    function settle(bytes32 id) public returns (uint256 finalValue) {
+    function settle(bytes32 id) public returns (uint256 finalValue) {
-        Exposure storage exposure = exposures[id];
+        Exposure storage exposure = exposures[id];
-        require(msg.sender == exposure.account);
+        require(msg.sender == exposure.account);
-        require(exposure.state == State.Closed);
+        require(exposure.state == State.Closed);
-
+
-        finalValue = exposure.finalValue;
+        finalValue = exposure.finalValue;
-        delete exposures[id];
+        delete exposures[id];
-
+
-        msg.sender.transfer(finalValue);
+        msg.sender.transfer(finalValue);
-
+
-        ExposureSettled({
+        ExposureSettled({
-            id: id,
+            id: id,
-            account: msg.sender,
+            account: msg.sender,
-            value: finalValue
+            value: finalValue
-        });
+        });
-    }
+    }
-
+
-    //--- Public constant functions
+    //--- Public constant functions
-
+
-    function status(bytes32 id)
+    function status(bytes32 id)
-        public
+        public
-        constant
+        constant
-        returns (uint8 state)
+        returns (uint8 state)
-    {
+    {
-        Exposure storage exposure = exposures[id];
+        Exposure storage exposure = exposures[id];
-        state = uint8(exposure.state);
+        state = uint8(exposure.state);
-
+
-        if (exposure.state == State.Collected && hasPassed(exposure.closingTime)) {
+        if (exposure.state == State.Collected && hasPassed(exposure.closingTime)) {
-            state = uint8(State.Closing);
+            state = uint8(State.Closing);
-        }
+        }
-    }
+    }
-
+
-    function exists(bytes32 id) public constant returns (bool) {
+    function exists(bytes32 id) public constant returns (bool) {
-        return exposures[id].creationTime > 0;
+        return exposures[id].creationTime > 0;
-    }
+    }
-
+
-    function checkRatio(uint256 veriAmount, uint256 value)
+    function checkRatio(uint256 veriAmount, uint256 value)
-        public
+        public
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        uint256 expectedValue = ratio.mul(veriAmount).div(1 ether);
+        uint256 expectedValue = ratio.mul(veriAmount).div(1 ether);
-        return value == expectedValue;
+        return value == expectedValue;
-    }
+    }
-
+
-    function calculateId(
+    function calculateId(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint32 duration,
+        uint32 duration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        public
+        public
-        constant
+        constant
-        returns (bytes32)
+        returns (bytes32)
-    {
+    {
-        return sha256(
+        return sha256(
-            this,
+            this,
-            msg.sender,
+            msg.sender,
-            value,
+            value,
-            veriAmount,
+            veriAmount,
-            duration,
+            duration,
-            nonce
+            nonce
-        );
+        );
-    }
+    }
-
+
-    //--- Fallback function
+    //--- Fallback function
-
+
-    function() public payable {
+    function() public payable {
-        // accept Ether deposits
+        // accept Ether deposits
-    }
+    }
-
+
-    //--- Private functions
+    //--- Private functions
-
+
-    function forwardTokens(uint256 veriAmount) private {
+    function forwardTokens(uint256 veriAmount) private {
-        require(veToken.transferFrom(msg.sender, this, veriAmount));
+        require(veToken.transferFrom(msg.sender, this, veriAmount));
-        require(veToken.approve(portfolio, veriAmount));
+        require(veToken.approve(portfolio, veriAmount));
-    }
+    }
-
+
-    function openExposure(bytes32 id, uint256 veriAmount, uint32 duration) private constant {
+    function openExposure(bytes32 id, uint256 veriAmount, uint32 duration) private constant {
-        uint64 creationTime = uint64(block.timestamp);
+        uint64 creationTime = uint64(block.timestamp);
-        uint64 closingTime = uint64(block.timestamp.add(duration));
+        uint64 closingTime = uint64(block.timestamp.add(duration));
-
+
-        exposures[id] = Exposure({
+        exposures[id] = Exposure({
-            account: msg.sender,
+            account: msg.sender,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            initialValue: msg.value,
+            initialValue: msg.value,
-            finalValue: 0,
+            finalValue: 0,
-            creationTime: creationTime,
+            creationTime: creationTime,
-            closingTime: closingTime,
+            closingTime: closingTime,
-            state: State.Open
+            state: State.Open
-        });
+        });
-
+
-        ExposureOpened({
+        ExposureOpened({
-            id: id,
+            id: id,
-            account: msg.sender,
+            account: msg.sender,
-            creationTime: creationTime,
+            creationTime: creationTime,
-            closingTime: closingTime,
+            closingTime: closingTime,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value
+            value: msg.value
-        });
+        });
-    }
+    }
-
+
-    //--- Private constant functions
+    //--- Private constant functions
-
+
-    function hasPassed(uint64 time)
+    function hasPassed(uint64 time)
-        private
+        private
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        return block.timestamp >= time;
+        return block.timestamp >= time;
-    }
+    }
 }
-
+
-contract VeRent is TokenDestructible {
+contract VeRent is TokenDestructible {
-
+
-    //--- Definitions
+    //--- Definitions
-
+
-    using SafeMath for uint256;
+    using SafeMath for uint256;
-
+
-    struct VeriOffer {
+    struct VeriOffer {
-        address account;
+        address account;
-        uint256 veriAmount;
+        uint256 veriAmount;
-        uint256 price;
+        uint256 price;
-        uint32 duration;
+        uint32 duration;
-        uint64 expiration;
+        uint64 expiration;
-    }
+    }
-
+
-    struct EtherOffer {
+    struct EtherOffer {
-        address account;
+        address account;
-        uint256 veriAmount;
+        uint256 veriAmount;
-        uint256 value;
+        uint256 value;
-        uint256 price;
+        uint256 price;
-        uint32 duration;
+        uint32 duration;
-        uint64 expiration;
+        uint64 expiration;
-    }
+    }
-
+
-    struct VeriIndex {
+    struct VeriIndex {
-        mapping (bytes32 => VeriBucket) buckets;
+        mapping (bytes32 => VeriBucket) buckets;
-    }
+    }
-
+
-    struct EtherIndex {
+    struct EtherIndex {
-        mapping (bytes32 => EtherBucket) buckets;
+        mapping (bytes32 => EtherBucket) buckets;
-    }
+    }
-
+
-    struct VeriBucket {
+    struct VeriBucket {
-        bytes32[] ids;
+        bytes32[] ids;
-    }
+    }
-
+
-    struct EtherBucket {
+    struct EtherBucket {
-        bytes32[] ids;
+        bytes32[] ids;
-    }
+    }
-
+
-    //--- Storage
+    //--- Storage
-
+
-    VeritaseumToken public veToken;
+    VeritaseumToken public veToken;
-    VeRentExposure public veRentExposure;
+    VeRentExposure public veRentExposure;
-
+
-    mapping (bytes32 => VeriOffer) public veriOffers;
+    mapping (bytes32 => VeriOffer) public veriOffers;
-    mapping (bytes32 => EtherOffer) public etherOffers;
+    mapping (bytes32 => EtherOffer) public etherOffers;
-
+
-    EtherIndex private etherIndex;
+    EtherIndex private etherIndex;
-    VeriIndex private veriIndex;
+    VeriIndex private veriIndex;
-
+
-    //--- Constructor
+    //--- Constructor
-
+
-    function VeRent(VeritaseumToken _veToken, VeRentExposure _veRentExposure) {
+    function VeRent(VeritaseumToken _veToken, VeRentExposure _veRentExposure) {
-        require(_veToken != address(0));
+        require(_veToken != address(0));
-        require(_veRentExposure != address(0));
+        require(_veRentExposure != address(0));
-
+
-        veToken = _veToken;
+        veToken = _veToken;
-        veRentExposure = _veRentExposure;
+        veRentExposure = _veRentExposure;
-    }
+    }
-
+
-    //--- Accessors
+    //--- Accessors
-
+
-    function ratio() public constant returns (uint256) {
+    function ratio() public constant returns (uint256) {
-        return veRentExposure.ratio();
+        return veRentExposure.ratio();
-    }
+    }
-
+
-    function minVeriAmount() public constant returns (uint256) {
+    function minVeriAmount() public constant returns (uint256) {
-        return veRentExposure.minVeriAmount();
+        return veRentExposure.minVeriAmount();
-    }
+    }
-
+
-    function maxVeriAmount() public constant returns (uint256) {
+    function maxVeriAmount() public constant returns (uint256) {
-        return veRentExposure.maxVeriAmount();
+        return veRentExposure.maxVeriAmount();
-    }
+    }
-
+
-    function minDuration() public constant returns (uint32) {
+    function minDuration() public constant returns (uint32) {
-        return veRentExposure.minDuration();
+        return veRentExposure.minDuration();
-    }
+    }
-
+
-    function maxDuration() public constant returns (uint32) {
+    function maxDuration() public constant returns (uint32) {
-        return veRentExposure.maxDuration();
+        return veRentExposure.maxDuration();
-    }
+    }
-
+
-    function minPrice() public constant returns (uint256) {
+    function minPrice() public constant returns (uint256) {
-        return veRentExposure.minPrice();
+        return veRentExposure.minPrice();
-    }
+    }
-
+
-    function maxPrice() public constant returns (uint256) {
+    function maxPrice() public constant returns (uint256) {
-        return veRentExposure.maxPrice();
+        return veRentExposure.maxPrice();
-    }
+    }
-
+
-    //--- Events
+    //--- Events
-
+
-    event VeriOfferAdded(
+    event VeriOfferAdded(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration
+        uint64 expiration
-    );
+    );
-
+
-    event EtherOfferAdded(
+    event EtherOfferAdded(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration
+        uint64 expiration
-    );
+    );
-
+
-    event DealMade(
+    event DealMade(
-        bytes32 id,
+        bytes32 id,
-        bytes32 veriId,
+        bytes32 veriId,
-        bytes32 etherId,
+        bytes32 etherId,
-        address indexed veriAccount,
+        address indexed veriAccount,
-        address indexed etherAccount,
+        address indexed etherAccount,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint256 price,
+        uint256 price,
-        uint32 duration
+        uint32 duration
-    );
+    );
-
+
-    event VeriOfferCancelled(bytes32 indexed id);
+    event VeriOfferCancelled(bytes32 indexed id);
-    event EtherOfferCancelled(bytes32 indexed id);
+    event EtherOfferCancelled(bytes32 indexed id);
-
+
-    //--- Public functions
+    //--- Public functions
-
+
-    function addVeriOffer(
+    function addVeriOffer(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration,
+        uint64 expiration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        public
+        public
-    {
+    {
-        require(veriAmount >= minVeriAmount() && veriAmount <= maxVeriAmount());
+        require(veriAmount >= minVeriAmount() && veriAmount <= maxVeriAmount());
-        require(price >= minPrice() && price <= maxPrice());
+        require(price >= minPrice() && price <= maxPrice());
-        require(duration >= minDuration() && duration <= maxDuration());
+        require(duration >= minDuration() && duration <= maxDuration());
-        require(isDefaultOrFuture(expiration));
+        require(isDefaultOrFuture(expiration));
-
+
-        // remember to call approve(...) on Veritaseum Token before calling this function
+        // remember to call approve(...) on Veritaseum Token before calling this function
-        require(veToken.transferFrom(msg.sender, this, veriAmount));
+        require(veToken.transferFrom(msg.sender, this, veriAmount));
-
+
-        bytes32 veriId = calculateOfferId({
+        bytes32 veriId = calculateOfferId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: 0,
+            value: 0,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration,
+            expiration: expiration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-
+
-        require(!veriOfferExists(veriId));
+        require(!veriOfferExists(veriId));
-
+
-        VeriOfferAdded({
+        VeriOfferAdded({
-            id: veriId,
+            id: veriId,
-            account: msg.sender,
+            account: msg.sender,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration
+            expiration: expiration
-        });
+        });
-
+
-        bytes32 bucketKey = calculateBucketKey({
+        bytes32 bucketKey = calculateBucketKey({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            price: price,
+            price: price,
-            duration: duration
+            duration: duration
-        });
+        });
-
+
-        if (!matchEtherOffer(bucketKey, veriId, nonce)) {
+        if (!matchEtherOffer(bucketKey, veriId, nonce)) {
-            saveVeriOffer({
+            saveVeriOffer({
-                bucketKey: bucketKey,
+                bucketKey: bucketKey,
-                veriId: veriId,
+                veriId: veriId,
-                veriAmount: veriAmount,
+                veriAmount: veriAmount,
-                price: price,
+                price: price,
-                duration: duration,
+                duration: duration,
-                expiration: expiration
+                expiration: expiration
-            });
+            });
-        }
+        }
-    }
+    }
-
+
-    function addEtherOffer(
+    function addEtherOffer(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration,
+        uint64 expiration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        public
+        public
-        payable
+        payable
-    {
+    {
-        require(price >= minPrice() && price <= maxPrice());
+        require(price >= minPrice() && price <= maxPrice());
-        require(duration >= minDuration() && duration <= maxDuration());
+        require(duration >= minDuration() && duration <= maxDuration());
-        require(isDefaultOrFuture(expiration));
+        require(isDefaultOrFuture(expiration));
-        require(checkRatio(veriAmount, msg.value));
+        require(checkRatio(veriAmount, msg.value));
-
+
-        bytes32 etherId = calculateOfferId({
+        bytes32 etherId = calculateOfferId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration,
+            expiration: expiration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-
+
-        require(!etherOfferExists(etherId));
+        require(!etherOfferExists(etherId));
-
+
-        EtherOfferAdded({
+        EtherOfferAdded({
-            id: etherId,
+            id: etherId,
-            account: msg.sender,
+            account: msg.sender,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration
+            expiration: expiration
-        });
+        });
-
+
-        bytes32 bucketKey = calculateBucketKey({
+        bytes32 bucketKey = calculateBucketKey({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            price: price,
+            price: price,
-            duration: duration
+            duration: duration
-        });
+        });
-
+
-        if (!matchVeriOffer(bucketKey, etherId, nonce)) {
+        if (!matchVeriOffer(bucketKey, etherId, nonce)) {
-            saveEtherOffer({
+            saveEtherOffer({
-                bucketKey: bucketKey,
+                bucketKey: bucketKey,
-                etherId: etherId,
+                etherId: etherId,
-                veriAmount: veriAmount,
+                veriAmount: veriAmount,
-                price: price,
+                price: price,
-                duration: duration,
+                duration: duration,
-                expiration: expiration
+                expiration: expiration
-            });
+            });
-        }
+        }
-    }
+    }
-
+
-    function cancelVeriOffer(bytes32 veriId) public {
+    function cancelVeriOffer(bytes32 veriId) public {
-        VeriOffer storage offer = veriOffers[veriId];
+        VeriOffer storage offer = veriOffers[veriId];
-        require(msg.sender == offer.account || msg.sender == owner);
+        require(msg.sender == offer.account || msg.sender == owner);
-
+
-        bytes32 bucketKey = calculateBucketKey({
+        bytes32 bucketKey = calculateBucketKey({
-            veriAmount: offer.veriAmount,
+            veriAmount: offer.veriAmount,
-            price: offer.price,
+            price: offer.price,
-            duration: offer.duration
+            duration: offer.duration
-        });
+        });
-        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
+        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
-
+
-        // copy before deletion
+        // copy before deletion
-        uint256 veriAmount = offer.veriAmount;
+        uint256 veriAmount = offer.veriAmount;
-        address veriAccount = offer.account;
+        address veriAccount = offer.account;
-
+
-        removeVeriOffer(veriBucket, veriId);
+        removeVeriOffer(veriBucket, veriId);
-        paybackTokens(veriAccount, veriAmount);
+        paybackTokens(veriAccount, veriAmount);
-
+
-        VeriOfferCancelled(veriId);
+        VeriOfferCancelled(veriId);
-    }
+    }
-
+
-    function cancelEtherOffer(bytes32 etherId) public {
+    function cancelEtherOffer(bytes32 etherId) public {
-        EtherOffer storage offer = etherOffers[etherId];
+        EtherOffer storage offer = etherOffers[etherId];
-        require(msg.sender == offer.account || msg.sender == owner);
+        require(msg.sender == offer.account || msg.sender == owner);
-
+
-        bytes32 bucketKey = calculateBucketKey({
+        bytes32 bucketKey = calculateBucketKey({
-            veriAmount: offer.veriAmount,
+            veriAmount: offer.veriAmount,
-            price: offer.price,
+            price: offer.price,
-            duration: offer.duration
+            duration: offer.duration
-        });
+        });
-        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
+        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
-
+
-        // copy before deletion
+        // copy before deletion
-        uint256 value = offer.value;
+        uint256 value = offer.value;
-        address etherAccount = offer.account;
+        address etherAccount = offer.account;
-
+
-        removeEtherOffer(etherBucket, etherId);
+        removeEtherOffer(etherBucket, etherId);
-        paybackEther(etherAccount, value);
+        paybackEther(etherAccount, value);
-
+
-        EtherOfferCancelled(etherId);
+        EtherOfferCancelled(etherId);
-    }
+    }
-
+
-    //--- Public constant functions
+    //--- Public constant functions
-
+
-    function checkRatio(uint256 veriAmount, uint256 value)
+    function checkRatio(uint256 veriAmount, uint256 value)
-        public
+        public
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        return veRentExposure.checkRatio(veriAmount, value);
+        return veRentExposure.checkRatio(veriAmount, value);
-    }
+    }
-
+
-    function veriOfferExists(bytes32 veriId)
+    function veriOfferExists(bytes32 veriId)
-        public
+        public
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        return veriOffers[veriId].account != address(0);
+        return veriOffers[veriId].account != address(0);
-    }
+    }
-
+
-    function etherOfferExists(bytes32 etherId)
+    function etherOfferExists(bytes32 etherId)
-        public
+        public
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        return etherOffers[etherId].account != address(0);
+        return etherOffers[etherId].account != address(0);
-    }
+    }
-
+
-    //--- Fallback function
+    //--- Fallback function
-
+
-    function() {
+    function() {
-        // prevent accidental sending Ether
+        // prevent accidental sending Ether
-        revert();
+        revert();
-    }
+    }
-
+
-    //--- Private functions
+    //--- Private functions
-
+
-    function matchVeriOffer(bytes32 bucketKey, bytes32 etherId, uint256 nonce)
+    function matchVeriOffer(bytes32 bucketKey, bytes32 etherId, uint256 nonce)
-        private
+        private
-        returns (bool)
+        returns (bool)
-    {
+    {
-        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
+        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
-
+
-        for (uint256 i = 0; i < veriBucket.ids.length; i++) {
+        for (uint256 i = 0; i < veriBucket.ids.length; i++) {
-            bytes32 matchingVeriId = veriBucket.ids[i];
+            bytes32 matchingVeriId = veriBucket.ids[i];
-
+
-            VeriOffer storage matchingOffer = veriOffers[matchingVeriId];
+            VeriOffer storage matchingOffer = veriOffers[matchingVeriId];
-            if (isDefaultOrFuture(matchingOffer.expiration)) {
+            if (isDefaultOrFuture(matchingOffer.expiration)) {
-                openRentExposure({
+                openRentExposure({
-                    veriId: matchingVeriId,
+                    veriId: matchingVeriId,
-                    etherId: etherId,
+                    etherId: etherId,
-                    veriAccount: matchingOffer.account,
+                    veriAccount: matchingOffer.account,
-                    etherAccount: msg.sender,
+                    etherAccount: msg.sender,
-                    veriAmount: matchingOffer.veriAmount,
+                    veriAmount: matchingOffer.veriAmount,
-                    value: msg.value,
+                    value: msg.value,
-                    price: matchingOffer.price,
+                    price: matchingOffer.price,
-                    duration: matchingOffer.duration,
+                    duration: matchingOffer.duration,
-                    nonce: nonce
+                    nonce: nonce
-                });
+                });
-
+
-                removeVeriOffer(veriBucket, matchingVeriId);
+                removeVeriOffer(veriBucket, matchingVeriId);
-                return true;
+                return true;
-            }
+            }
-        }
+        }
-        return false;
+        return false;
-    }
+    }
-
+
-    function matchEtherOffer(bytes32 bucketKey, bytes32 veriId, uint256 nonce)
+    function matchEtherOffer(bytes32 bucketKey, bytes32 veriId, uint256 nonce)
-        private
+        private
-        returns (bool)
+        returns (bool)
-    {
+    {
-        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
+        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
-
+
-        for (uint256 i = 0; i < etherBucket.ids.length; i++) {
+        for (uint256 i = 0; i < etherBucket.ids.length; i++) {
-            bytes32 matchingEtherId = etherBucket.ids[i];
+            bytes32 matchingEtherId = etherBucket.ids[i];
-
+
-            EtherOffer storage matchingOffer = etherOffers[matchingEtherId];
+            EtherOffer storage matchingOffer = etherOffers[matchingEtherId];
-            if (isDefaultOrFuture(matchingOffer.expiration)) {
+            if (isDefaultOrFuture(matchingOffer.expiration)) {
-                openRentExposure({
+                openRentExposure({
-                    veriId: veriId,
+                    veriId: veriId,
-                    etherId: matchingEtherId,
+                    etherId: matchingEtherId,
-                    veriAccount: msg.sender,
+                    veriAccount: msg.sender,
-                    etherAccount: matchingOffer.account,
+                    etherAccount: matchingOffer.account,
-                    veriAmount: matchingOffer.veriAmount,
+                    veriAmount: matchingOffer.veriAmount,
-                    value: matchingOffer.value,
+                    value: matchingOffer.value,
-                    price: matchingOffer.price,
+                    price: matchingOffer.price,
-                    duration: matchingOffer.duration,
+                    duration: matchingOffer.duration,
-                    nonce: nonce
+                    nonce: nonce
-                });
+                });
-
+
-                removeEtherOffer(etherBucket, matchingEtherId);
+                removeEtherOffer(etherBucket, matchingEtherId);
-                return true;
+                return true;
-            }
+            }
-        }
+        }
-        return false;
+        return false;
-    }
+    }
-
+
-    function saveVeriOffer(
+    function saveVeriOffer(
-        bytes32 bucketKey,
+        bytes32 bucketKey,
-        bytes32 veriId,
+        bytes32 veriId,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration
+        uint64 expiration
-    )
+    )
-        private
+        private
-    {
+    {
-        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
+        VeriBucket storage veriBucket = veriIndex.buckets[bucketKey];
-        veriBucket.ids.push(veriId);
+        veriBucket.ids.push(veriId);
-
+
-        veriOffers[veriId] = VeriOffer({
+        veriOffers[veriId] = VeriOffer({
-            account: msg.sender,
+            account: msg.sender,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration
+            expiration: expiration
-        });
+        });
-    }
+    }
-
+
-    function saveEtherOffer(
+    function saveEtherOffer(
-        bytes32 bucketKey,
+        bytes32 bucketKey,
-        bytes32 etherId,
+        bytes32 etherId,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration
+        uint64 expiration
-    )
+    )
-        private
+        private
-    {
+    {
-        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
+        EtherBucket storage etherBucket = etherIndex.buckets[bucketKey];
-        etherBucket.ids.push(etherId);
+        etherBucket.ids.push(etherId);
-
+
-        etherOffers[etherId] = EtherOffer({
+        etherOffers[etherId] = EtherOffer({
-            account: msg.sender,
+            account: msg.sender,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            expiration: expiration
+            expiration: expiration
-        });
+        });
-    }
+    }
-
+
-    function openRentExposure(
+    function openRentExposure(
-        bytes32 veriId,
+        bytes32 veriId,
-        bytes32 etherId,
+        bytes32 etherId,
-        address veriAccount,
+        address veriAccount,
-        address etherAccount,
+        address etherAccount,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        private
+        private
-    {
+    {
-        require(veToken.approve(veRentExposure, veriAmount));
+        require(veToken.approve(veRentExposure, veriAmount));
-
+
-        bytes32 id = veRentExposure.calculateId({
+        bytes32 id = veRentExposure.calculateId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: value,
+            value: value,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-
+
-        DealMade({
+        DealMade({
-            id: id,
+            id: id,
-            veriId: veriId,
+            veriId: veriId,
-            etherId: etherId,
+            etherId: etherId,
-            veriAccount: veriAccount,
+            veriAccount: veriAccount,
-            etherAccount: etherAccount,
+            etherAccount: etherAccount,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: value,
+            value: value,
-            price: price,
+            price: price,
-            duration: duration
+            duration: duration
-        });
+        });
-
+
-        veRentExposure.open.value(value)({
+        veRentExposure.open.value(value)({
-            veriAccount: veriAccount,
+            veriAccount: veriAccount,
-            etherAccount: etherAccount,
+            etherAccount: etherAccount,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            price: price,
+            price: price,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-    }
+    }
-
+
-    function removeVeriOffer(VeriBucket storage veriBucket, bytes32 veriId) private {
+    function removeVeriOffer(VeriBucket storage veriBucket, bytes32 veriId) private {
-        uint256 index = getIndex(veriBucket.ids, veriId);
+        uint256 index = getIndex(veriBucket.ids, veriId);
-        removeByIndex(veriBucket.ids, index);
+        removeByIndex(veriBucket.ids, index);
-
+
-        delete veriOffers[veriId];
+        delete veriOffers[veriId];
-    }
+    }
-
+
-    function removeEtherOffer(EtherBucket storage etherBucket, bytes32 etherId) private {
+    function removeEtherOffer(EtherBucket storage etherBucket, bytes32 etherId) private {
-        uint256 index = getIndex(etherBucket.ids, etherId);
+        uint256 index = getIndex(etherBucket.ids, etherId);
-        removeByIndex(etherBucket.ids, index);
+        removeByIndex(etherBucket.ids, index);
-
+
-        delete etherOffers[etherId];
+        delete etherOffers[etherId];
-    }
+    }
-
+
-    function paybackTokens(address account, uint256 veriAmount) private {
+    function paybackTokens(address account, uint256 veriAmount) private {
-        require(veToken.transfer(account, veriAmount));
+        require(veToken.transfer(account, veriAmount));
-    }
+    }
-
+
-    function paybackEther(address account, uint256 value) private {
+    function paybackEther(address account, uint256 value) private {
-        account.transfer(value);
+        account.transfer(value);
-    }
+    }
-
+
-    function removeByIndex(bytes32[] storage array, uint256 i) private {
+    function removeByIndex(bytes32[] storage array, uint256 i) private {
-        array[i] = array[array.length - 1];
+        array[i] = array[array.length - 1];
-        array.length--;
+        array.length--;
-    }
+    }
-
+
-    //--- Private constant functions
+    //--- Private constant functions
-
+
-    function calculateOfferId(
+    function calculateOfferId(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint64 expiration,
+        uint64 expiration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        private
+        private
-        constant
+        constant
-        returns (bytes32)
+        returns (bytes32)
-    {
+    {
-        return sha256(
+        return sha256(
-            this,
+            this,
-            msg.sender,
+            msg.sender,
-            value,
+            value,
-            veriAmount,
+            veriAmount,
-            price,
+            price,
-            duration,
+            duration,
-            expiration,
+            expiration,
-            nonce
+            nonce
-        );
+        );
-    }
+    }
-
+
-    function calculateBucketKey(
+    function calculateBucketKey(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration
+        uint32 duration
-    )
+    )
-        private
+        private
-        constant
+        constant
-        returns (bytes32)
+        returns (bytes32)
-    {
+    {
-        return sha256(veriAmount, price, duration);
+        return sha256(veriAmount, price, duration);
-    }
+    }
-
+
-    function getIndex(bytes32[] storage ids, bytes32 id)
+    function getIndex(bytes32[] storage ids, bytes32 id)
-        private
+        private
-        constant
+        constant
-        returns (uint256)
+        returns (uint256)
-    {
+    {
-        for (uint256 i = 0; i < ids.length; i++) {
+        for (uint256 i = 0; i < ids.length; i++) {
-            if (ids[i] == id) {
+            if (ids[i] == id) {
-                return i;
+                return i;
-            }
+            }
-        }
+        }
-        assert(false);
+        assert(false);
-    }
+    }
-
+
-    function isDefaultOrFuture(uint64 time) private constant returns (bool) {
+    function isDefaultOrFuture(uint64 time) private constant returns (bool) {
-        return time == 0 || time > block.timestamp;
+        return time == 0 || time > block.timestamp;
-    }
+    }
 }
-
+
-contract VeRentExposure is TokenDestructible {
+contract VeRentExposure is TokenDestructible {
-
+
-    //--- Definitions
+    //--- Definitions
-
+
-    using SafeMath for uint;
+    using SafeMath for uint;
-
+
-    struct RentExposure {
+    struct RentExposure {
-        bytes32 id;
+        bytes32 id;
-        address veriAccount;
+        address veriAccount;
-        address etherAccount;
+        address etherAccount;
-        uint256 veriAmount;
+        uint256 veriAmount;
-        uint256 price;
+        uint256 price;
-        uint256 initialValue;
+        uint256 initialValue;
-        uint256 finalValue;
+        uint256 finalValue;
-        bool veriSettled;
+        bool veriSettled;
-        bool etherSettled;
+        bool etherSettled;
-    }
+    }
-
+
-    uint256 constant public PRICE_100_PERCENT = 1 ether;
+    uint256 constant public PRICE_100_PERCENT = 1 ether;
-
+
-    //--- Storage
+    //--- Storage
-
+
-    VeritaseumToken public veToken;
+    VeritaseumToken public veToken;
-    VeExposure public veExposure;
+    VeExposure public veExposure;
-
+
-    uint256 public minPrice;
+    uint256 public minPrice;
-    uint256 public maxPrice;
+    uint256 public maxPrice;
-
+
-    mapping (bytes32 => RentExposure) exposures;
+    mapping (bytes32 => RentExposure) exposures;
-
+
-    //--- Constructor
+    //--- Constructor
-
+
-    function VeRentExposure(
+    function VeRentExposure(
-        VeritaseumToken _veToken,
+        VeritaseumToken _veToken,
-        VeExposure _veExposure,
+        VeExposure _veExposure,
-        uint256 _minPrice,
+        uint256 _minPrice,
-        uint256 _maxPrice
+        uint256 _maxPrice
-    ) {
+    ) {
-        require(_veToken != address(0));
+        require(_veToken != address(0));
-        require(_veExposure != address(0));
+        require(_veExposure != address(0));
-        require(_minPrice <= _maxPrice && _maxPrice <= PRICE_100_PERCENT);
+        require(_minPrice <= _maxPrice && _maxPrice <= PRICE_100_PERCENT);
-
+
-        veToken = _veToken;
+        veToken = _veToken;
-        veExposure = _veExposure;
+        veExposure = _veExposure;
-        minPrice = _minPrice;
+        minPrice = _minPrice;
-        maxPrice = _maxPrice;
+        maxPrice = _maxPrice;
-    }
+    }
-
+
-    //--- Accessors
+    //--- Accessors
-
+
-    function ratio() public constant returns (uint256) {
+    function ratio() public constant returns (uint256) {
-        return veExposure.ratio();
+        return veExposure.ratio();
-    }
+    }
-
+
-    function minVeriAmount() public constant returns (uint256) {
+    function minVeriAmount() public constant returns (uint256) {
-        return veExposure.minVeriAmount();
+        return veExposure.minVeriAmount();
-    }
+    }
-
+
-    function maxVeriAmount() public constant returns (uint256) {
+    function maxVeriAmount() public constant returns (uint256) {
-        return veExposure.maxVeriAmount();
+        return veExposure.maxVeriAmount();
-    }
+    }
-
+
-    function minDuration() constant public returns (uint32) {
+    function minDuration() constant public returns (uint32) {
-        return veExposure.minDuration();
+        return veExposure.minDuration();
-    }
+    }
-
+
-    function maxDuration() constant public returns (uint32) {
+    function maxDuration() constant public returns (uint32) {
-        return veExposure.maxDuration();
+        return veExposure.maxDuration();
-    }
+    }
-
+
-    function setMinPrice(uint256 _minPrice) public onlyOwner {
+    function setMinPrice(uint256 _minPrice) public onlyOwner {
-        require(_minPrice <= maxPrice);
+        require(_minPrice <= maxPrice);
-
+
-        minPrice = _minPrice;
+        minPrice = _minPrice;
-    }
+    }
-
+
-    function setMaxPrice(uint256 _maxPrice) public onlyOwner {
+    function setMaxPrice(uint256 _maxPrice) public onlyOwner {
-        require(_maxPrice >= minPrice && _maxPrice <= PRICE_100_PERCENT);
+        require(_maxPrice >= minPrice && _maxPrice <= PRICE_100_PERCENT);
-
+
-        maxPrice = _maxPrice;
+        maxPrice = _maxPrice;
-    }
+    }
-
+
-    //--- Events
+    //--- Events
-
+
-    event RentExposureOpened(
+    event RentExposureOpened(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed veriAccount,
+        address indexed veriAccount,
-        address indexed etherAccount,
+        address indexed etherAccount,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint256 price,
+        uint256 price,
-        uint32 duration
+        uint32 duration
-    );
+    );
-
+
-    event VeriExposureSettled(
+    event VeriExposureSettled(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 value
+        uint256 value
-    );
+    );
-
+
-    event EtherExposureSettled(
+    event EtherExposureSettled(
-        bytes32 indexed id,
+        bytes32 indexed id,
-        address indexed account,
+        address indexed account,
-        uint256 value
+        uint256 value
-    );
+    );
-
+
-    //--- Public functions
+    //--- Public functions
-
+
-    function open(
+    function open(
-        address veriAccount,
+        address veriAccount,
-        address etherAccount,
+        address etherAccount,
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 price,
+        uint256 price,
-        uint32 duration,
+        uint32 duration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        public
+        public
-        payable
+        payable
-        returns (bytes32)
+        returns (bytes32)
-    {
+    {
-        require(veriAccount != address(0));
+        require(veriAccount != address(0));
-        require(etherAccount != address(0));
+        require(etherAccount != address(0));
-        require(price >= minPrice && minPrice <= maxPrice);
+        require(price >= minPrice && minPrice <= maxPrice);
-
+
-        forwardTokens(veriAmount);
+        forwardTokens(veriAmount);
-
+
-        bytes32 id = calculateId({
+        bytes32 id = calculateId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-
+
-        require(!exists(id));
+        require(!exists(id));
-        exposures[id] = RentExposure({
+        exposures[id] = RentExposure({
-            id: id,
+            id: id,
-            veriAccount: veriAccount,
+            veriAccount: veriAccount,
-            etherAccount: etherAccount,
+            etherAccount: etherAccount,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            initialValue: msg.value,
+            initialValue: msg.value,
-            finalValue: 0,
+            finalValue: 0,
-            price: price,
+            price: price,
-            veriSettled: false,
+            veriSettled: false,
-            etherSettled: false
+            etherSettled: false
-        });
+        });
-
+
-        RentExposureOpened({
+        RentExposureOpened({
-            id: id,
+            id: id,
-            veriAccount: veriAccount,
+            veriAccount: veriAccount,
-            etherAccount: etherAccount,
+            etherAccount: etherAccount,
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: msg.value,
+            value: msg.value,
-            price: price,
+            price: price,
-            duration: duration
+            duration: duration
-        });
+        });
-
+
-        veExposure.open.value(msg.value)({
+        veExposure.open.value(msg.value)({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-    }
+    }
-
+
-    function settle(bytes32 id) public {
+    function settle(bytes32 id) public {
-        require(exists(id));
+        require(exists(id));
-
+
-        RentExposure storage exposure = exposures[id];
+        RentExposure storage exposure = exposures[id];
-        bool shouldSettleVeri = (msg.sender == exposure.veriAccount && !exposure.veriSettled);
+        bool shouldSettleVeri = (msg.sender == exposure.veriAccount && !exposure.veriSettled);
-        bool shouldSettleEther = (msg.sender == exposure.etherAccount && !exposure.etherSettled);
+        bool shouldSettleEther = (msg.sender == exposure.etherAccount && !exposure.etherSettled);
-        require(shouldSettleVeri || shouldSettleEther);
+        require(shouldSettleVeri || shouldSettleEther);
-
+
-        if (!exposure.veriSettled && !exposure.etherSettled) {
+        if (!exposure.veriSettled && !exposure.etherSettled) {
-            exposure.finalValue = veExposure.settle(id);
+            exposure.finalValue = veExposure.settle(id);
-        }
+        }
-
+
-        if (shouldSettleVeri) {
+        if (shouldSettleVeri) {
-            settleVeri(exposure);
+            settleVeri(exposure);
-        }
+        }
-
+
-        if (shouldSettleEther) {
+        if (shouldSettleEther) {
-            settleEther(exposure);
+            settleEther(exposure);
-        }
+        }
-
+
-        if (exposure.veriSettled && exposure.etherSettled) {
+        if (exposure.veriSettled && exposure.etherSettled) {
-            delete exposures[id];
+            delete exposures[id];
-        }
+        }
-    }
+    }
-
+
-    //--- Public constant functions
+    //--- Public constant functions
-
+
-    function exists(bytes32 id) public constant returns (bool) {
+    function exists(bytes32 id) public constant returns (bool) {
-        return exposures[id].veriAccount != address(0);
+        return exposures[id].veriAccount != address(0);
-    }
+    }
-
+
-    function calculateId(
+    function calculateId(
-        uint256 veriAmount,
+        uint256 veriAmount,
-        uint256 value,
+        uint256 value,
-        uint32 duration,
+        uint32 duration,
-        uint256 nonce
+        uint256 nonce
-    )
+    )
-        public
+        public
-        constant
+        constant
-        returns (bytes32)
+        returns (bytes32)
-    {
+    {
-        return veExposure.calculateId({
+        return veExposure.calculateId({
-            veriAmount: veriAmount,
+            veriAmount: veriAmount,
-            value: value,
+            value: value,
-            duration: duration,
+            duration: duration,
-            nonce: nonce
+            nonce: nonce
-        });
+        });
-    }
+    }
-
+
-    function checkRatio(uint256 veriAmount, uint256 value)
+    function checkRatio(uint256 veriAmount, uint256 value)
-        public
+        public
-        constant
+        constant
-        returns (bool)
+        returns (bool)
-    {
+    {
-        return veExposure.checkRatio(veriAmount, value);
+        return veExposure.checkRatio(veriAmount, value);
-    }
+    }
-
+
-    //--- Fallback function
+    //--- Fallback function
-
+
-    function() public payable {
+    function() public payable {
-        // accept Ether deposits
+        // accept Ether deposits
-    }
+    }
-
+
-    //--- Private functions
+    //--- Private functions
-
+
-    function settleVeri(RentExposure storage exposure) private {
+    function settleVeri(RentExposure storage exposure) private {
-        assert(msg.sender == exposure.veriAccount && !exposure.veriSettled);
+        assert(msg.sender == exposure.veriAccount && !exposure.veriSettled);
-
+
-        uint256 transferValue = 0;
+        uint256 transferValue = 0;
-        if (exposure.finalValue > exposure.initialValue) {
+        if (exposure.finalValue > exposure.initialValue) {
-            // transfer part of profits (price)
+            // transfer part of profits (price)
-            uint256 totalProfit = exposure.finalValue - exposure.initialValue;
+            uint256 totalProfit = exposure.finalValue - exposure.initialValue;
-            uint256 veriPrice = exposure.price;
+            uint256 veriPrice = exposure.price;
-            uint256 veriProfit = totalProfit.mul(veriPrice).div(1 ether);
+            uint256 veriProfit = totalProfit.mul(veriPrice).div(1 ether);
-            transferValue = veriProfit;
+            transferValue = veriProfit;
-        }
+        }
-
+
-        exposure.veriSettled = true;
+        exposure.veriSettled = true;
-        if (transferValue > 0) {
+        if (transferValue > 0) {
-            exposure.veriAccount.transfer(transferValue);
+            exposure.veriAccount.transfer(transferValue);
-        }
+        }
-
+
-        VeriExposureSettled({
+        VeriExposureSettled({
-            id: exposure.id,
+            id: exposure.id,
-            account: msg.sender,
+            account: msg.sender,
-            value: transferValue
+            value: transferValue
-        });
+        });
-    }
+    }
-
+
-    function settleEther(RentExposure storage exposure) private {
+    function settleEther(RentExposure storage exposure) private {
-        assert(msg.sender == exposure.etherAccount && !exposure.etherSettled);
+        assert(msg.sender == exposure.etherAccount && !exposure.etherSettled);
-
+
-        uint256 transferValue = 0;
+        uint256 transferValue = 0;
-        if (exposure.finalValue > exposure.initialValue) {
+        if (exposure.finalValue > exposure.initialValue) {
-            // transfer part of profits (100% - price)
+            // transfer part of profits (100% - price)
-            uint256 totalProfit = exposure.finalValue - exposure.initialValue;
+            uint256 totalProfit = exposure.finalValue - exposure.initialValue;
-            uint256 etherPrice = PRICE_100_PERCENT.sub(exposure.price);
+            uint256 etherPrice = PRICE_100_PERCENT.sub(exposure.price);
-            uint256 etherProfit = totalProfit.mul(etherPrice).div(1 ether);
+            uint256 etherProfit = totalProfit.mul(etherPrice).div(1 ether);
-            transferValue = exposure.initialValue.add(etherProfit);
+            transferValue = exposure.initialValue.add(etherProfit);
-        } else {
+        } else {
-            // transfer remains
+            // transfer remains
-            transferValue = exposure.finalValue;
+            transferValue = exposure.finalValue;
-        }
+        }
-
+
-        exposure.etherSettled = true;
+        exposure.etherSettled = true;
-        if (transferValue > 0) {
+        if (transferValue > 0) {
-            exposure.etherAccount.transfer(transferValue);
+            exposure.etherAccount.transfer(transferValue);
-        }
+        }
-
+
-        EtherExposureSettled({
+        EtherExposureSettled({
-            id: exposure.id,
+            id: exposure.id,
-            account: msg.sender,
+            account: msg.sender,
-            value: transferValue
+            value: transferValue
-        });
+        });
-    }
+    }
-
+
-    function forwardTokens(uint256 veriAmount) private {
+    function forwardTokens(uint256 veriAmount) private {
-        require(veToken.transferFrom(msg.sender, this, veriAmount));
+        require(veToken.transferFrom(msg.sender, this, veriAmount));
-        require(veToken.approve(veExposure, veriAmount));
+        require(veToken.approve(veExposure, veriAmount));
-    }
+    }
 }
-
+
-contract ERC20Basic {
+contract ERC20Basic {
-  uint256 public totalSupply;
+  uint256 public totalSupply;
-  function balanceOf(address who) public constant returns (uint256);
+  function balanceOf(address who) public constant returns (uint256);
-  function transfer(address to, uint256 value) public returns (bool);
+  function transfer(address to, uint256 value) public returns (bool);
-  event Transfer(address indexed from, address indexed to, uint256 value);
+  event Transfer(address indexed from, address indexed to, uint256 value);
 }