80 lines
2.2 KiB
Solidity
80 lines
2.2 KiB
Solidity
// SPDX-License-Identifier: MIT
|
|
pragma solidity ^0.8.0;
|
|
|
|
import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
|
|
import "./Collateral.sol";
|
|
|
|
contract Marketplace is Collateral {
|
|
uint256 public immutable collateral;
|
|
MarketplaceFunds private funds;
|
|
mapping(bytes32 => Request) private requests;
|
|
mapping(bytes32 => Offer) private offers;
|
|
|
|
constructor(IERC20 _token, uint256 _collateral)
|
|
Collateral(_token)
|
|
marketplaceInvariant
|
|
{
|
|
collateral = _collateral;
|
|
}
|
|
|
|
function requestStorage(Request calldata request)
|
|
public
|
|
marketplaceInvariant
|
|
{
|
|
bytes32 id = keccak256(abi.encode(request));
|
|
require(request.size > 0, "Invalid size");
|
|
require(requests[id].size == 0, "Request already exists");
|
|
requests[id] = request;
|
|
transferFrom(msg.sender, request.maxPrice);
|
|
funds.received += request.maxPrice;
|
|
funds.balance += request.maxPrice;
|
|
emit StorageRequested(id, request);
|
|
}
|
|
|
|
function offerStorage(Offer calldata offer) public marketplaceInvariant {
|
|
bytes32 id = keccak256(abi.encode(offer));
|
|
Request storage request = requests[offer.requestId];
|
|
require(balanceOf(msg.sender) >= collateral, "Insufficient collateral");
|
|
require(request.size != 0, "Unknown request");
|
|
require(offers[id].expiry == 0, "Offer already exists");
|
|
// solhint-disable-next-line not-rely-on-time
|
|
require(offer.expiry > block.timestamp, "Offer expired");
|
|
require(offer.price <= request.maxPrice, "Price too high");
|
|
offers[id] = offer;
|
|
emit StorageOffered(id, offer);
|
|
}
|
|
|
|
struct Request {
|
|
uint256 duration;
|
|
uint256 size;
|
|
bytes32 contentHash;
|
|
uint256 proofPeriod;
|
|
uint256 proofTimeout;
|
|
uint256 maxPrice;
|
|
bytes32 nonce;
|
|
}
|
|
|
|
struct Offer {
|
|
bytes32 requestId;
|
|
uint256 price;
|
|
uint256 expiry;
|
|
}
|
|
|
|
event StorageRequested(bytes32 id, Request request);
|
|
event StorageOffered(bytes32 id, Offer offer);
|
|
|
|
modifier marketplaceInvariant() {
|
|
MarketplaceFunds memory oldFunds = funds;
|
|
_;
|
|
assert(funds.received >= oldFunds.received);
|
|
assert(funds.sent >= oldFunds.sent);
|
|
assert(funds.received == funds.balance + funds.sent);
|
|
}
|
|
|
|
struct MarketplaceFunds {
|
|
uint256 balance;
|
|
uint256 received;
|
|
uint256 sent;
|
|
}
|
|
}
|