Tezos基金会很高兴宣布他们向4家顶级的研究机构拨款,它们分别是:Cornell University (Emin Gün Sirer),the University of Beira Interior, Decet Consulting, France-IOI.

 

Cornell University的团队由Initiative for Cryptocurrencies and Smart Contracts的副教授以及联合主任Emin Gün Sirer率领,他们将开始为期两年对于区块链协议中的分片技术以及一致性算法的研究工作。分片技术作为区块链中潜在的一个扩展方案,可以将一部分的交易拆分,由各个验证者分别验证。他们的研究成果将直接作用于Tezos,Cornell的团队将会协助开发相关的Tezos协议。

The University of Beira Interior,是一家总部设立于葡萄牙的研究机构。他们将在Tezos基金会的赞助之下研发两个项目。第一个项目是有关于两份硕士论文,关于工厂环境下实施Tezos对于机器人事件的记录。第二个项目是有关于两份博士论文,将探索在程序语言(比如Michelson)中对于智能合约静态分析的工具,以及形式验证与通过类似Why3和Coq等工具进行机器检验的智能合约。

Decentralized Et Consulting, LLC. (“Decet”)是于2017年由伊利诺伊大学工程学院Gordon Speagle创立的一个研究机构,他们在积极研究权力下放的新方式,并为这些机会提供区块链的解决方案。通过基金会赞助的两年拨款,Decet团队将为Tezos生态系统构建一个强健、清晰,可以访问的在线开发人员资料库。该资料库将会包括技术规范、教程和指导手册,以供开发人员和非开发人员更好地了解Tezos并知道如何在上面创作。

为了增强Tezos社区的力量,France-IOI会和the Institut Mines-Télécom, the Blaise Pascal Foundation等团队进行合作,推出面向教育的工具、内容、活动,帮助越来越多的学生了解编程、高级算法,还有Tezos的底层技术。Decet和France-IOI的拨款将同时支持人们对于Tezos开发的教育和培训。

上述的拨款是基金会在推动Tezos协议与生态的努力中支持项目研发与教育的承诺。基金会将于本月晚些时候召开一个正式会议,探讨其他的研究赞助的建议。需要立即考虑赞助的研究机构可以向我们发出申请。

 

Tezos基金会的核心任务是协助Tezos协议与生态长期的发展与成功。通过赞助科学家、研究人员、企业家、和项目爱好者,基金会鼓励项目去中心化开展,全球共同参与。所有能够为Tezos做出贡献的机构请递交你们的拨款建议,欢迎每一个人为Tezos贡献出力量。