Nomadic Labs
Nomadic Labs
Meanwhile at Nomadic Labs #5


In this fifth series of ‘’Meanwhile at Nomadic Labs’’, we discuss recent achievements including some projects we have been working on.

December was a demanding month with a lot of ongoing development. Like we briefly mentioned last month, Arvid Jakobsson and Zaynah Dargaye worked on formally verifying the spending limit contract within the Cortez Wallet. We are proud announce that the contract has been formally verified and an updated version of Cortez has gone live on the android play store. This means you can already set spending limits in your Tezos wallet on Android (provided you are using Cortez). Stay tuned for a detailed blog post and an updated IOS version soon.

Mehdi Bouaziz, Alexandre Doussot and Hadrien Zerah, two of our research engineers and our adoption manager, attended L’école d’automne Blockchain’19, a 3-day blockchain course in Tunisia. During this event, Mehdi and Alexandre organized a Tezos workshop while Hadrien took part in the ‘’enterprise panel’’.

We sponsored a Tezos meetup in Barcelona on December 5th. Pietro Abate gave an introduction to Tezos and Marco Stronati presented some thoughts on Babylon and the way forward to Carthage.

Together with Cryptium Labs, we released a new and improved version of the Carthage protocol, which was successfully injected on December 11th. Additionally we launched Carthagenet, a dedicated test network, which passed quorum and is now up and running since December 12th. As usual, we encourage more people to join Carthagenet and come test with us!

The mainnet branch was updated to be in sync with the mainnet staging branch, offering a significant reduction of the size of the context, going from more than 220G to around 40G for archive nodes. More information can be found in our Agora post. The storage now uses Irmin2 together with Irmin-pack. These open source tools are developed by Tarides within the MirageOS project.

Guillaume Claret presented Coq of OCaml at the Jussieu campus, during the latest OCaml OUPS meetup on December 18th. Nomadic Labs sponsored the event.

On December 16th, we published A new reward formula for Carthage, an in-depth review of the new proposed reward formula for Carthage. Shortly after, we published Sapling integration in Tezos - Tech Preview which goes into more detail about Sapling, the importance of privacy preserving transactions and our plan to integrate this technology into Tezos on a smart contract basis.

2019 has been an awesome year for Nomadic Labs, Tezos and the entire ecosystem. For a recap you can have a look at the #Tezos2019 campaign on twitter. You can also check directly on our twitter profile for a recap of the most important Nomadic Labs related events in 2019. Simply keep an eye out for the #Tezos2019 hashtag. We wish everybody a Happy New Year.

Sapling integration in Tezos - Tech Preview

We are happy to announce a first technology preview of our integration in Tezos of the core of the Sapling protocol developed by the ZCash project. By extending the Michelson smart contract language, this work allows for the exchange of digital assets in a privacy preserving way. Why Sapling? In recent years, we’ve seen much progress towards enabling privacy-preserving payments on public ledgers, both in academic research and in the real world deployement with projects such as Zcash, Monero, or Aztec. In...

Read More
A new reward formula for Carthage

Note: This analysis was done with the help of Arthur Breitman and Bruno Blanchet (Inria). The code used for the analysis can be found at this url. A new reward formula for Carthage In this article, we present a new reward formula that we propose for inclusion in Carthage. This new formula is designed to make the network more robust to non-cooperative baking strategies. It does so without changing the total amount of rewards earned by bakers...

Read More
Meanwhile at Nomadic Labs #4

This is the fourth blog post of our ‘’Meanwhile at Nomadic Labs’’ series. We will discuss what we have been working on the past month, in particular about events that we organized or participated in. Babylon successfully activated around one month ago. A more detailed list of changes can be found in our recent Babylon Blogpost. With all of these new features, Babylon was a way larger protocol change than Athens which was mostly...

Read More
Carthage: changelog and testnet

We are happy to announce a new protocol proposal code-named Carthage, developed together with Cryptium Labs. After the feature rich Babylon, Carthage is a much needed housekeeping release. Carthage contains exclusively fixes and small improvements across the board, the more relevant being a corrected formula for rewards. The only “novelty” is an increase in the gas limit which will allow to execute more smart contracts. A testnet called carthagenet has already been running Babylon since last week and will amend to Carthage in the next...

Read More
Lessons Learned from the Babylon Protocol Upgrade: A Retrospective

Babylon (aka protocol 005), the second Tezos protocol amendment jointly developed by Nomadic Labs and Cryptium Labs, was successfully activated on block 655361. Since then, we’ve continued analysing and monitoring the new features, but have also engaged in a deeper reflection on the upgrade process from its development period, pre-injection, to the period following the activation. This article summarises the lessons learned in five parts: the development of Babylon, the proposal period, continued testing during...

Read More
Mainnet release to patch Babylon

During the testing phase of protocol Babylon 005_PsBABY5H, we discovered a bug affecting bigmaps in Michelson smart contracts. The bug is corrected in a new version of Babylon, 005_PsBabyM1. How to proceed The bug is not critical but causes a significant performance degradation for newly created smart contracts and an incorrect behavior for existing ones using big maps. More details on the nature and effects of the bug can be found in the protocol documentation page. During the upcoming promotion vote period, we propose...

Read More
Cortez security by using the Spending Limit contract

In this most recent blog post we discuss how to benefit from the secure enclave using the Daily Spending Limit smart contract.

My wallet, my crypto When holding a cryptocurrency, one needs a safe and secure wallet to store it. Wallets are used to store, receive, or spend cryptocurrencies. They work by keeping private keys to themselves and using them to sign transaction from the corresponding public keys. A public key is used to send assets to the corresponding destination, whereas a private key is used to send assets from your corresponding wallet. Addresses are uniquely defined as a...

Read More
Babylon update instructions for delegation wallet developers

How to update the delegation feature of your wallet for 005 (aka. Babylon)

Introduction Tezos wallets usually feature management of scriptless originated (aka KT1) accounts used to delegate tokens. This document details the steps needed for wallet developers to update their applications in anticipation to the breaking changes in the Babylon protocol update. See also cryptium’s migration guidelines and Babylon’s documentation for more technical details on the Babylon update. The Babylon protocol update brings two big changes to the way delegation can be implemented. First, implicit (aka tz) accounts can now directly delegate their tokens (see relevant...

Read More
Babylon: Proposal Injected!

EDIT (August 2, 2019): The updated Babylon proposal has been injected by Cryptium Labs. Its hash is PsBABY5HQTSkA4297zNHfsZNKtxULfL18y95qb3m53QJiXGmrbU. The instructions contained in this post have been updated accordingly. Cryptium Labs just injected the hash of our new joint proposal: Babylon. This triggers the beginning of the third on-chain vote to amend Tezos. This process could end in the successful migration from current protocol Athens in about three months, if the participants decide so. This update is joint work with Cryptium Labs, with contributions from...

Read More

Receive Updates