- The Tezos Foundation has released a series of grants for crypto-related projects
- The beneficiaries of the latest grants are Kyoto University and Edukera, based in Japan and France
On September 17, 2019, the Tezos Foundation announced that it had issued a grant to Kyoto University based in Japan. This grant is projected to advance the Tezos smart contract development ecosystem further.
With this grant, Kyoto University has conducted research on the latest, simple Michelson type-checking to advance static verification techniques for Michelson and higher-level Tezos smart contract languages.
The Kyoto University team would create an accessible development tool for these verification techniques and contribute to the development of the Tezos ecosystem in Japan and the entire Asia region.
They would be led by Atsushi Igarashi, Ph.D., a professor at the Graduate School of Informatics, and Kohei Suenaga, Ph.D., an associate professor at the Graduate School of Informatics. Jun Furuse of DaiLambda and Tezos Japan would also be involved in the Kyoto University project.
The main aim of this project is to boost decentralized development and robust participation.
Tezos Featured in Crypto-related Projects in France
On the same day, the Foundation issued a similar grant to Edukera based in France, an online application to teach formal logic and math.
Started in 2013 by Benoit Rognier and Guillaume Duhamel, the team has a proven capacity to provide the public with learning solutions based on the Coq proof assistant.
In fact, the Edukera team has previously verified properties of several Tezos smart contracts and begun development of a new Tezos smart contracts language, Archetype. An archetype is a domain-specific language to develop smart contracts on Tezos, with a detailed emphasis on more easily facilitating formal verification.
The Edukera team would be led by scientific director Pierre-Yves Strub, an assistant professor at and Ph.D. recipient in Computer Science of École Polytechnique in Paris.
Tezos Foundation’s Core Mission
The Tezos Foundation’s main focus is to support the long-term success of the Tezos protocol and ecosystem. They plan to achieve this by funding projects in the Tezos ecosystem. These projects include the ones focused on the development of applications created on Tezos smart contracts, various tools for developers who use Tezos, Tezos oriented training projects, block explorers, and marketing projects that would place Tezos on the map in the crypto space.
Earlier last week, the Foundation announced it had released 14 new grants to projects pursuing the advancement of the Tezos project.
Recipient projects prioritized developments such as applications built using Tezos smart contracts, Tezos block explorers, Tezos-focused training resources, and marketing activities that increase awareness of the ecosystem.