这项工作为Filecoin网络的建设提供了一个清晰和凝聚的道路;但是,我们也认为这项工作将成为今后研究去中心化存储系统的起点。在这个我们识别和填充三类未来工作。这包括已经完成只是等待描述和发布的工作,提出改进当前协议的开放式问题,和协议的形式化。
以下内容代表正在进行的工作。
每个块中的Filecoin状态树的规范。
Filecoin及其组件的详细绩效评估和基准。
完全可实现的Filecoin协议规范。
赞助检索票务模型,其中通过分配每个可持票花费的令牌,任何客户端C1可以赞助另一个客户端C2的下载。
分层共识协议,其中Filecoin子网可以在临时或永久分区进行分区并继续处理事务。
使用SNARK / STARK增量区块链快照。
FileCoin-Ethereum合约接口和协议。
使用编织(Braid?)进行区块链归档和区块链间冲压。
只有在区块链解决冲突的时候才发布"时空证明”。
正式证明实现了Filecoin DSN和新型存储证明。
作为一个整体,有一些公开的问题,其答案有可能可以大大改善网络。尽管事实上,在正式启动之前并不是必须解决的问题。
一个更好的原始的"复制证明“封装功能,理想情况下是O(n)解码(不是O(nm)),可公开验证,无需SNARK / STARK。
用于复制证明功能的更好的命令,它可以在没有SNARK / STARK的情况下可以公开验证和透明。
一个透明,可公开验证的可检索证明或其他存储证明。
在检索市场中进行检索的新策略(例如,基于概率支付,零知识条件支付)。
“预期共识”更好的秘密Leader选举,在每个周期,只有一位当选Leader。
更好的可信赖的SNARK设置方案,允许增加扩展公共参数(可以运行MPC序列的方案,其中每个附加的MPC严格降低故障概率,并且每个MPC的输出可用于系统)。
由于证明和正式验证的明确价值,我们计划证明Filecoin网络的许多属性,并在未来几个月和几年内开发正式验证的协议规范。几个证明正在进行中还有些正在思考中。但注意,要证明Filecoin的许多属性(如伸缩,离线)将是艰难的,长期的工作。
预期共识和变体的正确性证明。
功率故障容错正确性的证明,异步1/2不可能导致分叉。
在通用组合框架中制定Filecoin DSN,描述Get,Put和Manage作为理想的功能,并证明我们的实现。
自动自愈保证的正式模型和证明。
正式验证协议描述(例如TLA +或Verdi)。
正式验证实现(例如Verdi)。
Filecoin激励的游戏理论分析。