Research
Universities and Research Centers working on Tezos
Tezos Labs by Baking Bad: an interactive Tezos developer training program to help onboard more developers to the Tezos ecosystem.
Website: https://baking-bad.org/
Leading provider of blockchain specific education and training. So far, B9lab has trained about 250 new Tezos developers).
Website: https://b9lab.com/
Interactive code school that will onboard new Tezos developers by teaching them to write SmartPy smart contracts.
Website: https://github.com/buidl-labs/crypto-code-school-inside-tezos
By Jacques Garrigue, a professor at the Graduate School of Mathematics of Nagoya University. Throughout this project, Jacques and his team will make OCaml type inference more robust, modular, and verifiable by modularizing the OCaml type checker using constraint-based type inference and certifying it using the Coq proof assistant.
Website: https://www.math.nagoya-u.ac.jp/~garrigue/
Two-year research and development project on possible sharding implementations for Tezos.
Website: https://arxiv.org/abs/1909.08458
Develops educational tools, content, and activities to help a growing number of students learn about programming, and the technologies underpinning Tezos.
Website: http://www.france-ioi.org/
Contract Orchestration for Ocaml, a project to ensure a smooth interaction between OCaml and Michelson.
Website: https://www.uni-freiburg.de/
Website: https://www.iitm.ac.in/
Exploring: 1) potential attacks against on-chain governance in Tezos, including attack development and discovery 2) detection of attacks while they’re happening 3) recovery mechanisms of attacks at the protocol level 4) potential dangers and counter-measures of off-chain governance
Website: https://www.imperial.ac.uk/
Inria establishes dedicated labs and commit research teams to work on cryptography, formal verifi cation, distributed systems, with Tezos and blockchain technology in general.
Website: https://www.inria.fr/en
Conducts research on the current, simple Michelson type-checking to develop static verification techniques for Michelson and higher-level Tezos smart contract languages.
Website: https://www.kyoto-u.ac.jp/en/
The “Learn-OCaml” project aims to increase the usage of OCaml in education and promotes its mainstream adoption.
Website: https://ocaml-sf.org/
OCTO team will build and launch Tezos Academy, a freely available online platform that will teach LIGO smart contract development in a fun and user-friendly manner.
Website: https://www.octo.com/en/
Tezos Kitchen, by Stove Labs, will produce a comprehensive and up-to-date curriculum of content where developers can learn how Tezos can be utilized for a variety of use-cases.
Website: https://stove-labs.com/
Tezos Academy is a fun interactive tutorial developed by OCTO Technology on how to code smart contracts in LIGO.
Website: https://tezosacademy.io/
The first project involved research on the implementation of Tezos for event logging of robots in factory environments. The second project explored tools for the static analysis of smart contracts in Michelson.
Website: https://www.ubi.pt/en/
Collection of worldclass academic, non-profit, and corporate collaborators building open-source hardware for the blockchain ecosystem.
Website: https://www.vdfalliance.org/
Last updated