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. 


Introducing mockup mode for tezos-client

Presenting tezos-client’s new mockup mode feature

We are pleased to announce that the tezos-client binary has a new feature aimed at contract and tool developers alike: the mockup mode. Mockup mode allows easy prototyping of Tezos applications and smart contracts locally. By local we mean: The relevant data files sit in a directory on your computer’s local filesystem. These files are a lightweight emulation of the internal state of a Tezos single-node network. Thus, networking communications infrastructure that a node would be wrapped...

Read More
Announcing the Edo Release!

This is a joint announcement from Nomadic Labs, Marigold, and Metastate. A couple of weeks ago, we were proud to see the “Delphi” upgrade to the Tezos protocol go live. This week, we are proud to announce our latest protocol upgrade proposal, “Edo”. As usual, Edo’s true name is its hash, which is PtEdoTezd3RHSC31mpxxo1npxFjoWWcFgQtxapi51Z8TLu6v6Uq. Why is Edo being proposed when Delphi has only been in place for a short while? Although Delphi went live on November 12th,...

Read More
Announcing Ebetanet, the Edo Preview Network!

We have just spawned a test network for a beta version of the Edo protocol, which we plan to propose as the next (008) Tezos protocol upgrade. The code running on the test network is our release candidate for Edo. We anticipate that the beta period will last only one to two weeks before our proposal is final. Please participate by testing it now! We plan to replace this test network with Edonet, the successor of Delphinet, once we...

Read More
Cortez End of Support

In a context where Nomadic Labs aims to concentrate on its high value activities, we plan to refocus our efforts on projects and tools that are directly related to the heart of Tezos and its economic protocol. As a result, Nomadic Labs decided to discontinue its support and maintenance of both the Android and iOS versions of the Tezos mobile wallet, Cortez. After a grace period running from now to 15 February 2021, Nomadic Labs will no longer...

Read More
Smarter contracts thanks to Delphi (part 1/2)

Delphi is the successor to the Carthage protocol. Delphi’s main difference from Carthage is that gas costs are lower, so that smart contracts can compute more before hitting the Delphi/Carthage per-operation gas limit of 1,040,000 gas units (gu). In this post we quantify the difference that Delphi’s lower gas costs will make: We start with a description and justification of the Michelson gas model; and then we showcase the expected gains for some smart contracts chosen to illustrate the...

Read More
Delphi, the Latest Tezos upgrade, is live!

This is a joint post from Nomadic Labs, Metastate and Marigold. We’re very happy to announce that the vote on the “Delphi” upgrade to the Tezos network passed a few hours ago (around 13:00 GMT on 12 November 2020.) The upgrade went live immediately afterwards at block 1,212,417. An informal blog post describing Delphi is here, and a changelog of everything that went into Delphi is here. Most prominently, Delphi makes substantial improvements to the...

Read More
The case of mixed forks in Emmy+

Note: This analysis was done with the help of Bruno Blanchet (Inria). The interested reader can experiment with our code used in the analysis. As in the previous analysis, we do not present any security proofs. This is the fourth in a series of posts on Emmy+: After our initial analysis, recently revisited and extended to the partial synchronous network model, we now consider so-called “mixed forks”. So far, we assumed that malicious bakers wanted to undo a transaction. In this post, we consider instead...

Read More
Regular Scheduling For Our Tezos Proposals

The teams at Nomadic Labs, Metastate, Marigold, and DaiLambda have participated in a number of joint protocol proposals for Tezos; some of us have been working on the code since the original launch of the Tezos network, and have been involved with updates from Athens through the recent Delphi proposal. Over time, we have gained more and more experience and have learned what practices seem to work best for updates to the...

Read More
Meanwhile at Nomadic Labs #9

It’s been a while since we published a post in our meanwhile series, and as always we’ve been working hard behind the scenes to improve the Tezos ecosystem. August marked a milestone: we launched Dalphanet, a dedicated test network designed to examine features from all developers involved in submitting the more extensive and long-awaited protocol proposal, including Sapling, a new protocol environment, among other improvements. For more information on Dalphanet see: Agora Forum Reddit On...

Read More
  • 1
  • 2