2020 is over and in spite of the difficulties which the year presented, we at Nomadic Labs got a lot done. So here’s who we are, and what we accomplished in 2020:

Nomadic Labs in a nutshell

Nomadic Labs is an international technical company dedicated to evolving the Tezos ecosystem. Tezos is a community-driven proof-of-stake self-evolving blockchain platform that adapts and adopts new features and enables borderless global cooperation.

Let’s unpack that:

Community-driven: The Tezos community is a global community of users, researchers, and adopters (see Tezos Commons and Tezos Agora). Proof-of-stake: The Tezos blockchain is based on a proof-of-stake principle, which is low-power, inclusive, and environmentally sustainable. Indeed, a Tezos node can run on a Raspberry Pi (and here’s a howto!). Self-evolving: The Tezos blockchain protocol is flexible, democratic and adaptable. We mean this in a specific technical sense — thanks to a built-in voting mechanism, the Tezos community of users can vote to update the protocol, and it regularly does.

So Nomadic Labs contributes to a broad ecosystem dedicated to creating a resilient and global blockchain platform with associated tools. We aim to serve science, society — and the dignity and privacy of productive work in a new technological age.

You can find out more about us here:

Culture and growth

At the start of 2020 we had an office-based culture, based in beautifully-situated offices in the heart of Paris.

Then, like everybody else, we adapted to social distancing and — as necessary — to working from home until the pandemic is over. That this adaptation was handled smoothly, was due to some genuinely hard work by administrative staff, and due to a cohesive and friendly company culture, and we are thankful that we were able to flourish and grow throughout 2020:

We started 2020 with 39 full-time employees, we ended it with 59 full-time employees, and we have plans for further growth in 2021.

It’s also worth mentioning how well the Tezos blockchain itself withstood the 2020 stress-test. There were no hiccoughs and no stalls. Nomadic Labs — and the blockchain which is its raison d’être — have been stable in a time of crisis. The technology worked, and the community continued to grow.

Seminars and events

In spite of the pandemic we were able to hold many meetings. Highlights include:

Notable projects and achievements Adoption We now have dedicated adoption and support teams!

These teams are devoted to helping people and organisations to make the step into the Tezos ecosystem. You can watch a short and clear video on stablecoins by our adoption team lead.

We have attracted institutional bakers

A “baker” on Tezos is a stakeholder (a blockchain participant) that validates operations and adds them to the Tezos blockchain (for which it is rewarded). At time of writing, Tezos has a diverse community of more than 400 bakers worldwide.

We are proud to announce that in 2020, our adoption and support teams provided support which helped three large institutions become bakers on the Tezos blockchain:

We helped industrial partners to launch Tezos-based projects Société Générale (a bank with 1.7 trillion USD in assets) selected a pool of technology providers, including Nomadic Labs, to experiment with the use of Central Bank Digital Currency (CBDC) for interbank settlements. Specifically, this project will explore the feasibility of financial securities being digitally settled and delivered in CBDC. See the press release. Sword group introduced Tezos Digisign, a free and open source tool to sign, certify and verify the authenticity of digital documents. This tool is already in production with a client and is currently being integrated with several market ECM (Electronic Content Management) packages. The source code of Tezos Digisign is on Gitlab. See the press release. Logical Pictures is launching 21 Content Ventures, an investment vehicle with a 100 million Euro maximal capacity (minimum investment 100 thousand Euro) to invest in coproducing films and TV series, with an emphasis on international content (e.g. from the Cannes, Toronto, and Sundance festivals). A particularity of this investment vehicle is that it will be tokenized on the Tezos blockchain. This means that each title will be represented on the Tezos blockchain by a security token, and fundraising will take the form of a Security Token Offering (STO). The future portfolio of films and TV series will thus be digitized, which will offer more liquidity and transparency than a traditional share of funds. See the press release in English and in French. Protocol upgrades

We contributed to not one but two Tezos protocol upgrades during 2020 (Carthage and Delphi) and we proposed a third (Edo):

The Tezos blockchain contains a mechanism to upgrade the protocol and thus change how the blockchain works by community vote, so each successful protocol upgrade is making history in the world of blockchain evolution.

Tezos protocols are traditionally named after ancient cities. Thanks to Metastate for a nice timeline of protocol upgrades:

The next proposed protocol upgrade is Edo; see an accessible explanation of what is proposed (essentially: bugfixes, Zcash Sapling integration, and a ticket system for smart contracts).

Associated to the Edo protocol upgrade is also a new release candidate of the protocol environment, numbered “Version 1”. The protocol environment is the set of functions that a protocol can use — a dedicated library which includes cryptographic primitives and other useful functions (packaged as an OCaml module). This is a backendish but significant piece of work: until now all protocols have used “Version 0” of the protocol environment.

Research and development We started a research partnership with IMDEA. The emphases are on program analysis and verification, distributed consensus, resource consumption and performance, and security and privacy. See the press release. We started a research partnership with INRIA. This cooperation takes the form of a grants framework to support blockchain research, the results of which will be made publicly available. So far, four research initiatives have been funded, employing ten researchers and two engineers. The initiatives relate to changes to OCaml and its compiler, and to the semantics of the F* verification system. See the press release. A Journée Scientifique with INRIA was held on 21 September 2020, for which a full programme with slides is available. We advertised ten internships, which are open at the time of writing this summary. Feel free to send in an application! We spawned several test networks in 2020. A test network (testnet, for short) is a ‘mock’ blockchain where the rules are tweaked to allow experimentation e.g. before pushing a protocol upgrade. The test networks were: We commonly open-source the tools we use to develop our software. For example, we released mockup mode, a tool in the tezos client for experimenting with (parts of) the essential API of a Tezos node without having to run a local blockchain or maintain a consensus algorithm. This has been especially useful to our developers working on smart contracts. We extensively documented this new tool’s usage. We considerably extended our analysis of Emmy+. Emmy+ is the current Tezos consensus algorithm, so it is important that we understand its behaviour both in theory and empirically. We extended the initial analysis from 2019 and presented the results as follows: We proposed Tenderbake: an adaptation of the Tendermint algorithm for Tezos, in collaboration with CEA-List. We have a Tenderbake prototype and are integrating it in the economic protocol as a next-gen upgrade from Emmy+. We expect to release a Tenderbake testnet in 2021. If you want to design your own Tezos protocol, these two blog posts might help: part 1 and part 2. We’re developers, and developers test their programs. But how do you know your coverage is good — that your tests cover the important cases? Well, here are two posts on our use of testing tools: There’s an open internship if you’re interested, and you can get a feel for how this work gets done in practice by looking at this merge request for applying the TZT framework to test Michelson expressions. We formalized most of the Tezos economic protocol in Coq, using the coq-of-ocaml tool, itself developed at Nomadic Labs. This is part of a larger project aiming to formally verify — meaning, to formally represent, and then verify using a computer correct behaviour of — the Tezos implementation itself. We presented Albert, an intermediate smart contract programming language compiled to Michelson. Albert is an imperative language with variables and records — abstracting away from Michelson’s stack-based paradigm — intended as a compilation target for higher-level smart contract programming languages. See the paper in WTSC 2020. Albert’s compiler is written in Coq, which means that we can certify it: currently, the backend optimizer is certified. Further reading / listening / viewing

Nomadic Labs moves into 2021 from a position of consolidation, growth, and strength. We look forward to the new year’s technical challenges and wish our readers, users, and community all the best. Happy new year!

The DAO Baker Series. Chapter 5: SLOT Tokens Explained by Allen Walters

Nomadic Labs

Nomadic Labs