Announcing Second Cohort of Tezos Ecosystem Grants

The Tezos Foundation is pleased to announce that 14 new grants have been issued to projects submitted in response to its most recent request for proposals (RFP).

The Foundation considered proposals targeting the following categories as part of this RFP:

  • Applications built using Tezos smart contracts (with special interest in Decentralized Finance or “DeFi” applications)
  • Tezos block explorers and/or innovative related tools
  • Tools for Tezos smart contract development (e.g. smart contract testing tools, etc.)
  • Educational/training resources covering Tezos (e.g. Kauri, CryptoZombies, etc.)
  • Marketing and other initiatives to help increase awareness of Tezos and its ecosystem

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

The Foundation is excited to see these projects contribute to the advancement of the Tezos project and grow the larger blockchain ecosystem. Thank you to all 38 applicants who worked with us throughout the review process. The next Ecosystem Grants RFP period will open on 18 September 2019. Areas of interest will be announced when the RFP is issued.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. As part of that mission, the Foundation’s Ecosystem Grants Program is designed to address key short and medium-term priorities in an efficient and agile manner. Funding projects created by a diverse set of teams and developers encourages decentralized development and robust participation.

Tezos Foundation Supports New Satoshi’s Treasure Hunt and Issues Grant to Stove Labs to Create Non-Fungible Token (NFT) Standard for Implementation

The Tezos Foundation is excited to announce its partnership with Satoshi’s Treasure and the launch of the Tezos Satoshi’s Treasure Hunt, a multiplayer game of skill where people can solve difficult puzzles to receive tez (XTZ) from a prize pool of 1 million tez.

As the Satoshi’s Treasure team explains in its blog post, the Tezos Hunt is built on top of a set of smart contracts, allowing hunters to be immediately rewarded, in tez, for using their problem-solving skills to beat puzzles. The Hunt will encourage technical problem solving and the building of new tooling which will ultimately benefit the entire Tezos community.

While the main Hunt will officially launch in the coming months, those who are eager to start winning tez can play the Satoshi’s Treasure mini-hunt, which has a prize of 5,000 tez and will begin on 10 September 2019. For updates, keep an eye on the Satoshi’s Treasure Twitter account and website.

We are also excited to announce that we’ve issued a grant to Stove Labs to build a non-fungible token (NFT) standard as well as support the implementation of the Hunt. Stove Labs, led by Tezos developer Matej Sima, develops Granary, a Tezos smart contract and application development toolkit, and is involved in the development of The Marigold Project’s LIGO smart contract language.

To support the Hunt, Stove Labs is working closely with TQ Tezos and the Satoshi’s Treasure team to deliver the necessary infrastructure and smart contracts. Clues for the Hunt will be set up as NFTs which can be traded, bundled, and cashed-in based on the rules of the game itself. This will allow for a transparent progression of the game that can be tracked on-chain.

NFTs are unique, non-interchangeable digital assets. For example, they may be used to represent digital or physical pieces of art, collectibles, or real estate properties. Stove Labs’ NFT standard will complement the token standard for fungible assets being developed by Serokell, Nomadic Labs, and TQ Tezos. As part of the grant, the Stove Labs team will produce documentation and other educational materials, host workshops, and present at meetups and hackathons to promote its work.

Happy Hunting!

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects created by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

Of note: Eligibility to participate is open to any person who has not worked for an entity that has received funding from the Tezos Foundation. This will help to include new developers in the Tezos ecosystem. The Tezos Foundation, Satoshi’s Treasure team, Stove Labs, and TQ Tezos employees are excluded as well.

Cryptoeconomics Lab Receives Grant to Develop Plasma on Tezos

The Tezos Foundation is thrilled to announce that Cryptoeconomics Lab, based in Tokyo, Japan, has received a grant to develop a Plasma layer on Tezos. Plasma is a layer-2 scaling technique to increase transaction throughput on blockchains.

Led by Shogo Ochiai, the Cryptoeconomics Lab team will implement Plasma according to the Plasma Group’s Generalized Plasma Specification and conduct an audit of the implementation before its release. This implementation will be integrated to Cryptoeconomic Labs’ Plasma-Rust framework. Furthermore, Cryptoeconomics Lab will develop an Android wallet application and integrate Tezos to its application development toolset, Plasma Chamber, for its Plasma layer on Tezos.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects created by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

camlCase Receives Grant to Develop Decentralized Exchange Protocol on Tezos

The Tezos Foundation is pleased to announce that camlCase has been awarded a grant to support its development of a decentralized exchange protocol on the Tezos blockchain. The protocol being developed by camlCase was inspired by Uniswap, a decentralized exchange protocol that enables automated asset exchange.

With this grant, the camlCase team will complete the development of its decentralized exchange protocol and produce documentation and other educational content about it. The protocol will support a fungible asset standard proposed by Serokell, Nomadic Labs, and TQ Tezos.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects created by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

Tezos Foundation releases first Biannual Update

The Tezos Foundation is proud to release its first Biannual Update. This report provides an overview of Tezos Foundation activities from the betanet launch, when a genesis block was proposed on 30 June 2018, through the end of July 2019.

Download the PDF here:

 

Update: Week of 29 July 2019

Dear Tezos community,

There was a lot of activity this week within the Tezos ecosystem. We were excited to announce several grants that will improve the Tezos development experience to make it easier to build applications on Tezos. Additionally, on the developer engagement front — B9lab launched an updated version of its Tezos 101 course with new content. The course is completely free and 100% online. This is also a good time to remind everyone that registration for B9lab’s Tezos Blockstars program is still open. The Blockstars Program features a full Tezos Developer Course that is more intensive than the 101 course and will teach participants LIGO and SmartPy. We are sponsoring 500 developers to take this course for free — sign up here for a chance at a free seat.

In more news of strong developer engagement — IDEO CoLab and TQ Tezos hosted an online developer workshop with participation from Tezos developers Matej of Stove Labs and Vishakh of Cryptonomic. We also announced that the team behind the Truffle Suite received a grant to integrate the Tezos protocol and accompanying smart contract languages with their development environment. Lastly — we are excited for a Tezos-based blockchain development training camp happening next month in Tokyo. I can’t wait to see what they build!

Shipping began for the first wave of Tezos-engraved special edition Ledger Nano S hardware wallets. Included in this round are all of the fundraiser contributors who completed the activation process and interacted with the Ledger gift smart contract by 23:59 on 15 July. We’re very excited for people to begin receiving their devices! Remember that we’ll be checking the smart contract interactions on a monthly basis, so there’s still time to claim a special edition Nano S. If you need to see the instructions, you can find them in our original blog post.

Best regards,
Ryan

Grantees & Funded Entities

Here are some updates from our grantees and funded entities this week:

 

Our Activities

The Foundation has been hard at work this week. A few highlights that we can share:

  • Work continues on our first biannual report to provide more transparency into the Foundation’s finances and operations and to review of how far we have come so far this year. This will be released next week.
  • The Technical Advisory Committee (TAC) concluded its review of the latest batch of ecosystem grant proposals. The Foundation Council will soon vote on over 30 new proposals.
  • The first batch of Tezos-engraved Ledger Nano S hardware wallets were shipped by Ledger. Fundraiser contributors can still interact with the giveaway smart contract to be eligible to receive free Ledger Nano S devices!

 

FAQs

Why doesn’t the Foundation release individual amounts for grants?

We strive to be as transparent in our actions as possible but if we released individual amounts and terms of every grant, we would lose leverage in attracting future grant proposals. If the terms of our grants are always made public, we will not be able to efficiently and effectively disperse funds. More importantly, given the sensitive nature of money, we respect our grantees’ right to keep their finances private. We will include grant allocations for each category in our upcoming bi-annual report.

Truffle Suite Receives Grant to Integrate Tezos

Today, the Tezos Foundation is proud to announce it has issued a grant to the team behind Truffle Suite, a world class development environment, to help developers more easily build on Tezos.

The collaboration, which will broaden Truffle’s scope by integrating Truffle tools with Tezos protocols and languages, will make developing Tezos applications easier by lowering the barrier to entry and providing Tezos developers with a set of industry-leading tools in one accessible location.

Truffle Suite is designed to manage blockchain developers’ entire workflow, from smart contracts development to front-end applications. Launched in 2015 within ConsenSys, Truffle is one of the most popular sets of developer tools in the Ethereum ecosystem based on GitHub stars, earning over three million downloads across all tools in the suite. While Truffle currently supports multiple high-level languages, Tezos is the first public, non-EVM (Ethereum Virtual Machine) smart contract platform to be supported in its suite of tools.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects imagined by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

To learn more about the integration and what this means for the Tezos ecosystem, visit the TQ Tezos Blog

Stephen Andrews’ TezTech Labs Receives Additional Grant for Development

The Tezos Foundation is excited to announce that TezTech Labs, led by Tezos developer Stephen Andrews, has received a grant to continue to build and enhance its various Tezos tools and products. With this grant, the team will launch new projects such as Sona, a decentralized identity protocol for Tezos, and Velos, an off-chain scaling technique for Tezos. TezTech will also continue to host Tezos node infrastructure for public use, expand its core team, and improve its existing projects. This is the second grant that the Foundation has issued to TezTech.

Stephen is a widely respected Tezos developer and contributor to the ecosystem. As the lead developer of the popular Tezos wallet, TezBox, and development tools such as eztz.js, fi, and TezRPC, TezTech builds and maintains a wide range of projects to support the Tezos ecosystem.

Stephen and the TezTech team develop and maintain other projects including TezVote, an on-chain vote-signaling tool, and BakeChain, a service that allows its users to bake (validate) without having to install and manage a full node. Both of these tools will be further improved with this grant. Additionally, the TezTech team will collaborate and interact with the larger Tezos developer community in an effort to streamline various workflows and contribute to the overall advancement of the Tezos project.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects imagined by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

Tezos Foundation Issues Grant to Tplus Project

The Tezos Foundation is thrilled to announce that Johann Tanzer, the lead developer of Tplus, has received a grant to continue to build a Tezos development environment to help further improve the experience of developing on Tezos.

Tplus is a collection of GUI (graphical user interface) and CLI (command-line interface) tools to make it easier to manage Tezos nodes for development and production use. It is fully open-source and manages the installation of language compilers and other development tools to make it easier for developers to create sandbox environments and test and deploy their smart contracts. The Tplus source code is available here.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects imagined by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

Read Johann’s blog post to learn more about the Tplus project.

Simple Staking Receives Grant to Build Tezos Node in Rust

The Tezos Foundation is thrilled to announce that Simple Staking, led by Juraj Selep, has received a grant to implement a secure, trustworthy, and open-source Tezos node in the Rust programming language. Increasing the diversity of Tezos nodes will help contribute to the formation of a more robust, accessible, and decentralized network.

Rust is a popular programming language with a focus on safety. For the third year in a row, Rust maintained its position as the most loved programming language in Stack Overflow’s annual developer survey, which polled over 62,000 developers. The Simple Staking team will collaborate with Nomadic Labs and other Tezos developers for this project, and will also attend conferences and events to increase awareness and adoption of Tezos in the Rust and larger blockchain development communities.

The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects imagined by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.

Read Simple Staking’s blog post to learn more.