The Tezos Foundation have announced they are awarding grants to Japan’s prestigious Kyoto University and online educator Edukera from France to develop aspects of Tezo’s smart contract ecosystem. Tools for verification of contracts and a new domain-specific contract language are the goals of the respective projects.
In May, The Foundation seed funded Chorus Mobility to create futuristic transportation networks via autonomous vehicles and earlier this month they provided an additional 14 grants to companies pursuing smart contract innovation, primarily in the area of Decentralised Finance (DeFi).
Educational Connection
These latest awards fit within an on-going process by The Tezos Foundation to partner with research and educational centres by adhering to their clearly stated goal of adapting “…to an ever-changing environment” by seeking to “…support impactful research efforts, from master’s and doctoral theses to full-fledged academic centres and educational initiatives…to push the boundaries in relevant fields and empower the Tezos community.”
Kyoto University, which is regarded as the top performing university in Japan by the Times Higher Education rankings, is looking to create an accessible development tool for verifying smart contracts using the Michelson language presently used for Tezos smart contracts. The project team will work in collaboration with two other entities in the region – DaiLambda Incorporated and Tezos Japan.
The Edukera team, whose online portal provides resources for the teaching of formal logic and math, are tasked with continuing their development of a new Tezos smart contract language known as Archetype with a brief to focus on more easily facilitating formal verification.
Tezos received a vote of approval from French Minister of the Economy and Finance, Bruno Le Maire, at this years Paris Blockchain Conference when he reportedly suggested that Tezos “…overcomes the known flaws of the public chain…”
