协议实验室宣布资助计划

2019-04-17 21:31:21

去年,我们宣布启动我们的拨款计划,通过该计划,我们资助与我们的使命相关的前沿研究工作。前几个提案请求(RFP)侧重于我们在设计和构建Filecoin和IPFS时发现和制定的问题。

  去年,我们宣布启动我们的拨款计划,通过该计划,我们资助与我们的使命相关的前沿研究工作。前几个提案请求(RFP)侧重于我们在设计和构建Filecoin和IPFS时发现和制定的问题。

  在两个月内,我们收到了11项强有力的建议,以回应我们的5个RFP,以及针对其他令人兴奋的研究问题的多个其他建议。尽管提出了许多雄心勃勃且充满希望的方向,但我们必须优先考虑与我们的项目目标最相符的工作并应用严格的评估标准。


  我们选择在2018年中期向我们的RFP提出五项拨款,总金额超过300,000美元:


  Claudio Orlandi教授,Chaya Ganesh博士和Ivan Damgard教授

  他们之前和将来的复制证明工作。


  Giuseppe Ateniese教授,Mohammad Etemad博士和Tang Qiang教授

  时空证明要求证明者P说服验证者V某些外包数据不仅被正确地存储/复制,而且还存储了给定数量的时隙。需要P和V周期性地执行存储证明协议的简单解决方案会导致大量通信开销,而从种子顺序产生所有验证者挑战(以减少存储证明协议调用的数量)可能容易受到影响证明者预先计算或证明外包攻击。为了解决上述挑战,我们将利用最近提出的延迟证明函数,概率证明检查和代数属性来聚合证明,以便验证者可以确信数据确实存储在每个时隙的末尾。并且总的证明大小在时隙数量上仍然是次线性的。

  Dario Fiore教授和Matteo Campanelli博士

  时空证明(PoSt)允许用户显示她已经存储文件一段时间。它们是FileCoin协议的重要组成部分。 PoST的当前结构基于以下范例:迭代复制证明(PoRep)并通过SNARK系统证明所有重复都是正确的。不幸的是,即使应用最先进的通用SNARK也会导致PoST在证明方面表现不切实际。我们的项目旨在通过开发特别适合复制证明及其迭代的新SNARK来获得快速PoST。该方法是一个更大项目的一部分,旨在为“可组合校样”构建框架,其中针对特定计算量身定制的SNARK可通过Commit&Prove方法有效链接。


  Ethan Cecchetti,Ian Miers博士和Ari Juels教授及合作方Ben Fisch

  我们建议通过将深度 - 鲁棒图(DRG)与蝴蝶沙漏函数(BHF)(以及更一般的类中的其他图)组合来构建有效的,可证明安全的PoRep。 DRG是包含长路径的DAG,即使删除了一小部分节点也是如此。BHF是基于DAG的文件转换,其实现类似于PoReps的目标:它们确保经济上合理的对手将仅存储编码文件(例如,使用由对手管理的密钥加密的文件)而不是未编码的版本。 BHF具有两个重要特性:每个输出取决于每个输入,并且通过存储区分点不能显着加速输出的重新计算。但是,对于在块检索中具有任意并行性的对手,它们不提供安全性。我们主要观察的是,通过在多层结构中组合两种类型的图形,可以获得一个文件编码,文件扩展为零,需要一个敌对的文件持有人进行长时间连续计算重建它未能存储一个编码的文件块。通过概括描述的结构,我们的目的是为社区提供一系列实用,易于实现的加密原语,可用于PoReP和其他应用程序。


  Victor Grishchenko博士,Oleg Lebedev,Yuri Syrovetskiy和Nikita Prokopov

  CRDT是一种数据复制/同步技术,不需要中央“主”副本。因此,它通常被认为是分布式/分散式系统的基本构建块。虽然CRDT的核心原则很明确,但理论与实践之间肯定存在差距。我们的研究通过关注以下主题来解决这一差距:1.日志结构(也称为操作)CRDT,可以在基于操作的,基于补丁的和基于状态的操作模式之间“切换”(对应于实时同步,定期同步和完全对帐); 2.通过使用链结构最小化元数据开销,实现类似于基于块的方法的效果,但保留简单的核心模型; 3.正式的ACID 2.0(关联,交换,幂等,分布式),在同一环境中混合不同RDT的框架; 4.统一因果和Merkle结构(CRDT和一个共同的区块链原语)。这项工作分为三层:基于操作的正式数据模型和协议(复制对象表示法),基于RON模型的复制数据类型(RDT),以及(数据库)复制部分。对于每个层,我们提供正式的规范,具有实用复杂性边界的算法和参考实现。总的来说,我们的工作目标是使CRDT成为每个开发人员可以使用的简单通用工具。


  恭喜受助者!我们非常高兴能够与我们的受助者一起提供支持和协作。我们希望您对他们的工作将产生的结果感到兴奋,这将是完全开源的。

  我们向所有申请人致以最诚挚的谢意。所有感兴趣的人都可以关注我们在IPFS,Filecoin(更新)和PL方面的积极研究工作。我们期待您未来的建议和贡献。


  目前的RFP可以在https://github.com/protocol/research-RFPs找到。


最新推荐