Nomadic Labs
Nomadic Labs

A review of Nomadic Labs in 2020

Nomadic Labs’ activities in 2020

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 culture1, 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 bakers4 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)11 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).5 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.6

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 backendish7 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+.8 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.10 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.9

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!


  1. Not a platitude. Company culture is real, as are the returns in productivity when management gets this right. 

  2. The name is a pun on a popular French sweet

  3. We used Mi-Cho-Coq, and you can find the full sources here on Gilab

  4. … making them fresh bakers (one bun baguettes another). 

  5. This is an ongoing fundraising effort and the amount raised will be up to 100 million Euro. Fun fact: these and other festivals were streamed as the WE ARE ONE global film festival in 2020. 

  6. See the 2014 Tezos whitepaper. The technical term for this is governance. Tezos’ governance features are a USP of the Tezos blockchain and they are almost unique in the blockchain space: see also Polkadot governance, initiated circa 2017. Decred, also from 2017, also has a governance system but it is part on-chain and part off-chain: voting itself is on-chain; but after the vote any upgrades have to be done manually. 

  7. backendish: of or pertaining to the back-end of a system or process. Coined in this blog post. Not to be confused with the rare Yorkshire word for “autumnal”

  8. The key USP of Tenderbake vs Emmy+ is that Tenderbake has deterministic finality whereas Emmy+ has probabilistic finality. To simplify: deterministic finality means you will reach consensus, whereas probabilistic finality means you will probably reach consensus, eventually. The problem here is not with “probably”. The problem is with “eventually”: if the network is subject to delays then as the maths works out, “eventually” could become a very long time (though, what attacker would be so impolite as to DoS a system’s communications network?). 

  9. The backend optimizer of the Albert compiler is a Coq function that transforms Michelson expressions into Michelson expressions. Certifying the backend optimizer means we proved mathematically in Coq that it preserves typing and semantics; that is, that the transformation’s output program is semantically equivalent to its input program. For a concrete example of what Nomadic Labs produces, you can find that last sentence written up as code and proved in Coq by one of our engineers, here

  10. Albert is called “Albert” after Albert Michelson, a Nobel prizewinning physicist born in 1851 who is the “Michelson” in the Michelson-Morley experiment. With extraordinary foresight, his family named themselves after the foundational smart contracts language of the Tezos blockchain. 

  11. A Central Bank Digital Currency uses digital tokens on a blockchain to represent a country’s fiat currency. This allows a blockchain and smart contracts system to serve as a platform for transactions in fiat currency.