Tezos奖励智能合约项目的国际拨款
Tezos基金会宣布,它们正在向日本著名的京都大学和来自法国的在线教育家Edukera颁发资助,以开发Tezo智能合约生态系统的各个方面。用于验证合约的工具和新的特定领域合约语言是各个项目的目标。
我们很高兴向@fos_kuis和@Edukera发放资助,以促进#Tezos智能合约生态系统的发展查看下面的公告,了解有关这些项目的更多信息.https://t.co/n4zjlWsE81
– Tezos基金(@TezosFoundation),2019年9月17日
5月,基金会的种子资助了Chorus Mobility通过自动驾驶汽车创建未来的交通网络,本月早些时候,他们为追求智能合约创新的公司提供了额外的14笔赠款,主要是在去中心化融资(DeFi)领域。
教育联系
这些最新的奖项符合Tezos基金会正在进行的一个过程,与研究和教育中心合作,坚持他们明确的目标,即通过寻求“……支持有影响力的研究工作”来适应“……来支持不断变化的环境”。硕士和博士论文到成熟的学术中心和教育计划……推动相关领域的界限,并赋予Tezos社区权力。“
京都大学被泰晤士报高等教育排名视为日本表现最好的大学,它正在寻求创建一种可访问的开发工具,使用目前用于Tezos智能合约的迈克尔逊语来验证智能合约。项目团队将与该地区的另外两个实体–DaiLambda Incorporated和Tezos Japan合作。
Edukera团队的在线门户网站为正式逻辑和数学教学提供资源,他们的任务是继续开发一种名为Archetype的新Tezos智能合约语言,并简要介绍如何更轻松地促进形式验证。
Tezos在今年的巴黎区块链会议上获得了法国经济和财政部长Bruno Le Maire的投票批准,据报道他提出Tezos“……克服了公共链条的已知缺陷……”