+
A
A
-
A
Expertise
Academic
Blog
Training
Research seminars
Contact
Research & development
>
Blog
Blog
All
Announcements
In-depth
Meanwhile
People
in-depth
22 October 2024
On Adaptive Maximum vs. Adjusting The Staking Target
announcements
17 September 2024
Announcing Quebec A and Quebec B: Tezos 17th protocol upgrade proposal
announcements
16 July 2024
Post-mortem: How and why Etherlink’s first security upgrade on mainnet beta happened
in-depth
19 June 2024
How to Stake on Tezos
announcements
18 June 2024
Announcing ParisC: a critical liveness bugfix for Tezos Smart Rollups
announcements
04 June 2024
Faster Finality, Higher Scalability, Stronger PoS: Paris is Live!
announcements
28 May 2024
Announcing ParisB 2: a bugfix update for the ParisB protocol proposal
in-depth
17 May 2024
Improving OCaml Dependency Management in Octez
in-depth
08 April 2024
Adaptive Issuance in Paris
announcements
28 March 2024
Faster, Higher, Stronger: introducing the Paris protocol upgrade proposals!
in-depth
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!
