官方:Filecoin基金会发布2021开发者补助金名单

该项目的任务是使“证明即程序”通信成为主流介于形式数学和实际计算之间。通过使用证明，Yatima 的目标是使软件更安全，并使软件更易于数学。

软件正确性的正式证明与分散的网络特别相关，在这种情况下，事后纠正错误可能很困难或代价高昂。

这笔赠款还将为 Filecoin 生态系统开发人员提供一套强大的工具，以发布有关其软件正确性的正式证明。

联合资助：FilMarket

一个开发人员仪表板，将提供明确的存储定价，帮助用户针对存储需求做出正确的决定。

小额赠款：HeatDAO

HeatDAO 的目标是通过将舞者、表演者、运动员和任何人加入 Metaverse，在 IRL 和 URL 之间架起桥梁的下一步。

这将使表演者能够捕捉他们的动作，并为元宇宙中的协作、货币化和出处打开大门。

通过 Microgrant，HeatDAO 旨在改进其 IPFS 集成、运动数据存储框架、运动数据对基于区块链的虚拟世界的可调用性、在市场上显示文件的速度以及解决虚拟世界之间的跨平台互操作性。

我们希望您发现这些项目和我们一样有趣，并且它们有助于激发创新想法，这些创新将通过 2022 年及以后的 DevGrant 提交来扩展 Filecoin 生态系统！