Blog

  • All
  • Announcements
  • In-depth
  • Meanwhile
  • People
announcements
08 March 2024

10 Second Blocks: A Faster Tezos, Fully Decentralized

announcements
09 February 2024

PoS refinements and Private Rollups: Oxford 2 upgrade is live!

announcements
30 January 2024

Introducing Private Smart Rollups on Tezos

announcements
25 January 2024

The Data-Availability Layer is Coming to Tezos – Now on Testnet

announcements
05 December 2023

Announcing Oxford 2: a revised 15th protocol upgrade proposal

announcements
31 October 2023

Introducing Teztale – a Dashboard for Tezos Consensus

announcements
21 September 2023

Baking and the Oxford Proposal: A Technical Guide

announcements
24 August 2023

We’re doing 1 million TPS on Tezos! Here’s how

announcements
11 August 2023

Announcing Oxford, Tezos’ 15th protocol upgrade proposal

announcements
11 August 2023

Adaptive Issuance and Staking

announcements
18 July 2023

EVM Rollups Are Coming to Tezos – Now on Testnet

announcements
06 July 2023

The Rollup Booster: A Data-Availability Layer for Tezos

announcements
24 June 2023

Higher TPS and new rollup features: Nairobi upgrade is live!

in-depth
16 June 2023

Incident Report: Mumbai 2 user-activated protocol override

in-depth
23 May 2023

Introducing Data Availability Committees

announcements
11 May 2023

What’s Cooking for Smart Rollups in Nairobi?

announcements
04 May 2023

On the future of validity rollups on Tezos

in-depth
25 April 2023

Labelled type parameters in OCaml

announcements
13 April 2023

Announcing Nairobi, Tezos’ 14th protocol upgrade proposal

announcements
29 March 2023

Smart Rollups and 15 second blocks: Mumbai upgrade is live!

announcements
07 March 2023

Liveness vulnerability found: A patched Mumbai proposal is available

announcements
02 March 2023

Introducing new Octez node logs for better UX

announcements
17 January 2023

Announcing Tezos’ 13th protocol upgrade proposal, Mumbai

in-depth
05 January 2023

Incident Report: slow consensus on block #3,019,851

announcements
19 December 2022

Lima, the latest Tezos upgrade, is LIVE!

in-depth
12 December 2022

Pruning the context — and other seasonal activities

announcements
08 December 2022

A faster and more scalable Tezos: A sneak peak at the Mumbai proposal

announcements
21 November 2022

Improving Randomness in Tezos with Verifiable Delay Functions

announcements
16 November 2022

The road to a million TPS (and beyond): Smart rollups are coming

announcements
11 October 2022

Announcement: New Names for Octez Executables in v15.0

announcements
10 October 2022

Announcing Tezos’ 12th protocol upgrade proposal, “Lima”

announcements
05 October 2022

What to expect in Lima — our 12th protocol upgrade proposal for Tezos

announcements
23 September 2022

Kathmandu, the latest Tezos upgrade, is LIVE!

in-depth
22 September 2022

Monitoring Your Node with Octez Metrics

in-depth
12 September 2022

Verify, but test: extracting QCheck Property-Based Tests from F* specifications

people
03 August 2022

Two weeks at the OPLSS 2022 — and some reflections on the elegance of Call-by-Push-Value

announcements
13 July 2022

Announcing Tezos’ 11th protocol upgrade proposal, “Kathmandu”

announcements
11 July 2022

Why the next generation of optimistic rollups are a game-changer for Tezos

announcements
29 June 2022

Jakarta, the latest Tezos upgrade, is LIVE!

announcements
23 June 2022

From Jakarta to Kathmandu non-stop

announcements
16 June 2022

Announcing Tezt

announcements
09 June 2022

Transaction Optimistic Rollups – a stepping stone for Tezos

in-depth
12 May 2022

Also coming with Jakarta: spring-cleaning the Michelson interpreter

announcements
27 April 2022

Announcing “Jakarta 2”

announcements
22 April 2022

We discovered two bugs in Jakarta — a reproposal is coming

in-depth
19 April 2022

TPS evaluation for Tezos

announcements
16 April 2022

Announcing Tezos’ 10th protocol upgrade proposal “Jakarta”

in-depth
13 April 2022

Activating Tenderbake — a story in data

announcements
01 April 2022

Ithaca 2, the latest Tezos upgrade, is LIVE!

announcements
28 March 2022

Get ready to roll. Tezos is scaling

announcements
15 March 2022

We Discovered a Flaw in the Sapling Protocol Integration — a fix is ready for J.

announcements
24 February 2022

All Hands on Deck for Tenderbake

announcements
15 February 2022

A POPL 2022 Retrospective

in-depth
01 February 2022

Refactoring the Management of Native Tokens in the Tezos Economic Protocol

announcements
19 January 2022

Announcing “Ithaca 2”

announcements
21 December 2021

Tenderbake has been injected

announcements
20 December 2021

Announcing Tezos’ 9th protocol upgrade proposal “Ithaca”

meanwhile
28 October 2021

Meanwhile at Nomadic Labs #13

in-depth
25 October 2021

A Deep Dive into the Octez Prevalidator

announcements
18 October 2021

Introducing a new Storage Backend for Octez

in-depth
14 October 2021

Improving the implementation of cryptography in Tezos Octez

in-depth
11 October 2021

Timelock: a solution to miner/block producer extractable value

announcements
27 September 2021

Announcing new internship subjects for 2021!

people
27 August 2021

Three questions to Nomadic Labs apprentices — Killian Delarue

people
20 August 2021

Three questions to Nomadic Labs apprentices — Daniel Jean

people
16 August 2021

Three questions to Nomadic Labs interns — Julien Coolen

in-depth
13 August 2021

Network Updates from the Granada Protocol Amendment

people
06 August 2021

Three questions to Nomadic Labs interns — Valentin Chaboche

announcements
06 August 2021

Granada, the latest Tezos upgrade, is LIVE

in-depth
03 August 2021

Follow-up on the verification of Liquidity Baking smart contracts

people
02 August 2021

Three questions to Nomadic Labs interns — Étienne Marais

in-depth
30 July 2021

Emmy: seven years of updatable consensus

people
28 July 2021

Three questions to Nomadic Labs interns — Mathis Gontier Delaunay

in-depth
26 July 2021

A tale of two reductions in gas consumption in Tezos

meanwhile
23 July 2021

Meanwhile at Nomadic Labs #12

people
21 July 2021

Three questions to Nomadic Labs interns — Antonio Locascio

people
19 July 2021

Three questions to Nomadic Labs interns — Tianchi Yu

people
15 July 2021

Three questions to Nomadic Labs interns — Corentin Calmels

people
09 July 2021

Five questions to Nomadic Labs PhDs — Paul Laforgue

announcements
08 July 2021

Granada comparisons bug

announcements
02 July 2021

Introducing Mi-Cho-Coq v1.0

announcements
21 June 2021

Announcing Octez

in-depth
15 June 2021

FA1.2 Approvable Ledger, formal verification by Nomadic Labs

people
11 June 2021

Five questions to Nomadic Labs PhDs — Guillaume Bau

in-depth
04 June 2021

Progress report on the verification of Liquidity Baking smart contracts

announcements
31 May 2021

Announcing Granada

announcements
21 May 2021

Simulating Tenderbake

people
12 May 2021

Five questions to Nomadic Labs PhDs — Colin González

announcements
03 May 2021

Faster finality with Emmy*

announcements
14 April 2021

Announcing the report “Possible evolutions of the voting system in Tezos”

meanwhile
09 April 2021

Meanwhile at Nomadic Labs #11

in-depth
02 April 2021

Sound and fast gas monitoring with saturation arithmetic

announcements
08 March 2021

Tezos calling convention migrating from Breadth-First to Depth-First Order (BFS to DFS)

announcements
08 March 2021

Baking Accounts proposal contains unexpected breaking changes

announcements
04 March 2021

Florence: Our Next Protocol Upgrade Proposal

announcements
25 February 2021

A technical description of the Dexter flaw

announcements
20 February 2021

Dexter Flaw Discovered; Funds are Safe

in-depth
16 February 2021

The Protocol: from High-level Command Line to Low-level Operations

announcements
13 February 2021

Edo, the latest Tezos upgrade, is LIVE

announcements
10 February 2021

IMPORTANT: Critical Patch to Tickets in Edo

announcements
08 February 2021

A look ahead to Tenderbake

announcements
01 February 2021

POPL 2021 retrospective

meanwhile
08 January 2021

A review of Nomadic Labs in 2020

announcements
21 December 2020

Introducing mockup mode for tezos-client

announcements
30 November 2020

Announcing the Edo Release!

announcements
20 November 2020

Announcing Ebetanet, the Edo Preview Network!

announcements
16 November 2020

Cortez End of Support

in-depth
13 November 2020

Smarter contracts thanks to Delphi (part 1/2)

announcements
12 November 2020

Delphi, the Latest Tezos upgrade, is live!

in-depth
26 October 2020

The case of mixed forks in Emmy+

announcements
21 October 2020

Regular Scheduling For Our Tezos Proposals

meanwhile
20 October 2020

Meanwhile at Nomadic Labs #9

in-depth
14 October 2020

Dexter: Decentralized exchange for Tezos, formal verification work by Nomadic Labs

in-depth
09 October 2020

Emmy+ in the partial synchrony model

in-depth
09 September 2020

On “Defending Against Malicious Reorgs in Tezos Proof-of-Stake”

announcements
03 September 2020

Delphi: official release

announcements
03 September 2020

Delphi: changelog

in-depth
28 July 2020

Measuring test coverage

announcements
26 June 2020

Editor’s Note on Emmy+ Analysis

meanwhile
08 June 2020

Meanwhile at Nomadic Labs #8

meanwhile
09 April 2020

Meanwhile at Nomadic Labs #7

in-depth
24 March 2020

Catching sneaky regressions with pytest-regtest

meanwhile
03 February 2020

Meanwhile at Nomadic Labs #6

in-depth
23 January 2020

How to write a Tezos protocol - part 2

in-depth
20 January 2020

Formally Verifying a Critical Smart Contract

meanwhile
03 January 2020

Meanwhile at Nomadic Labs #5

in-depth
24 December 2019

Sapling integration in Tezos - Tech Preview

in-depth
16 December 2019

A new reward formula for Carthage

meanwhile
03 December 2019

Meanwhile at Nomadic Labs #4

announcements
14 November 2019

Carthage: changelog and testnet

retrospective
30 October 2019

Lessons Learned from the Babylon Protocol Upgrade: A Retrospective

announcements
20 September 2019

Mainnet release to patch Babylon

cortez
12 September 2019

Cortez security by using the Spending Limit contract

announcements
27 August 2019

Babylon update instructions for delegation wallet developers

announcements
26 July 2019

Babylon: Proposal Injected!

in-depth
25 July 2019

Michelson updates in 005

in-depth
22 July 2019

Analysis of Emmy+

announcements
16 July 2019

An indexer for Tezos

meanwhile
08 July 2019

Meanwhile at Nomadic Labs #3

in-depth
21 June 2019

How to write a Tezos protocol

announcements
10 June 2019

Emmy+: an improved consensus algorithm

announcements
23 May 2019

Release of Mainnet May

announcements
05 April 2019

Athens on the testchain

meanwhile
21 March 2019

Meanwhile at Nomadic Labs #2

announcements
20 March 2019

Athens: Second Voting Period

announcements
28 February 2019

Athens: Proposals Injected!

in-depth
25 February 2019

Athens: Our Proposals for the First Voted Amendment

in-depth
13 February 2019

Amendments at Work in Tezos

in-depth
04 February 2019

Introducing Snapshots and History Modes for the Tezos Node

announcements
01 February 2019

Nomadic Labs at Fosdem 2019

meanwhile
21 January 2019

Meanwhile at Nomadic Labs #1

announcements
19 January 2019

Study, Learn and Work with Nomadic Labs

announcements
15 January 2019

Nomadic Labs at POPL 2019

announcements
19 December 2018

Hello, world!