Connect with us

The Online Technology

Tezos issues new grants for smart contract ecosystem development


Crypto Currency

Tezos issues new grants for smart contract ecosystem development

[ad_1]

The Tezos Foundation, the overseer of the Tezos blockchain protocol, announced today that it has issued grants to Kyoto University and Edukera, based in Japan and France, respectively, to further advance the Tezos smart contract development ecosystem.

Kyoto University

Kyoto University is the second oldest Japanese university and one of Asia’s leading research institutions with 18 Nobel laureates, more than any other university in Asia. With this grant, Kyoto University has conducted research on the current, simple Michelson type-checking to develop static verification techniques for Michelson and higher-level Tezos smart contract languages.

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, the team will create an accessible development tool for these verification techniques and contribute to the growth of the Tezos ecosystem in Japan and the greater Asia region. Jun Furuse of DaiLambda and Tezos Japan collaborates with Kyoto University on this project.

Edukera

Edukera is an online application to teach formal logic and math. Founded in 2013 by Benoit Rognier and Guillaume Duhamel, the team has a proven ability to provide the public with learning solutions based on the Coq proof assistant.

Real Life. Real News. Real Voices

Help us tell more of the stories that matter

Become a founding member

Led by scientific director Pierre-Yves Strub, an assistant professor at and Ph.D. recipient in Computer Science of École Polytechnique in Paris, France, the Edukera team has formally verified properties of several Tezos smart contracts and begun development of a new Tezos smart contracts language, Archetype.

Archetype is a domain-specific language to develop smart contracts on Tezos, with a specific focus on more easily facilitating formal verification.

[ad_2]

Source link

Subscribe to the newsletter news

We hate SPAM and promise to keep your email address safe

Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

To Top