6.2 存储市场

存储市场是可验证的市场,它允许客户(即买家)请求存储他们数据,而存储矿工(即卖家)将会提供他们的存储空间。

6.2.1 需求

我们根据以下需求来设计存储市场协议:

6.2.2 数据结构

订单簿是公开的,并且每个诚实的用户都有同样的订单簿视图。在每个周期,如果新的订单交易出现在新的区块中,那么该订单将被添加到订单簿中。如果订单被取消,失效或者结算,则会被清除。如果订单是有效的,他们将被添加到区块链中,也就是在订单簿中:

定义5.2 我们定义出价,询价,成交订单的有效性:

(有效的出价订单):出价订单来自客户Ci;订单表达为 ,要让它有效,需要满足以下条件:

(有效的询价订单):一个来自存储矿工Mi的询价订单, ,要让它有效,需要满足以下条件:

(有效的成交订单):成交订单 ,要让它有效,需要满足以下条件:

注释:如果作恶客户端从存储矿工处收到了签名的交易,但从来没有将其添加到订单簿,那么存储矿工就无法重新使用订单中提交的存储。这个字段ts就可以防止这种攻击,因为,在超过ts之后,订单变得无效,将无法在订单簿中提交。

6.2.3 存储市场协议

简而言之,存储市场协议分为两个阶段:订单匹配和结算: