Tezos Foundation Strengthens Support for Tezos Block Explorers and App Accessibility

The Tezos Foundation is pleased to announce that it has issued grants to Figment Networks, a Tezos baker and the team behind the popular Hubble block explorer, and Papers, the team behind the tezblock block explorer and AirGap wallet. With these grants, both the Figment and Papers teams will help make analysis of the Tezos blockchain more advanced and accessible.

Figment Networks is a professional staking services company and contributor to the Tezos ecosystem. The team built an open-source baking rewards payout tool last October and actively engages with the wider community of Tezos bakers. With this grant, Figment Networks will create and open-source a high-level analytics, alerting, and governance tool for the Tezos ecosystem, with a goal to provide the most useful information for Tezos bakers and delegates.

Papers is an active development team in the Tezos ecosystem and has received an additional grant to further develop and advance its tezblock block explorer. tezblock aims to make collecting data about and analyzing the Tezos blockchain as accessible and user-friendly as possible. The Papers team will continue to improve tezblock by adding more advanced baking and governance data through integration with Tezos Agora, Tezos smart contracts and assets support, and other key metrics and data visualizations. For more information about tezblock, check out Papers’ latest project update here.

Papers is also collaborating with other Tezos development teams to create a wallet interaction standard to help users interact with applications built on Tezos from their browsers. Using this standard, a browser extension will be developed to allow any application developer to easily incorporate a wallet via a generic implementation. Full documentation and tutorials will be published by the Papers team.

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.

Update: Week of 16 September 2019

Dear Tezos community,
Congratulations on the one-year anniversary of Tezos becoming mainnet! We have a lot to look forward to as we stand at the one-year mark of mainnet. The TQuorum Global Summit begins on 29 September and will consist of 3 days of technical workshops, panels, and keynote speeches. There will be a day dedicated to staking and a day dedicated to digital securities. You can get a ticket to one or all of the days here.

Additionally, we were pleased to announce the release of a fundraiser password support tool. This tool aims to help fundraiser contributors with lost fundraiser passwords to attempt to recover their passwords and access the corresponding recommended allocations of Tezos tokens (tez). To use the tool, go to https://recovery.tezos.com/.

Best regards,
Ryan

Grantee Updates

Below are some updates on our grantees and other funded entities from the last week:

Our Activities

In addition to releasing a fundraiser password recovery tool, the Foundation has been working hard to finalize a number of important grants. Specifically, the Foundation was pleased this week to announce 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. Furthermore, this week we issued a new request for proposals (RFP) for Tezos ecosystem grants. We invite all parties eager to contribute to the Tezos project to submit grant applications.

On top of the Foundation’s grantmaking actions this week, the team is incredibly excited to join the rest of the community at the TQuorum Global Summit in New York City from 29 September – 1 October. Ryan Jesperson and Ryan Lackey will both be speaking. Grab your ticket now!

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 included grant allocations for each category in our bi-annual report released in August.

Announcing New RFP for Ecosystem Grants

The Tezos Foundation is excited to issue its next request for proposals (RFP) for Tezos ecosystem grants. This RFP comes after last week’s announcement of the Foundation’s second cohort of ecosystem grantees.

For its next cohort of ecosystem grants, the Foundation will consider and accept proposals targeting the following categories:

  • Applications built using Tezos smart contracts (with special interest in Decentralized Finance, or “DeFi”, and digital securities applications)
  • Tools for Tezos smart contract development (e.g. smart contract testing tools, smart contract templates, etc.)
    • JavaScript libraries for building applications on Tezos and development kits for using such libraries
  • Educational/training resources covering Tezos (e.g. Kauri, CryptoZombies, etc.)
    • Online resources usable for self-training
    • Example applications with detailed tutorials showing technology selection and implementation
  • Marketing and other initiatives to help increase awareness of Tezos and its ecosystem
  • Other proposals for projects targeting categories not listed above that may benefit the Tezos ecosystem

Funding requests must not be greater than the 50,000 USD limit for ecosystem grants to be considered. Software tools to be supported must be made publicly available under an open-source license.

What to expect when submitting a grant application

Prospective applicants should submit grant proposals here.

Although a full review will take 4-6 weeks after the application period closes, if you have any questions about the status of your application, please email [email protected] Our team will get back to you within 24-48 hours with an update on your proposal’s status.

Proposals will be reviewed according to the process outlined below.

  1. All applications must be submitted no later than 18 October 2019 at 23:59 EST.
  2. After all applications are received, we will conduct an initial review to filter out proposals that are not in line with the Foundation’s priorities.
  3. Applications in line with our priorities will be sent to the Technical Advisory Committee for technical review.
  4. Upon completion of the Technical Advisory Committee review, successful applications will be sent to the Tezos Foundation Council for final decisions to be made. Applications that are approved by the Council will receive communication about next steps including due diligence and legal paperwork.
  5. Due diligence will begin and may include checks into prior technical work experience and projects, skills, background, references, etc.
  6. Upon successful clearance of due diligence, legal paperwork will be shared with prospective grantees for review and signatures. Once all legal documentation is completed, funds will be transferred to the approved projects.

Tezos Foundation Releases Fundraiser Password Support Tool

The Tezos Foundation is pleased to announce the release of a fundraiser password support tool. This tool aims to help fundraiser contributors with lost fundraiser passwords attempt to recover their passwords and access the corresponding recommended allocations of Tezos tokens (XTZ).

This fundraiser password support tool is available at https://recovery.tezos.com, including both instructions on how to use the tool and an offline encryption utility.  Please be aware of phishing attempts and take all available safety precautions. We remind you to never enter a fundraiser password, mnemonic, or other private key information unless you absolutely trust the source and can ensure your machine is free of malware.

For more resources and information about how to access a recommended allocation, visit the Get Started page of Tezos.com. Those in need of support may also email [email protected] with any questions.

 

Tezos Foundation Issues Grants for Tezos Smart Contract Projects

The Tezos Foundation is pleased to announce 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 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 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.

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.

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.

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: