山寨币新闻：Tezos基金会向京都大学和Edukera发放补助金

• Tezos基金会已经发布了一系列与加密货币相关项目的资助
• 最新资助的受益者是京都大学和Edukera，总部设在日本和法国

在2019年9月17日，Tezos基金会宣布向日本京都大学发放补助金。该赠款预计将进一步推进Tezos智能合约开发生态系统。

通过这项拨款，京都大学对最新的，简单的迈克尔逊式检查进行了研究，以推进迈克尔逊和更高级别的Tezos智能合约语言的静态验证技术。

京都大学团队将为这些验证技术创建一个可访问的开发工具，并为日本和整个亚洲地区的Tezos生态系统的发展做出贡献。

他们将由信息学研究生院教授Atsushi Igarashi博士和信息学研究生院副教授Kohei Suenaga博士领导。 DaiLambda和Tezos Japan的Jun Furuse也将参与京都大学项目。

该项目的主要目的是促进去中心化发展和强有力的参与。

Tezos在法国的加密货币相关项目中出现

同一天，基金会向法国的Edukera发放了类似的资助，这是一个教授形式逻辑和数学的在线应用程序。

该团队由Benoit Rognier和Guillaume Duhamel于2013年创立，具有基于Coq证明助手为公众提供学习解决方案的能力。

事实上，Edukera团队之前已经验证了几个Tezos智能合约的属性，并开始开发新的Tezos智能合约语言Archetype。原型是一种特定于域的语言，用于在Tezos上开发智能合约，并详细强调更容易促进形式验证。

Edukera团队将由科学主任Pierre-Yves Strub领导，他是博士助理教授和博士。巴黎ÉcolePolytechnique计算机科学系的获得者。

Tezos基金会的核心使命

Tezos基金会的主要重点是支持Tezos协议和生态系统的长期成功。他们计划通过资助Tezos生态系统中的项目来实现这一目标。这些项目包括专注于开发在Tezos智能合约上创建的应用程序的项目，为使用Tezos的开发人员提供的各种工具，面向Tezos的培训项目，块浏览器以及将Tezos放置在加密货币空间地图上的营销项目。

上周早些时候，基金会宣布已经为推进Tezos项目的项目发布了14项新的拨款。

收件人项目优先考虑开发，例如使用Tezos智能合约构建的应用程序，Tezos块浏览器，以Tezos为中心的培训资源以及提高生态系统意识的营销活动。

帖子山寨币新闻：Tezos基金会向京都大学和Edukera发放补助金首先出现在区块链报告上。