Paradigm
Published in

Paradigm

Tezos: TezBridge has been updated to v2.1.5., Netezos.Rpc is implemented, Tezos Analytics Explorer, Updated Migration Strategy by Cryptium Labs, Mininax explorer, An indexer for Tezos

Biweekly update 4th July — 18th July

We wish the world would be as stable as Tezos development. Its teams keep showing steady progress over the period, and Tezos dreams seem to come true: 1 Self-amending update, more than 100 meetups, about 470 bakers in 30 countries, 6 Global Foundations and excellent 80% staking rate. Only bonafide teams are working towards making Tezos greater: The protocol team has been steadily reviewing and testing all the MRs that are flowing in the branch proto-proposal; the Michelson team has been busy too with quite a lot of changes; LIGO and MARIGOLD team onboard new collaborators to both of them, rewrote much of the codebase, and began some exciting new projects.

So far, so good, we will hopefully see more progress in the coming year. TezBox team currently has two core goals — in the short term, they want to continue to offer a high-quality wallet on various platforms, in the long run, they are aiming to work on Tezbox API, and the Tezbox Browser. Besides, CryptonomicTech worked on Mininax, a retro block explorer. Decentralized nature of Tezos helps teams all over the world to be socially active: SmartPy and ConseilJS participated in the Tezos meetup in Douala, Tezos Africa had a fantastic turnout at Tezos 1st meetup there. The celebrations of Tezos birthday are planned worldwide — you can attend them in Paris, Berlin, Zurich, Vienna and New York. Moreover, Ryan Jesperson, President of Tezos Foundation, had a fantastic interview.

The community is thrilled with all the Tezos processes, the number of followers on social networks is sharply increasing. Success is coming down the pike! Stay tuned for the upcoming Reddit AMA after Week 29 with us!

Bake your Tezzies with us — tezocracy.com

Development

Gitlab metrics

For detailed GitLab developer activity click here.

Developer activity (from Coinlib.io)
  • TezBridge has been updated to v2.1.5. Issues are fixed and a much simpler bridging method for a remote signer is added. Developers can visit tezbridge.com/playground.html to get some examples of integration for now.
  • À la carte of the new Meanwhile at Nomadic Labs #3: a sneak peek at the next proposal (including updates to the Michelson language!), a new indexer for Tezos, and much more!

The consensus team is finishing their analysis of selfish baking on Emmy+ and tweaking the constants of the protocol accordingly. At the same time work on their version of Tendermint is progressing to the point of having a proof of concept protocol to play with.

The protocol team has been steadily reviewing and testing all the MRs that are flowing in the branch proto-proposal. Particularly the excellent work of Cryptium Labs on the account re-haul (implicit accounts, removing script-less contracts) and the tweaks to the voting procedure (quorum caps, proposal quorum).

The Michelson team has been busy too with quite a lot of changes that they’ll blog about soon. For a quick sneak peek:

  1. Smart contracts will have multiple entry points, implemented in a way that is not too intrusive and that is retrocompatible (provided that they conform to the entry point convention, contracts that get deployed now will take advantage of multiple entry points if and when the update is rolled).
  2. Most restrictions on the big_map type got lifted.
  3. New instructions have been introduced to help large contracts (in particular compiled from higher-level languages) stay compact and efficient: new deep stack access instructions and instruction to partially apply a lambda.
  4. The gas cost model for instructions has been refined, based on benchmarks.
  5. Some instructions have been updated or deprecated according to the account re-haul.

The Shell

The shell is looking at an interesting summer update with a new storage back-end from Tarides, that is currently benching and fine-tuning the performance of their code. There are also small improvements to the p2p layer that will improve connectivity, network topology and peer discovery.

Tooling

  1. Closer to the release of our own tezos-indexer, an improved iteration over the previous project Mezos, which will serve as base for our mobile wallets, Cortez for Android and iOS, and many future projects.
  2. Try Michelson. You can now run a Michelson contract in a friendly web interface without needing to run a node. Try Michelson is already proving to be a great tool to teach newcomers how to write smart contracts.
  3. Compilation of the Tezos codebase to Javascript. The precision surgery to remove all Unix dependencies, tweak the OCaml signatures, write bindings and compile C libraries to WASM is progressing steadily and will soon allow reusing a huge amount of code for the applications built around Tezos.

Crypto

  1. Work has started to refresh the version of the HACL* cryptographic library which will provide a verified implementation of curve P-256 (tz3 addresses) on top of the existing Ed25519.
  2. The new binding for the ZCash Sapling library is almost done and they are starting to experiment with it for a future protocol proposal.
  • A reading list of features that both Cryptium and Nomadic Labs are working on. Make sure you have read through / skimmed through to stay up-to-date on potential improvements on the protocol.
  1. Intro the Meanwhile Series: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-3bebf07062d9
  2. Part II, Quorum Caps: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-part-ii-607227fc6d65
  3. Part III, Simplifying the Delegation Process: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-part-iii-1c824b760da3
  4. Part IV, Simplifying Tezos Smart Contracts: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-part-iv-be07ec532c08
  5. Part V, minimum 5% of upvotes for proposals during proposal period: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-part-v-3e0ddfd98177
  6. Part VI, updated migration strategy for script-less contracts: https://medium.com/cryptium/meanwhile-at-cryptium-labs-1-part-vi-540170f46c51
  7. Emmy+: https://blog.nomadic-labs.com/emmy-an-improved-consensus-algorithm.html
  8. Meanwhile at Nomadic Labs #3: https://blog.nomadic-labs.com/meanwhile-at-nomadic-labs-3.html
  1. Metadata enhancements
  2. Several bug fixes for data query API
  3. Performance fixes for running in containers
  4. Dockerfile and script for container runs
  • Did you know about Netezos.Rpc, a .NET Standard library for working with Tezos RPC API? Check it out! At the current stage, Netezos.Rpc is implemented. It provides access to the Tezos node via RPC API. Let’s a little dig into it and look at how it works.
  • @awacate published Meanwhile at Cryptium Labs #1 Part VI, featuring the Updated Migration Strategy. This migration strategy handles two major cases: firstly, the migration of script-less contracts; and secondly the migration of script-ful and spendable contracts.

Migration of Script-less Contracts — This migration process is not only more simple than the previous migration strategy but also is more seamless, as it allows us to preserve the current state of delegations. Thus, existing delegators will not be impacted by this feature as all delegation values, parameters, and functionalities will be conserved.

Migration of Script-ful and Spendable Contracts — For contracts that carry script and are spendable, the original functionalities will be kept, transforming the script by adding the entry points.

  1. The migration code is open-source and can be found here.
  2. The manager contract and its proofs are written in Coq can be found here.

They have two core goals for TezBox — in the short term, they want to continue to offer a high-quality wallet on various platforms. They have a number of updates to release but need to ensure code quality and security above release dates. The major changes they are working on are:

  1. Multi-account functionality
  2. Delegation update (better UI)
  3. Exchange integration (for instant purchase of Tezos)
  4. Other UI improvements

In the Long term, they are working on Tezbox API, and the Tezbox Browser — an app-draw like a platform which enables easier integration with apps and dapps. They are still in the early stages of some of these larger changes, but they have accomplished some solid milestones.

To celebrate the one year anniversary of the Tezos network, they’d like to announce a project that has been in the works since before the betanet launch. Rise of the Magni is a simple strategy game with a digital collectable element, which will utilize non-fungible token standard (which will be built on Tezos). They hope to launch our public beta in Q4 2019!

They coped to provide us with a chart representing a connection between the price of one roll and the number of registered delegates. One can note the growth of interest after the moments of strong price drops. Also, it was a great time to open a bakery at the end of June.

Moreover, they gave us an opportunity to see how the number of deployed contracts written in Liquidity and other languages was changing.

  • Announcing Mininax: A minimal retro block explorer for Tezos. Mininax is a fun project CryptonomicTech worked on for the past two weeks along with their designer friends at Bldgblox. It’s supposed to provide basic block explorer functionality to support wallet users and others looking for simple lookups. In contrast to Arronax, Mininax is opinionated about the data it presents and the form it presents it in. At the same time, Mininax also serves as a portal into Arronax, providing multiple links for people who need insightful data but are unsure about how to pull it out of Arronax. In the interest of time, the application was written in TypeScript but will shortly be redone in ReasonML.
  • TzStats Update #1 — TzStats is the first Tezos Analytics Explorer, extending the functionality of traditional block explorers with comprehensive data analytics.

After a few meetings and internal discussions in their research field, they have decided to focus on Staking, Governance, Market Data, Global Metrics and Network Health. Their design philosophy embraces Intuitive Experience, Simplified Terminology, Dark Color Scheme, Responsive Design and a Focus on Data with narrow colour-board.

  • An indexer for Tezos. Mainly, indexers fill a void by providing information that’s not directly available from the node’s RPC interface. But then why don’t nodes provide these RPCs in the first place? That’s simply because when you design and implement your node, you want to provide just what is necessary, focus on what’s most important, in order to reduce the possible sources of errors or bugs or security issues. Also, it’s not really a node’s job to provide all information that users can just deduct or derive from what it does provide.

However, some information just cannot be rapidly deduced from the combination of a reasonable number of RPCs to the node. For instance, if you want the ten latest operations done by a baker, you don’t want to scan the list of transactions until you find ten of them, especially if there’s fewer than ten, since in that case, it would make you go up to the genesis block! Instead, you want to have an index of all the transactions done by that baker in a database that’s both easy to access and fast.

Wallets, DApps (decentralized applications, often blockchain-enabled websites), and block explorers are the main users of indexers.

There have been quite a few changes, going from Mezos to this indexer and here are some of them:

  1. For bootstrapping, instead of having to run 4+3=7 slightly different versions of Mezos, you need to run just a single version of this indexer: it handles the 4 different protocols and the 3 protocol transition blocks. That applies to Mainnet only. Other networks are not supported at all for the time being (it wouldn’t be difficult, it just hasn’t been given a priority yet).
  2. Mezos uses TzScan to get the snapshot blocks. However this indexer doesn’t use TzScan at all, it directly implements that part so they could break free from some closed source code.

LIGO

  1. Working on a Generic Front End (GFE), so that it becomes much easier to add syntaxes to LIGO and add new features to all syntaxes at once. The GFE also aims to support seamless translation between the syntaxes, so that one can not only write code in any syntax but also read code written by other people in the syntax of their choice!
  2. To attract Ethereum developers, they are also looking at supporting the syntax of Yul, an intermediary language between Solidity and the EVM, which would be a big step in supporting contracts written in Solidity!
  3. IGO currently has a very simple type-system, requiring some extraneous type annotations and forbidding a lot of harmless programs. To fix this, they are putting effort into developing a Super Type System (STS). A more comprehensive type system will also help to natively support Yul and constructs coming from other popular languages.
  4. The most brittle part of the code base is about to become its strongest part. They are currently rewriting the backend of LIGO in Coq, and partially proving its correctness along the way. The significance of this effort can’t be stressed enough. Basically, once they prove the equivalence between a part of LIGO and its Michelson counterpart, they can safely trust it.

MARIGOLD

  1. Locking down some actual implementation details with new collaborators and hope to provide an update in the coming weeks.
  2. Work on a mathematical presentation of Plasma. (Although there has been a tremendous amount of innovation and tinkering in the Plasma space, current writings about Plasma are very informal and lack mathematical specification.)

Social encounters

  • The first day of the training programme at the Faculty of Information Technology, VNU University of Engineering and Technology! It’s always great to see the students being actively engaged in learning from instructors!
  • Tezos Africa was expecting 40+ and got 80+! What an amazing turnout at Tezos 1st meetup in Africa! What a way to celebrate Tezos 1st Birthday!
  • Tezos celebrated the one year anniversary of the Tezos betanet launch in Hanoi with some beer and food! More photos here.
  • Rob Witoff, engineering PolychainLabs, talked about the evolution of Tezos’s secure baking (validator) infrastructure one year in SF PoS.
  • Watch our Full Interview with Ryan Jesperson, President of TezosFoundation. Video is available here.
  • “We approach security in a risk-adjusted manner. There’s no such thing as perfect security” — Expert Baker Rob Witoff
  • Institutional grade smart contracts, secure custody, upgradability. 3 Reasons why Tezos is the best STO platform: Check out on Youtube!

Upcoming events:

In celebration of the anniversary of the Tezos network launch, the Tezos Foundation, Tocqueville Group, and Tezos Commons are sponsoring events around the globe throughout the month of July.

Finance

Information from Tzscan.io

Partnerships and team members

  • With the recent launch of multi-signature support in the client as well as the FA1.2 asset tokenization standard, TokenSoft Inc. will be able to finally support security tokens on the Tezos blockchain! Read more in the announcement. “We first started working with the Tezos blockchain over a year ago, we’re excited to take our services to the next level,” said Mason Borda, CEO of TokenSoft. “With the introduction of the Tezos multi-signature and FA1.2 smart contracts, we now have the key ingredients to provide our institutional-grade services on the Tezos blockchain.”
  • As a result of the recent Grant from the Tezos foundation and diligence that followed, Pocket MVP-1.7 officially supports Tezos and REST API calls on the network. Note* the plugins have yet to be released and will come up in subsequent sprint updates.
  • Tezos will be one of the featured Layer 1 protocols for the new IDEO Startup Studio! Together with TezosFoundation, they’ll be helping projects and entrepreneurs build on Tezos!

Rumors

  • Mason & Co. tweeted “We love that the Tezos blockchain has formally verifiable contracts. This means prior to sending a billion dollars over the blockchain, you can run a formal test to simulate it. If anything has changed since deployment (libraries, protocols, etc.), you will know.”

Social media metrics

Social media activity
Social media dynamics
Social media dynamics

Tezos community continues to grow. There is a constant increase in the number of subscribers of Tezos social media channels.

There is also Tezos Riot chat and YouTube channel.

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 which 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:

Learn about key operational entities

Bake your Tezzies with us — tezocracy.com

This is not financial advice.

Subscribe to detailed companies’ updates by Paradigm!

Medium. Twitter. Telegram. Reddit.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store