Nomadic Labs
Nomadic Labs
Meanwhile at Nomadic Labs #8

Let’s talk about what’s been going on at Nomadic Labs for the past two months. Despite the global pandemic, we’ve stayed hard at work for the Tezos Community. We published an in-depth look on how we use regression testing to catch bugs in Tezos: Catching sneaky regressions with pytest-regtest. Marco Stronati gave a speech about the integration of Sapling in Tezos for privacy and compliance at the Ready Layer One conference. May was a big...

Read More
Meanwhile at Nomadic Labs #7

It’s time to talk about what has been going on at Nomadic Labs for the past two months. Many of you might know that a lot of us at Nomadic Labs already work remotely on a regular basis. That being said, the situation with the coronavirus hasn’t had a chance to disrupt our work. Some Conferences were rescheduled, others are held remotely and our work at Nomadic Labs continues as usual. The month of February was packed...

Read More
Catching sneaky regressions with pytest-regtest

An in-depth look on how we use regression testing to catch bugs in Tezos.

Testing is an important complement to formal methods that we use through out Tezos to ensure software quality. In this blog post we discuss how we use regression testing, through the pytest-regtest tool. Regression testing Regression testing is a coarse-grained testing method for detecting unintended changes in the behavior of the system under test. We have applied regression testing to the tezos-client, notably to smart-contract type checking and execution. Globally, regression testing consists of two components. First, a way of running and storing the...

Read More
Meanwhile at Nomadic Labs #6

It’s time for yet another post in the “meanwhile at Nomadic Labs” series, and we have a lot to talk about. Dive in to find out what you might have missed in January! Nomadic Labs partnered with the IMDEA Software Institute, a leading research institute in Madrid. You can read more about the partnership here or in our press release. A new research program dedicated...

Read More
How to write a Tezos protocol - part 2

This is the second post of a tutorial series on how to implement a Tezos protocol. In the first post, we saw how to write, compile, register, activate and use an extremely simple protocol. We also looked at the interface between the protocol and the shell. In this post, we consider a new protocol called demo_counter which extends demo_noops from the first post in several ways. Blocks can contain simple operations, whose effects update the blockchain state. It is parameterized by protocol parameters passed at activation time. It defines...

Read More
Formally Verifying a Critical Smart Contract

We present the formal verification of the Spending Limit Contract, a critical component of the Cortez wallet.

One of the main goals of Nomadic Labs is the development and applications of formal methods in the domain of distributed software, blockchains and smart contracts. In particular for the Tezos blockchain, for which we also develop the Cortez smartphone wallet (Android, iPhone). This wallet helps Tezos users manage their account and funds in a safe and secure manner. How can the user be...

Read More
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...

Read More
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
  • 1
  • 2

Receive Updates

ATOM

Contacts