After the Foundation’s Technical Advisory Committee (“TAC”) reviewed all submissions and provided recommendations to the Foundation Council for final decisions to be made, legal documents for approved grants were completed and grant funds have started to be issued.
The Foundation is thrilled to support the following projects in this cohort of Tezos ecosystem grants:
- Formal Semantics of Michelson in K, Preparing for Smart Contract Verification by Runtime Verification: Runtime Verification is a company aimed at using runtime verification-based techniques to improve the safety, reliability, and correctness of software systems. The purpose of this grant is to develop a formal semantics and reference implementation of Michelson, a domain-specific language for Tezos smart contracts, in the K Framework. The K language is designed to make language definitions as readable as possible while still ensuring a K semantics has a precise mathematical meaning, and is supported by the tools of the K Framework. The Runtime Verification team will also publish documentation and interact with the wider Tezos developer community as part of this project.
- Misualizer and TezBridge documentation by Catsigma: Built by Tezos developer Catsigma, Misualizer is a tool that will allow users to visualize all possible behaviors of Tezos smart contracts and trace all of their internal transactions to get complete pictures of different entry points. Catsigma is also the developer of TezBridge, a tool that allows users to interact with applications built on Tezos. Catsigma has received an additional grant to improve the documentation of TezBridge with detailed text manuals, screen recorded GIFs for all features, an improved “playground”, and several complete application examples.
- Learn You a Tezos for Much Prosperity by Matthew Smith: This grant will support Matthew Smith, an active member of the Tezos community, with a project to write and publish a book to help onboard more Tezos bakers and smart contract developers to the Tezos ecosystem. The book will be freely available, permissively licensed, and will contain software (MIT licensed) for a remote signer with tests and documentation as well as scripts for securing Ubuntu.
- TezosNotifierBot by the Norn Community: The Norn Community’s TezosNotifierBot is a popular Telegram bot used to monitor various events on the Tezos blockchain, such as transactions, delegations, missing block endorsements, double baking, etc. With this grant, the Norn Community will improve its @TezosNotifierBot for Telegram and expand the bot to support other notification channels, such as Twitter.
- Tezos.help by Klas Harrysson: Tezos.help was built by Klas Harrysson in 2017 to help guide new members into the Tezos community and serve as an active repository of various Tezos resources. As part of this project, Klas will expand the original Tezos.help website into a full-fledged, self-sustaining library of all relevant Tezos ecosystem projects and resources.
- Grafana Data Plugin for Tezos & Signatory, a Remote Signer by ECAD Labs: ECAD Labs is a software & services consultancy that delivers and manages projects in the areas of software development, systems engineering, open-source development and support. ECAD Labs will develop a Grafana data source plugin for Tezos and improve Signatory, a Tezos remote signer, by adding rich policy rules to control which operations get signed or rejected, support for more cloud-based HSMs to provide the Tezos community with a more diverse range of options, and approval groups to allow human approval for key operations (transfers or voting). Documentation and tutorials will also be produced. Read ECAD Labs’ blog post to learn more.
- Growing the ReasonML community by the Reason Association: ReasonML is a web development platform and alternative syntax on top of OCaml, which allows developers to write type-safe web applications with a strong focus on the ReactJS ecosystem; it’s also a language that can be used to write Tezos smart contracts. This grant will help the Reason Association grow the ReasonML community by releasing more effective learning materials and tools, such as a refined documentation platform for existing users and newcomers, and producing Tezos-related content and resources to help encourage more members of the ReasonML community to get involved in the Tezos ecosystem.
- Tezos as a Service (TaaS) by Agile Ventures: Agile Ventures is an in-house software development team and consultancy group that has worked on a number of projects since 2016, most recently Happy Tezos, a Tezos delegation service. TaaS is a service that will provide a WebSocket endpoint to allow application developers to collect real-time information from the Tezos blockchain. Anyone will be able to run their own instance of TaaS or use a free version provided by Agile Ventures, which will offer 20,000 updates per day and 20 concurrent connections.
- TzKT by Baking Bad: Baking Bad is an active Tezos development team. This grant will support the team with its next project, TzKT, a lightweight, API-first, account oriented block explorer for the Tezos blockchain.
- DeFi developer experience by Protofire: Protofire is a blockchain and smart contracts development team that will create an initial version of a liquidity pool smart contract accompanied by a basic client to demonstrate the contract’s functionality and tutorials explaining the implementation and possible variations.
- “If Tezos” – The “If This Then That” (IFTTT) for Tezos by fabr(x): This project by the fabr(x) team will produce a protocol-level trigger and events platform for the Tezos blockchain, thus supporting automated API methods and trigger-based functions for applications. Read fabr(x)’s blog post to learn more.
- Learn-OCaml by the OCaml Software Foundation: OCaml is the functional programming language that is used to implement Tezos. The “Learn-OCaml” project aims to increase the usage of OCaml in education and promotes its mainstream adoption. This grant will help the OCaml Software Foundation improve its current OCaml MOOC (“massive open online course”), develop a new OCaml MOOC with automatically graded exercises, and launch a collaborative project to build an advanced and interactive textbook to more effectively teach functional programming in OCaml to a wider audience.
- TezosSwift DevKit POC App by Ackee: Ackee is a mobile development company located in Prague and Berlin. Ackee will build a Proof-of-Concept iOS application that will demonstrate how to use its TezosSwift library, which is forked from Keefer Taylor’s TezosKit, accompanied with step-by-step tutorials