Storj新发了白皮书v3,地址是:https://storj.io/storjv3.pdf。
这次白皮书一共有90页,看完还真要费不少时间。如果你没有时间看,可以看一下我这篇快速技术解读。
上次Storj发布白皮书v2的时候,是 2016年12月15日;这次v3版白皮书的发布时间,是2018年11月,距离上次发布白皮书时隔2年时间。
这次白皮书V3相对于白皮书v2来说,务实了很多,给我的整体感觉是:解密了不少实现的细节。全篇白皮书在说Storj去中心化存储的架构细节,区块链部分依然提到的很少。
看了Storj的白皮书之后,大致可以明确几点:
Storj 依然是ERC20通证,它没有将存储数据写入区块链,写入区块链是只有资产,简单地说,就是“钱”。因为白皮书V3很少提到区块链的内容,所以预计Storj的ERC20状态还会持续很久。
Storj仍然采用中心化记账,每个月“发工资”的形式。工资就是Storj的ERC20的通证。
白皮书V2里面的农场主,在白皮书V3全部改成了存储节点。这也能感受到Storj采用了去区块链化的路线,Storj变得更靠近传统古典项目,对标AWS S3。
国内不少“矿圈”的人,抱怨在Storj上面种田没有收益,白皮书v3做了揭秘,说明了原因,后面我会详细解释。(Storj上的种田,就类似于FileCoin上挖矿。)
下面我完整地解读一下Storj。
Storj历史
Storj 历史上几个重要的时间点:
2014年7月,Storj项目首次亮相,并且做了第一次通证的众筹,筹集了910个比特币,当时的价值是50万美金。后面经过差不多2年的开发,终于在2016年4月上线了Beta版;2016年底,发布了Storj的第二版白皮书。2017年2月-7月,又发起了一次众筹,这次相当于ICO,这次筹集了价值3000万美金左右。2018年3月,Docker的创始人兼CEO, Ben Golub, 加入了Storj担任新CEO。最后就是在不久前发布了这篇白皮书v3。
Storj设计原则
这次白皮书V3里面,首先提到的就是设计原则。设计原则有以下几个关键词:安全与隐私;去中心化;市场和经济;AWS S3 兼;耐用率, 硬件故障, 和 流失;延迟;带宽;对象大小;拜占庭容错;局部协作。
解读出以下几点重要信息:
1. 可以看出“安全和隐私”是Storj设计的第一原则。其他原则如果与这个原则冲突,都按照这条原则来执行。
基于这个第一原则,数据必须在进入Storj网络之前完成加密,而且加密算法是可插拔的,也就是可以使用不同加密算法加密。
2. 要想办法降低维护成本和带宽消耗。
3. Storj白皮书V3首次提出了 AWS S3的兼容。这样开发者就能快速将之前基于ASW S3编写的程序移植到Storj上。对中国开发者来说,兼容了AWS S3,就兼容了阿里云OSS。
这次Storj支持了AWS S3的7个最核心的API。Bucket(Create, Delete, List), Object(Get, Put, Delete, List)。
4. Storj定义了一系列的Qos,特别关注了延迟。之前在Storj社区有人反馈:把数据存入Storj网络有时需要几个小时。现在看起来,Storj很关注这些反馈意见了。当然,除了延迟外,还定义了一个非常重要的参数:耐用性。耐用性是保证数据不丢失的概率,即使在大量硬件故障或者大量存储节点离线后,数据不丢失的概率。耐用性,一般是用9的数量来衡量的。如99.99%, 就是4个9的耐用性,表示有万分之一的数据可能会丢失。
5. Storj白皮书v3完整讲述了Storj的经济体系。一共设计了4个角色: 终端用户, 存储节点运营商, 需求供应商, 网络运营商(现在是Storj Labs)。
6. 定义了Object的大小,最小为4M。如果大小不到4M,会按照4M收费,这样鼓励存入大点的文件。
7. 存储节点一般归为3类:
拜占庭节点:有主观意愿作恶的节点。
利他节点:抛开不可避免的硬件故障,完全遵守规则并且无私地给他人奉献的好节点。
理性节点:在遵守规则的前提,追求自己利润最大化的节点。
8. 为了达到整体的规模最大,局部协议的最小化协调是Storj非常提倡的。
角色
Storj的系统中有以下这些角色:
客户端:在网络中上传和下载数据的用户或应用程序
节点的类型:
存储节点: 用于存储数据,获得收益
Uplinks节点:用于实现库libuplink,并希望存储和检索数据的任何应用程序或服务。 预计此类节点不会像其他两类一样保持在线状态,并且相对轻量。
Libuplink(一个库)
Gateway(网关)
Uplink CLI(控制台命令)
卫星节点: 用于缓存节点地址,存储对象元数据,维护存储节点信誉,聚合计费数据,支付存储节点,执行审计和修复,以及管理授权和用户帐户。
用户拥有帐户并信任特定的卫星节点。 任何用户都可以运行他们自己的卫星节点,Storj希望许多用户选择使用其他卫星节点,避免操作复杂。有了卫星节点,Storj整体架构就非常灵活。
注意:中国不少自媒体,我就不点名,宣称Storj采用了天上的卫星传输技术,因为白皮书里面写了Satellite。其实卫星节点根本就不是天上的卫星,而是分布式系统中一个角色。
框架
Storj的设计,框架内的都将执行以下操作:存储数据; 检索数据; 维护数据; 支付费用。
独立的模块有:存储节点;P2P的通讯和发现;冗余;元数据;加密;审计和信誉;数据修复;支付。
存储节点
存储节点的作用是存储和返回数据。选择存储节点以基于各种标中和评估:ping时间,延迟,吞吐量,带宽上限,足够的磁盘空间,地理位置,正常运行时间,准确响应审计的历史记录等等。这点和传统P2P项目选择节点的方式非常接近。
可以存储具有特定TTL到期的片段,其中期望在到期之后删除数据。
存储节点必须另外跟踪已签名的带宽分配,以便发送到卫星节点以后进行结算和支付。
TTL和带宽分配都存储在SQLite数据库中。
存储节点可以选择使用哪些卫星节点。 如果它们使用多个卫星节点(默认行为),那么付款可能来自不同的付款时间表上的多个来源。
未通过随机审核的存储节点将从池中删除,可能会损失托管中的资金以支付额外费用,并且将来只会收到付款。
存储节点将支持三种方法:get,put和delete。 每种方法都将采用分片ID,卫星节点ID,来自相关卫星节点实例的签名以及带宽分配。
存储节点将允许管理员在过去30天内配置允许的最大磁盘空间和每个Satellite的带宽使用量。
P2P的通讯和发现
网络上的所有节点都通过一个标准儿协议通信。这个协议支持以下几点:
P2P的可达性,即使面对防火墙和NAT。这需要STUN,UPnP,NAT-PMP等技术。
提供S/Kademlia中的身份验证,其中每个参与者以加密方式证明与其通话节点的身份,以免中间人攻击。
提供完全隐私,默认情况下所有通信都是私密的。
可以在我们选择的对等通信协议之上构建各种重叠网络覆盖,例如Chord,Pastry或Kademlia,以提供发现服务。
冗余
Storj白皮书v2中就提到了冗余,但那时采用的是简单冗余。Storj白皮书v3说明了简单冗余的缺陷,改用了纠删冗余。下面我想说下简单冗余和纠删冗余的优缺点。
简单冗余
在存储系统的不同位置创建数据副本,这个副本和之前数据一模一样。
通常为2或3份,可根据风险等级进行配置
如果驱动器发生故障,则会在副本的另一个驱动器上重新创建数据
CPU计算资源占用更低 = 写入性能更快
简单恢复 = 更快的重建性能
需要2倍或更多的原始存储空间和带宽
纠删编码
基于奇偶校验的保护技术
数据分成碎片并编码
使用可配置数量的冗余部件,且不用部件存储在不同位置
比简单冗余消耗更少的存储空间 - 适合廉价/深度存储
允许存储系统的两个或多个元素发生故障
奇偶校验计算是消耗CPU计算资源的
会增加延迟,也可能会减慢生成,写入和重建的速度
里德-所罗门 纠删码
Storj使用的就是里德-所罗门 纠删编码
如果用 (k,n) 纠删码编码数据块,则总共有n个纠删片段,其中只需要任何k个就能完全恢复原始数据块。
如果数据块是s字节,则每个纠删片段的大小大约是 s/k 字节。
当k = 1时,所有纠删都是一样的,这相当于复制。
1MB数据, 如果采用(10,16)纠删码,并且纠删片段数量是0.1M,则总存储数据就是 1.6MB。
上传和下载
Storj并不是只要发现冗余少了,马上就增加冗余,而是分了情况以确定是否增加冗余。
K:重建数据所需的最低要求
M:最低安全值,相当于重建数据的安全缓冲
O:最佳值,能够应付节点波动的缓冲区
N:长尾冗余
K的含义是:如果可用冗余的数量低于K,数据将丢失。简单说,k就是生死线。
M的含义是:当卫星节点发现到可用冗余的数量已经降至M以下,则它立即触发修复机制,以确保我们总是保持K个或更多。简单说,m就是安全线。
O是存储的目标冗余度。 这个值用于上传和修复过程中,一旦O个分片完成了上传,那么多余的k-n之间的分片将被取消。
因此,值N是超出目标冗余度。
在Storj的设计中,未被确认信誉值的矿工,或者信誉值不高的矿工,就用于保存O到N之间的冗余度,这部分是没有收益的,直到任务足够产生信誉值之后,才能获得收益。简单地说,不稳定或者性能不达标的存储矿工是用于是存储多余的冗余的,他们不能获得收益。国内不少矿工抱怨Storj挖不到币,说Storj不靠谱;其实不是Storj不靠谱,而是他自己不满足Storj要求,不符合Storj的激励机制。
耐用性
Storj白皮书v3仔细测算了耐用率。这个QoS指标非常重要。
Storj是在数学上是用泊松分布对依赖时间的过程进行建模的。其中假设在给定的单位时间中观察到事件。 因此,我们将耐用性建模为Poisson分布的累积分布函数(CDF),其中平均数 lamda = pn,其中我们假设文件的片段每月会丢失。 为了估计耐用性,我们假定CDF为n-k,考虑一个月内文件中最多n-k个部分丢失的概率,并且文件仍然可以重建。 CDF公式如下:
Storj做了如下假设:
p是纠删副本的每月丢失率, Storj假设它是10%
n和k分别是纠删算法参数
lamda就是泊松分布的平均数,是p*n
Exp.factor就是冗余的倍数
可以看到,Storj是能够做到很好的月耐用性的。
但是,这个测算过程是有些问题的。
整个测算过程中,Stroj没有考虑纠删分片恢复的时间。如前面所说,Storj设计了K,M,O几个参数,纠删分片丢失后,是可以恢复的。
计算的结果,得到的P只是月耐用性数据,而存储业内一般用年耐用性作为平台的参数。AWS S3公布的耐用性是年耐用性。
CDF公式是泊松分布的拟合公式,CDF公式得到的是近似值,只有当p很小,n很大的的时候,才适用于CDF公式。而Storj的假设,p=0.1已经不小了,CDF公式得到的数字并不完全准确。Storj白皮书V3还计算k=1的情况(就是模拟简单副本),这个k=1的计算出的数字偏差就比较大了。
数据
这里定义了Storj的每个数据单位:
-
桶:
存储桶是由路径标识的文件集合。每个文件在存储桶中都有唯一的路径。这和AWS S3中桶的定义一样。
-
路径:
路径是存储桶中文件的唯一标识符。这和AWS S3中桶的定义一样。除非另有要求,否则我们会在文件离开客户计算机之前对其进行加密。
-
文件或对象:
文件或对象是存储的文件实体。这和AWS S3中对象的定义一样。
-
扩展属性:
扩展属性是与文件关联的用户定义的键/值字段。与其他文件元数据一样,扩展属性以加密方式存储。
-
分段:
分段表示单个字节数组,介于0和用户可配置的最大段大小之间。
-
远程分段:
远程分段是将分散在网络上纠删编码。远程段大于其所需的元数据,其中包括存储数据的节点ID等信息。
-
内联分段:
内联分段是一个足够小的段,它所表示的数据大小少于远程分段,需要跟踪哪些节点具有相应的数据。在这些情况下,数据存储为“内联”而不是存储在节点上。
-
条带:
条带是分段的进一步细分。条带是固定数量的字节,用作加密和纠删编码边界大小。纠删编码单独发生在条带,条带也是执行审计的单位。
-
纠删片段:
当条带被纠删编码时,它会生成多个分片,这就是纠删片段。只需要一部分纠删片段来恢复原始条带。每个纠删片段都有一个索引标识它是哪个纠删片段。
-
分片:
当远程段的条带被纠删编码为纠删片段时,具有相同索引的该远程分段的纠删片段被连接在一起,并且该连接的纠删片段组被称为分片。第i个部分是来自该部分条带的所有第三个纠删片段的串联。
-
指针 :
指针是一种数据结构,它包含内联数据分段,或跟踪远程分段的各个存储节点以及其他每个文件元数据。
这就是Storj中的数据单元的示意图:
元数据
之前,Storj 白皮书V2中就简单提到了元数据,白皮书v3说明了元数据的细节。
添加,编辑或删除对象时,需要调整此元数据存储系统中的一个或多个条目。
在这个元数据系统中可能会有大量的流失,并且在整个用户群中,元数据本身变化得相当大。
Storj希望该平台包含多个元数据存储实现,用户可以在其中进行选择。
Amazon S3兼容性,Put(在给定路径上存储元数据),Get(在给定路径上检索元数据),List(现有路径的分页,确定性列表)和Delete(删除路径)。
加密
所有数据或元数据都将被加密。 在数据离开源计算机之前,必须对数据进行加密。 与AWS S3接口兼容的客户端库应该和 用户的应用程序在同一台计算机上运行。我们的加密选择是经过验证的加密。 这是为了便于用户知道是否有数据被篡改。加密应使用可插拔机制,可以选择不同的加密算法。Storj采用BIP32的分层加密技术,这技术允许共享子树而不共享其父级,也就是允许共享某些文件而不共享其他文件。
应对每个文件使用不同的加密密钥,因为访问一个文件将导致访问所有文件的解密密钥。因此,Storj每个文件采用不同的密钥加密。数据以小批量条带为单位来加密,建议为4KB或更少。路径也是加密的。 与BIP32一样,加密是分层的和确定的,并且每个路径组件都是单独加密的。
审计
审计只是用于确定节点稳定程度的机制。
审计员(如卫星节点)将向存储节点发送挑战并期望得到有效响应。
作为HAIL系统,Storj使用纠删编码,一次读取单个条带作为挑战,然后验证纠删片段的响应。 这使得Storj可以进行任意审计,在没有预先生成挑战的情况下。
Storj要求所有存储节点的纠删片段是负责任的。 然后,Storj在所有纠删片段中运行Berlekamp-Welch算法[39,73]。 当足够的存储节点返回正确的信息时,可以轻松识别任何错误,响应丢失。
存储节点信誉
要确定哪些文件需要修复,存储节点运行时间和总体健康状况是主要指标。根据每个节点的审计历史,建立一个信誉系统给定节点确定身份。存储节点信誉可以分为四个子系统。
工作识别系统证明:要求对存储节点运营商被投资的简要证据, 通过时间,份额或资源。
初始审查过程:慢慢允许节点加入网络。
过滤系统:它阻止不良存储节点参与。
优先系统:审计时收集的统计信息,将用于为上传好的存储节点建立优先权。
数据修复
为了修复数据,Storj将通过从剩余部分的纠删码来恢复原始数据,然后重新生成丢失的部分,并将它们存储在新存储节点上。
支付
性能充足的存储系统是无法等待区块链缓慢操作的。
Storj的框架反而更像游戏理论模型,确保网络中的参与者得到适当的激励,以保持长期在线,从而理性地行动以获得报酬。
Storj框架中的存储节点应限制他们与不信任的付款人接触。
基于以太坊的STORJ ERC20通证作为支付的默认机制,将来可以实施其他替代支付类型。
卫星节点
卫星节点:保存元数据的服务集合。网络用户将拥有特定卫星节点上的帐户,该实例将存储文件元数据,管理数据授权,跟踪存储节点的可靠性,在减少冗余时修复和维护数据,代表用户向存储节点付款。
注意,Storj中, 用户不是直接向存储节点付款的,而是用户先付款给卫星节点,然后卫星节点再付款给存储节点的。
卫星节点正在开发中,将作为开源软件发布。 任何个人或组织都可以运行自己的卫星节点以方便网络访问。
从未向卫星节点提供未加密的数据,并且不保存加密密钥。
卫星节点实例由以下组件组成:
- 完整节点发现缓存
由加密路径索引的每对象元数据数据库
帐户管理和授权系统
存储节点信誉,统计信息和审核系统
数据修复服务
存储节点支付服务
这是put操作的图:
这是get操作的图:
授权
元数据操作将被授权。 用户将使用他们的卫星节点进行身份验证,这将允许他们根据其授权配置访问各种操作。
一旦通过卫星节点授权Uplink,卫星节点将批准对存储节点的操作,包括带宽分配。 Uplink在使用存储节点进行操作之前,必须从卫星节点检索有效签名。
宽带分配
如果Uplink被授权用于请求,则卫星节点将只创建带宽分配。 在存储操作开始时,Uplink可以将带宽分配传输到存储节点。 存储节点可以验证卫星节点的签名并执行所请求的操作,直到允许的带宽用满,存储并稍后将带宽分配发送到卫星节点以进行支付。
在Get操作的情况下,假设卫星节点签名的带宽分配允许最多x个字节。 Uplink将通过发送一些少量(y字节)的受限分配开始,然后逐步再发送另一个分配,其中y越来越大,继续发送,直到y增长到x。
垃圾回收
每次删除数据时,联网和可访问的存储节点都会立即收到通知。
存储节点有时会暂时不可用,并且会丢失删除消息。 在这些情况下,不需要的数据被视为垃圾。
Uplink
Uplink 就是Storj的软件中间层。
任何调用libuplink的软件或服务,以为了与卫星节点和存储节点交互。
Libuplink - libuplink是一个库,提供对Storj网络中存储和检索数据的访问。
网关 - libuplink上的一个简单服务层。 我们的第一个网关是Amazon S3网关。
Uplink CLI - 一个调用libuplink的命令行应用程序
未来工作
Storj的白皮书V3中提到了他们未来要做什么事情。
热门文件和内容分发。
如有必要,卫星节点可以临时暂停访问,增加文件在更多存储节点上的冗余,然后继续允许访问。
改善元数据的用户体验。
从长远来看,我们计划将卫星节点构建出平台。 我们希望通过可行的拜占庭容错一致性算法完全取消对元数据的卫星控制。
总结
优点
以产品和市场为目标,Storj真正重视了服务质量QoS,真心希望将去中心化存储落实到使用场景。
非常注重安全和隐私,这是第一设计准则。
AWS S3兼容性,支持了AWS S3的几个核心API。对开始者来说,这是一件好事。
避免拜占庭分布式共识,这样就能大大提升效率。
设计了冗余细节,认真测算了耐用性,这是一个成熟的存储系统中最重要Qos。
设计元数据,并单独对元数据做了处理。元数据不用于普通数据,是变化很频繁的。
审计和信誉,特别引入了信誉值,对整体经济系统有积极的良性影响。
缺点
非常依赖于纠删技术,数据修复开销非常大。
依然很少提及区块链技术,Storj对区块链技术的考虑非常少,作为一个做了4年多的项目,却还是中心化的结算方式,有那么点让人失望。
卫星节点是个非常集中的设计。除了存储数据外,其他所有的事情都由它做完。
每月支付,支付周期太长,对存储节点来说不够友好,特别是新存储节点,得到的反馈很慢。
带宽分配,以字节为单位,力度太低。
很少考虑热门文件和内容分发的情况。
我为什么写这篇文章
我的其他文章提到过,我设计和发起了PP.io存储公链项目,旨在给开发者提供去中心化的存储和分发网络,使得更便宜,更快,更隐私。虽然我设计的PP.io项目和Storj有些相似,但我写这篇文章是完全站在中立的角度写得。我认为去中心化存储相对于中心化存储(如AWS S3,GoogleCloud,Microsoft Axure)来说是个全新的赛道。而这个新赛道的发展,以及最终产生价值,都是需要大家共同探索的。我希望能够共同进步。
我在设计PP.IO的时候,我之前设计的很多想法和Storj刚发布的白皮书V3中提到的非常类似,包括兼容AWS S3,重视Qos,将去中心化存储和区块链系统视为2个独立的子模块,使用纠删副本,测算耐用率,设计了监督节点(类似Storj卫星节点的审计)。当然,PP.IO也有很多和Storj不一样地方,PP.IO有很多地方的设计比Storj要优秀得多,我后面会写文章来逐步说明。大家可以关注PP.IO的官网 http://pp.io 。
我的邮箱是 wayne@pp.io。如果有任何问题,欢迎联系我。