Tezos: The Fourth Cohort Of Tezos Ecosystem Grants, Dalphanet Was launched, China’s Blockchain Infrastructure To Extend Global Reach With Tezos, Measuring Test Coverage, Q&A With Tezos Domains Founder Andrew Paulicek
Biweekly update 20th July — 3rd August
Welcome to our new biweekly update on Tezos! As always, we will cover major news and updates that happened within the Tezos community and ecosystem. Let’s recall some of the key takeaways.
To begin with, the fourth cohort of Tezos Ecosystem Grants was distributed. The Tezos ecosystem has grown tremendously since TF kicked-off its ecosystem grants program. As a result, there has been a significant increase in grant applications with each successive cohort. This time, over 120 grant proposals were submitted to this Request for Proposals (RFP), which focused on infrastructure/tooling, educational resources, and end-user products. Among the grantees are Tezos Kitchen by Stove Labs, Tezos Labs by Baking Bad, Tezos Domains, and a lot more. Furthermore, China’s state-backed Blockchain-based Service Network (BSN) has integrated six public chains, including Tezos, NEO, Nervos, EOS, IRISnet, and Ethereum.
There is always a lot to cover on the development progress of Tezos teams, grantees, and operational entities. Nomadic Labs and Metastate launched Dalphanet, a test network dedicated to testing new features that may be implemented to the Tezos protocol. You should also check a recent article published by Metastate team, where they share specific details of a new release of the Tezos shell, which includes a protocol environment upgrade. Moreover, Claude Barde and the Taquito team created a testnet faucet for FA1.2 tokens. Runtime Verification Inc. announced its plans to develop a formal verification framework for Michelson. Tezsure released the new version of Bundle-react, allowing developers to compile SmartPy code locally, deploy in the Testnet/Local Tezos node and build dapps with Built-in React Client. Next, Baking Bad released an extensive research report with insights into the makeup and distribution of nodes across the Tezos network. camlCase released Magma, their mobile wallet for Tezos, on both Android and iOS.
Tezos community is exceptionally vivid in chats and social networks — community efforts and initiatives widely support its growth. Tezos Foundation caught up with Agile Ventures founder Andrew Paulicek to discuss Agile’s work on Tezos Domains, what makes blockchain name services valuable, and the other projects he and his team are working on. Also, the Foundation team explored some of the Tezos training courses and resources that are available to the community and the broader public and created a great blog post to make sure that all community members are aware of the exciting offerings available to them. Tezos Commons organized an AMA-session with Juraj Selep of SimpleStaking to discuss TezEdge, a Tezos node in the Rust programming language. TC also hosted TezTalks Live #8 featuring Andreas Gassmann from AirGap. Another exciting milestone for Tezos community — Tezos Ukraine announced the opening of Tezos Hub in Ukraine, a creative space established to attract talent and develop innovative ideas related to Tezos. Check the update below for more.
Keep yourself informed with Paradigm, and stay safe!
There have been a number of scams circulating recently in the Tezos ecosystem, many of which involve using malicious domains including but not limited to: tezosweb[.]info, tezosweb[.]org, tezbox[.]io, tezbos[.]net, tezoswebwallet[.]com. If you identify a scam or scam domain, you should immediately report it to firstname.lastname@example.org.
For detailed GitLab developer activity click here.
Dalphanet was successfully launched as a test network dedicated to testing new features from all developers involved in submitting the upcoming protocol proposal. To participate in Dalphanet, please check the article above for more details. Dalphanet contains both Sapling & baking accounts. Please keep in mind that this is not a protocol that is planned to inject. Its sole purpose is to test some of the new features from developers involved in the Tezos ecosystem. Some features are not final, in particular, the gas costs. It is important to note that the dalpha-release branch is an alpha release of the new protocol environment. It is not an actual release, not even a release candidate! Hence it should not be used to run Mainnet.
- Also read — Protocol Environment Upgrade
In this article, they are sharing the details of a new release of the Tezos shell, which includes a protocol environment upgrade. In spite of it not being a change in the Tezos protocol, they consider it indispensable for the community to know about, due to its close connection to some of the protocol features under exploration, such as the BLS12–381 elliptic curve integration or the Sapling integration.
The protocol environment V1 entails many improvements, including updates to OCaml, the Lwt library, and the Keccak and SHA3 additions from HACL*, as well as lib_sapling. Additionally, support for multiple environment versions (V0 and V1) in the Tezos shell has been enabled. Finally, in order to stay up-to-date with the aforementioned extensions, they recommend all Tezos node operators to continue following the regular shell release schedule.
Cryptonomic kept up its frenetic pace of development on its open-source Tezos projects. The development and deployment stack they have built now allows to quickly build and iterate on new projects. As a result, they are adding Galleon Mobile, Galleon Desktop 1.x, Periscope, and Harpoon to the Tezos ecosystem. This stack has seen increased usage this year through organic adoption and multiple hackathon projects and has, therefore, become even more robust and featureful.
As the broader ecosystem expands to multi-chain applications such as stablecoins and oracle systems, they have been building in additional support for cross-chain app development. Soon, they expect to greatly simplify building Tezos-centric apps which can refer to data and contracts on other major blockchain platforms.
- Measuring test coverage by Nomadic Labs
As they have discussed earlier in their blog, notably in the post on regression testing, testing is an important complement to formal verification. A critical task when testing is to ensure a high degree on test coverage. In this post it is discussed how they measure test coverage of the OCaml implementation of tezos using bisect_ppx, and their work towards ensuring that the Michelson interpreter of the node is fully covered by tests.
You can Compile SmartPy code locally, Deploy in the Testnet/Local tezos node & Build Dapps with Built-in React Client and Interact with them with ConseilJs.
Now it’s even more handy to track baker activity, and the baking rights heatmap will help you easily find the best time interval for bakery maintenance.
Claude Barde built this faucet with the support of Taquito. The faucet gives away 100 free tokens and can be used by devs who want to add support for FA1.2 tokens to their dapps or experiment with them.
Check an article on how decentralized is Tezos blockchain: continents, countries, regions, hosting providers, public nodes, and network topology.
During the scan the researchers have discovered:
- 6298 addresses in total
- 1679 presumably operating nodes
- 203 public nodes
Learn more on this and a lot more findings in the article by Tezos Baking Bad!
Tezos Blockchain indexers and API are important for all kinds of blockchain-based decentralized applications (DAPPs) and services, such as block explorer, wallet, exchange, etc. In this video, you find a guide on how to set up your own Tezos blockchain indexer and Tezos API within just 15 minutes using docker to get full control access to data and do not depend on third-party services. They review the TzKT indexer by Baking Bad.
- MIDL.dev released a suite of open-source tools that allows users to create a Tezos validator setup in the cloud in just one step.
- Runtime Verification Inc. announced its plans to develop a formal verification framework for Michelson.
- Serokell released a piece on how to achieve the correctness of Tezos smart contracts with Haskell newtypes.
- The TezEdge team released a second article discussing the Tezos mempool and its Tezos node in Rust.
- Tezos India Foundation published an article explaining how to use Tezster-CLI.
- Tezos India Foundation published a blog post on creating a shopping Dapp with React.js and Thanos Wallet.
- Tezos Nodes released a new version of its iOS and Android apps that help stakeholders more effectively evaluate Tezos bakers.
- TQ Tezos hosted the latest event in the TQuorum series featuring a discussion on lightweight zero knowledge proofs with Drew Taylor from Chain of Insight.
- Edukera published an explainer on how to verify an existing contract with Archetype.
- Elevated Returns announced that it has received a Digital Assets Exchange License from Thailand’s SEC.
- Finoa announced support for Tezos custody and staking.
- Nomadic Labs released version 7.3 of the Tezos node, fixing several security issues related to the peer-to-peer layer.
- Tezos Commons hosted an AMA with Juraj Selep of SimpleStaking to discuss TezEdge, a Tezos node in the Rust programming language.
- TQ Tezos hosted the second TQuorum session featuring a demo of Magma mobile wallet from CamlCase founder Tyler Clark.
News and Social Encounters
Last month demonstrated a lot of momentum from all sorts of builders across the Tezos ecosystem and it seems we all are inching closer to the next Tezos protocol proposal which will include key features to evolve the protocol. Check the update for key July highlights and planned events!
Tezos Foundation caught up with Agile Ventures founder Andrew Paulicek to discuss Agile’s work on Tezos Domains, what makes blockchain name services valuable, and the other projects he and his team are working on.
Q: What is a blockchain name service, and how does it work?
A: The name service’s primary function is to translate a meaningful and user-friendly alias to a Tezos address and vice versa. This translation is globally consistent so that all participants on the blockchain see the same addresses for a given alias at any given block.
An example of one such alias is ‘alice.tez’. Alice bought it from the central registrar managing tez and then assigned it the address of her wallet. When she sends money to Bob, he will see ‘alice.tez’ in his wallet’s received transactions, because Alice has also set up a reverse record mapping her address back to ‘alice.tez’.
In the sixth episode of TezTalks Radio, hosts Brian Li and William McKenzie sit down with Rob Witoff of Polychain Labs and discuss broken incentives within open source, what the Tezos Foundation technical advisory council has been up to, and more. TezTalks Radio is a podcast series focused on diving deeper into the stories and motivations of the builders and members of the Tezos ecosystem. Created and funded by Tezos Commons, TezTalks Radio seeks to deliver news and updates across the Tezos Ecosystem and humanize the people behind the Tezos Ecosystem.
- A final overview covering the organizations that help make up the ecosystem and the different libraries available for building on the Tezos blockchain by Tezos Ukraine
It is located in the heart of first Ukrainian innovation park — UNIT.city, home for local unicorns and 150 innovative Ukrainian and foreign companies. Read more in their recent blogpost!
An all-encompassing recap of community updates in July.
Tezos Foundation explored some of the Tezos training courses and resources that are available to the community and broader public. These resources are essential to the continued growth of the Tezos ecosystem, and they want to make sure that all community members are aware of the exciting offerings available to them.
TezTalks Live is the virtual meetup series that is streamed in real time with the actors of Tezos ecosystem. TezTalks Radio is a video podcast that finds the “why” behind the latest Tezos news and discover the stories behind the people of Tezos. See more on the website.
- 10th August 2020 — TezTalks Radio #7 — Community Update
- 13th August 2020 — TezTalks Live #9 — Elevated Returns
- 24th August 2020 — TezTalks Radio #8 — Cryptonomic
- 27th August 2020 — TezTalks Live #10 — Payzos
BitGo, the leader in digital asset financial services, announces enterprise-grade support for the Tezos blockchain’s native cryptocurrency, XTZ in BitGo’s hot wallets and qualified custody. Institutional investors who hold XTZ with BitGo will also be able to generate block rewards through staking. Launched last year, BitGo’s service generates staking rewards, while client assets remain in secure, insured cold storage. The new offering with XTZ is available for both hot wallets and cold storage. XTZ support will be available in BitGo’s web user interface and via the application programming interface to all of BitGo’s enterprise customers. Additionally, BitGo is working to support Tezos-based tokens, which will be announced in the coming months.
Partnerships, integrations and team members
- China’s state-backed Blockchain-based Service Network (BSN) has integrated with six public chains including Tezos, NEO, Nervos, EOS, IRISnet and Ethereum.
- Developers on these six blockchains will be able to build dapps and run nodes using data storage and bandwidth from BSN’s overseas data centers starting Aug 10.
- This is part of China’s plan to be the one and only infrastructure provider for blockchain firms around the world.
- Global users will have access to China’s enterprise chains and financial data via the network’s cross-chain structure and partnership with China UnionPay.
Over 120 grant proposals were submitted to this Request for Proposals (RFP), which focused on infrastructure/tooling, educational resources, and end-user products.
- COCTI (Certifiable OCaml Type Inference) 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.
- Tezos Kitchen by Stove Labs: Stove Labs is an active Tezos development team. This project 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.
- Tezos Labs by Baking Bad: Baking Bad is an active Tezos development team that builds a variety of Tezos products such as BetterCallDev, a smart contract explorer, and TzKT, an advanced block explorer, indexer, and API.
- Anyblock Analytics is a Germany-based blockchain solutions provider that offers methods, tools, and data to integrate business processes with blockchain technology.
- Coinkit Tipbot by Blockcurators GmbH: Blockcurators GmbH operates CoinKit, an on-chain tipbot that can be used across a variety of platforms such as Twitter, Discord, Slack, and Telegram.
- Data Hub by Figment Networks: This project integrates Tezos into Figment’s Data Hub to provide developers easier access to Tezos blockchain data without having to run their own nodes.
- Enterprise Java Connectivity Toolbox by NEOFACTO: In order to help make Tezos more accessible to enterprises in the financial services industry, the NEOFACTO team will build an enterprise Java connectivity toolbox for Tezos and ensure that it is prepared to be actively maintained in the future.
- Formal Verification Framework for Michelson by Runtime Verification: Runtime Verification designs formal models for high-value application domains, then uses the models to develop domain-specific products and services focused on correctness and security.
- MIDL.dev is a staking services company that is building an open-source suite of Tezos infrastructure tools that will make it easier for community members to implement complete baking infrastructure in a replicable and secure manner.
- Payzos is a set of plugins for different e-commerce platforms that lets users set up a Tezos-as-a-payment-method for their online stores.
- sol2ligo Transpiler by Madfish Solutions: The sol2ligo Transpiler will make it easier for developers to migrate smart contracts from Ethereum to Tezos.
- Tezos Domains by Agile Ventures: Following its research phase of Tezos Domains (see its series of Tezos Agora posts here), the Agile Ventures team will implement a functional prototype of a Tezos Domains dApp and smart contracts on a Tezos testnet with a sample wallet integration and a GraphQL endpoint allowing clients to query the data within Tezos Domains with ease.
- Tezos Reward Distributor is one of the most widely used baking rewards payout tools for Tezos bakers. It helps bakers to reduce the stress of being a baker by simplifying and automating the task of distributing baking rewards to their delegators.
- TezQuery by Pierre Genevès: Throughout this project, Pierre and his team will build a query engine that evaluates not only SQL queries but also powerful (recursive) queries on the graph structure of the Tezos blockchain, making it possible to conduct more advanced analyses of transactions that take place on Tezos.
- Verification and Testing Infrastructure for Tezos Contracts by Hakjoo Oh: With this grant, Hakjoo and his team will build a fully automated tool for verifying and testing the correctness of Tezos smart contracts.
- PeerPatron by Guillem Rieu: PeerPatron is a Tezos-based crowdfunding and patronage platform that uses smart contracts to provide a decentralized alternative to platforms like Patreon.
- Universities for E-Voting by Electis: this grant will help the Electis team to continue with its Tezos-based e-voting application and support its community of over 20 universities from around the world to contribute to the project.
- Hicetnunc by Rafael Lima: Throughout this project, Rafael will build an application on Tezos geared towards users in the e-sports community that will allow them to take part in crowdfunding and crowdsourcing initiatives by creating campaigns to support goals, events, and championships.
Social media metrics
Tezos community continues to grow. There is a constant increase in the number of subscribers of Tezos social media channels.
The graph above shows the dynamics of changes in the number of Tezos Facebook likes, Reddit subscribers, and Twitter followers. The information is taken from Coingecko.com.
The Tezos Foundation is committed to supporting organizations that contribute to the growth of the Tezos community and ecosystem. They are especially interested in supporting regional organizations and university-based groups focused on Tezos and the larger blockchain ecosystem.
Check out some of the community organizations that compose the Tezos ecosystem:
- Tezos Ukraine: Website, Twitter
- Tezos Commons Foundation: Website, Twitter
- Tezos Korea: Website, Twitter
- Tezos Montreal: Website, Twitter
- Tezos OCaml Michelson Institute: Website, Twitter
- Tezos Detroit: Twitter
- MyTezosBaker: Website, Twitter
- Tezos Luxembourg: Website, Twitter
- Tezos Turkey: Twitter, Telegram
- Tezos Geneva: Twitter, Meetup
- Tezos Rio: Website, Twitter
Learn about key operational entities
- Nomadic Labs: Website, Twitter
- Tocqueville Group (“TQ”): Website, Twitter, Wiki
- Tezos Japan Foundation: Website, Twitter
- Tezos Korea Foundation: Website, Twitter
- Tezos Southeast Asia Association: Website, Twitter
Bake your Tezzies with us — tezocracy.com
Learn more about Citadel, an all-in-one interface for decentralized finance