Archives for Nomadic Labs

08 March 2024
10 Second Blocks: A Faster Tezos, Fully Decentralized
09 February 2024
PoS refinements and Private Rollups: Oxford 2 upgrade is live!
30 January 2024
Introducing Private Smart Rollups on Tezos
25 January 2024
The Data-Availability Layer is Coming to Tezos – Now on Testnet
05 December 2023
Announcing Oxford 2: a revised 15th protocol upgrade proposal
31 October 2023
Introducing Teztale – a Dashboard for Tezos Consensus
21 September 2023
Baking and the Oxford Proposal: A Technical Guide
24 August 2023
We’re doing 1 million TPS on Tezos! Here’s how
11 August 2023
Announcing Oxford, Tezos’ 15th protocol upgrade proposal
11 August 2023
Adaptive Issuance and Staking
18 July 2023
EVM Rollups Are Coming to Tezos – Now on Testnet
06 July 2023
The Rollup Booster: A Data-Availability Layer for Tezos
24 June 2023
Higher TPS and new rollup features: Nairobi upgrade is live!
16 June 2023
Incident Report: Mumbai 2 user-activated protocol override
23 May 2023
Introducing Data Availability Committees
11 May 2023
What’s Cooking for Smart Rollups in Nairobi?
04 May 2023
On the future of validity rollups on Tezos
25 April 2023
Labelled type parameters in OCaml
13 April 2023
Announcing Nairobi, Tezos’ 14th protocol upgrade proposal
29 March 2023
Smart Rollups and 15 second blocks: Mumbai upgrade is live!
07 March 2023
Liveness vulnerability found: A patched Mumbai proposal is available
02 March 2023
Introducing new Octez node logs for better UX
17 January 2023
Announcing Tezos’ 13th protocol upgrade proposal, Mumbai
05 January 2023
Incident Report: slow consensus on block #3,019,851
19 December 2022
Lima, the latest Tezos upgrade, is LIVE!
12 December 2022
Pruning the context — and other seasonal activities
08 December 2022
A faster and more scalable Tezos: A sneak peak at the Mumbai proposal
21 November 2022
Improving Randomness in Tezos with Verifiable Delay Functions
16 November 2022
The road to a million TPS (and beyond): Smart rollups are coming
11 October 2022
Announcement: New Names for Octez Executables in v15.0
10 October 2022
Announcing Tezos’ 12th protocol upgrade proposal, “Lima”
05 October 2022
What to expect in Lima — our 12th protocol upgrade proposal for Tezos
23 September 2022
Kathmandu, the latest Tezos upgrade, is LIVE!
22 September 2022
Monitoring Your Node with Octez Metrics
12 September 2022
Verify, but test: extracting QCheck Property-Based Tests from F* specifications
03 August 2022
Two weeks at the OPLSS 2022 — and some reflections on the elegance of Call-by-Push-Value
13 July 2022
Announcing Tezos’ 11th protocol upgrade proposal, “Kathmandu”
11 July 2022
Why the next generation of optimistic rollups are a game-changer for Tezos
29 June 2022
Jakarta, the latest Tezos upgrade, is LIVE!
23 June 2022
From Jakarta to Kathmandu non-stop
16 June 2022
Announcing Tezt
09 June 2022
Transaction Optimistic Rollups – a stepping stone for Tezos
12 May 2022
Also coming with Jakarta: spring-cleaning the Michelson interpreter
27 April 2022
Announcing “Jakarta 2”
22 April 2022
We discovered two bugs in Jakarta — a reproposal is coming
19 April 2022
TPS evaluation for Tezos
16 April 2022
Announcing Tezos’ 10th protocol upgrade proposal “Jakarta”
13 April 2022
Activating Tenderbake — a story in data
01 April 2022
Ithaca 2, the latest Tezos upgrade, is LIVE!
28 March 2022
Get ready to roll. Tezos is scaling
15 March 2022
We Discovered a Flaw in the Sapling Protocol Integration — a fix is ready for J.
24 February 2022
All Hands on Deck for Tenderbake
15 February 2022
A POPL 2022 Retrospective
01 February 2022
Refactoring the Management of Native Tokens in the Tezos Economic Protocol
19 January 2022
Announcing “Ithaca 2”
21 December 2021
Tenderbake has been injected
20 December 2021
Announcing Tezos’ 9th protocol upgrade proposal “Ithaca”
28 October 2021
Meanwhile at Nomadic Labs #13
25 October 2021
A Deep Dive into the Octez Prevalidator
18 October 2021
Introducing a new Storage Backend for Octez
14 October 2021
Improving the implementation of cryptography in Tezos Octez
11 October 2021
Timelock: a solution to miner/block producer extractable value
27 September 2021
Announcing new internship subjects for 2021!
27 August 2021
Three questions to Nomadic Labs apprentices — Killian Delarue
20 August 2021
Three questions to Nomadic Labs apprentices — Daniel Jean
16 August 2021
Three questions to Nomadic Labs interns — Julien Coolen
13 August 2021
Network Updates from the Granada Protocol Amendment
06 August 2021
Three questions to Nomadic Labs interns — Valentin Chaboche
06 August 2021
Granada, the latest Tezos upgrade, is LIVE
03 August 2021
Follow-up on the verification of Liquidity Baking smart contracts
02 August 2021
Three questions to Nomadic Labs interns — Étienne Marais
30 July 2021
Emmy: seven years of updatable consensus
28 July 2021
Three questions to Nomadic Labs interns — Mathis Gontier Delaunay
26 July 2021
A tale of two reductions in gas consumption in Tezos
23 July 2021
Meanwhile at Nomadic Labs #12
21 July 2021
Three questions to Nomadic Labs interns — Antonio Locascio
19 July 2021
Three questions to Nomadic Labs interns — Tianchi Yu
15 July 2021
Three questions to Nomadic Labs interns — Corentin Calmels
09 July 2021
Five questions to Nomadic Labs PhDs — Paul Laforgue
08 July 2021
Granada comparisons bug
02 July 2021
Introducing Mi-Cho-Coq v1.0
21 June 2021
Announcing Octez
15 June 2021
FA1.2 Approvable Ledger, formal verification by Nomadic Labs
11 June 2021
Five questions to Nomadic Labs PhDs — Guillaume Bau
04 June 2021
Progress report on the verification of Liquidity Baking smart contracts
31 May 2021
Announcing Granada
21 May 2021
Simulating Tenderbake
12 May 2021
Five questions to Nomadic Labs PhDs — Colin González
03 May 2021
Faster finality with Emmy*
14 April 2021
Announcing the report “Possible evolutions of the voting system in Tezos”
09 April 2021
Meanwhile at Nomadic Labs #11
02 April 2021
Sound and fast gas monitoring with saturation arithmetic
08 March 2021
Tezos calling convention migrating from Breadth-First to Depth-First Order (BFS to DFS)
08 March 2021
Baking Accounts proposal contains unexpected breaking changes
04 March 2021
Florence: Our Next Protocol Upgrade Proposal
25 February 2021
A technical description of the Dexter flaw
20 February 2021
Dexter Flaw Discovered; Funds are Safe
16 February 2021
The Protocol: from High-level Command Line to Low-level Operations
13 February 2021
Edo, the latest Tezos upgrade, is LIVE
10 February 2021
IMPORTANT: Critical Patch to Tickets in Edo
08 February 2021
A look ahead to Tenderbake
01 February 2021
POPL 2021 retrospective
08 January 2021
A review of Nomadic Labs in 2020
21 December 2020
Introducing mockup mode for tezos-client
30 November 2020
Announcing the Edo Release!
20 November 2020
Announcing Ebetanet, the Edo Preview Network!
16 November 2020
Cortez End of Support
13 November 2020
Smarter contracts thanks to Delphi (part 1/2)
12 November 2020
Delphi, the Latest Tezos upgrade, is live!
26 October 2020
The case of mixed forks in Emmy+
21 October 2020
Regular Scheduling For Our Tezos Proposals
20 October 2020
Meanwhile at Nomadic Labs #9
14 October 2020
Dexter: Decentralized exchange for Tezos, formal verification work by Nomadic Labs
09 October 2020
Emmy+ in the partial synchrony model
09 September 2020
On “Defending Against Malicious Reorgs in Tezos Proof-of-Stake”
03 September 2020
Delphi: official release
03 September 2020
Delphi: changelog
28 July 2020
Measuring test coverage
26 June 2020
Editor’s Note on Emmy+ Analysis
08 June 2020
Meanwhile at Nomadic Labs #8
09 April 2020
Meanwhile at Nomadic Labs #7
24 March 2020
Catching sneaky regressions with pytest-regtest
03 February 2020
Meanwhile at Nomadic Labs #6
23 January 2020
How to write a Tezos protocol - part 2
20 January 2020
Formally Verifying a Critical Smart Contract
03 January 2020
Meanwhile at Nomadic Labs #5
24 December 2019
Sapling integration in Tezos - Tech Preview
16 December 2019
A new reward formula for Carthage
03 December 2019
Meanwhile at Nomadic Labs #4
14 November 2019
Carthage: changelog and testnet
30 October 2019
Lessons Learned from the Babylon Protocol Upgrade: A Retrospective
20 September 2019
Mainnet release to patch Babylon
12 September 2019
Cortez security by using the Spending Limit contract
27 August 2019
Babylon update instructions for delegation wallet developers
26 July 2019
Babylon: Proposal Injected!
25 July 2019
Michelson updates in 005
22 July 2019
Analysis of Emmy+
16 July 2019
An indexer for Tezos
08 July 2019
Meanwhile at Nomadic Labs #3
21 June 2019
How to write a Tezos protocol
10 June 2019
Emmy+: an improved consensus algorithm
23 May 2019
Release of Mainnet May
05 April 2019
Athens on the testchain
21 March 2019
Meanwhile at Nomadic Labs #2
20 March 2019
Athens: Second Voting Period
28 February 2019
Athens: Proposals Injected!
25 February 2019
Athens: Our Proposals for the First Voted Amendment
13 February 2019
Amendments at Work in Tezos
04 February 2019
Introducing Snapshots and History Modes for the Tezos Node
01 February 2019
Nomadic Labs at Fosdem 2019
21 January 2019
Meanwhile at Nomadic Labs #1
19 January 2019
Study, Learn and Work with Nomadic Labs
15 January 2019
Nomadic Labs at POPL 2019
19 December 2018
Hello, world!