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!