-
NFL and Crypto’s Growing Entanglement - 7th December 2021
-
Gambling with NFTs and Crypto - 17th June 2021
-
What Exactly is Bitcoin Mining? - 26th April 2021
-
Cryptocurrencies Over The Past Three Years - 12th March 2021
-
Online Crypto Gambling in Canada - 3rd March 2021
-
Some Tips on Crypto - 2nd March 2021
-
Where Does Ripple Fit Into The History of Money? - 2nd March 2021
-
Bitcoin Trading Tips - 4th February 2021
-
The Top Trends In The Fintech Sector In 2021 - 29th December 2020
-
What You Need To Know When Trading Stablecoins - 19th December 2020
Tezos Award International Grants for Smart Contract Projects
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.
We are thrilled to issue grants to @fos_kuis and @Edukera to contribute to the advancement of the #Tezos smart contracts ecosystem! Check out our announcement below to learn more about these projects.https://t.co/n4zjlWsE81
— Tezos Foundation (@TezosFoundation) September 17, 2019
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…”