Cover基本介绍

Cover不是一个新点子，而是已经推进将近一年（从意向开始一年有余了），历经坎坷的我的第三个科研项目。今天把它的故事线跟ℒ重新捋了一遍，记录下来。

去中心化环境下的全序代价非常昂贵。Cover指出，我们有机会在去中心化环境中搭建出一些同样可信的偏序基础设施，相比全序可以大幅度降低排序成本。这是去中心化环境相比数据中心环境的独特之处之一。

接下来Cover提出一套基于偏序的排序服务接口。包括如何参与排序，谁能决定哪些顺序，怎么验证顺序，等等之类的。我们论证，这一套接口具有足够的实用性，可以广泛地支持对排序有需求的业务和应用，并且给出一些实例以供参考，如一组支持社交应用的微服务如何使用Cover的接口来编写。

随后Cover给出如何实现这些接口的大体思路，并且Cover工作中包含一个（大概会基于TEE的）实现原型。这同样会涉及到接口设计，比如精心设计以方便实现/使得验证排序结果可信具有可行性/等等。

总结

第一个核心贡献是「倡议」：顺序必不可少，全序得不偿失，偏序够用的话考虑用偏序。

第二个核心贡献是「标准」：全序大家都比较熟悉（因为它的大名叫区块链），偏序到底是个啥，它都有哪些接口，需要满足点啥性质。

其余的核心贡献是给出前两个贡献成立的证据。一方面，这些接口够应用用了；另一方面，这些接口能实现得出来。