Improving staking UX and Tezos network resilience.| research-development.nomadic-labs.com
The 18th Tezos protocol upgrade has been activated.| research-development.nomadic-labs.com
Calypso2 went live on Etherlink mainnet on April 12th. Here is how and why.| research-development.nomadic-labs.com
Why L2 scalability matters for Tezos.| research-development.nomadic-labs.com
Improving Tezos’ scalability, staking experience, and network resilience.| research-development.nomadic-labs.com
The 17th Tezos protocol upgrade has been activated.| research-development.nomadic-labs.com
Run a DAL node to activate the next step in Tezos scaling.| Nomadic Labs
Incentivizing a secure network, while keeping inflation at a minimum.| Nomadic Labs
Quebec brings forward 8s block times and tighter maximum Adaptive Issuance bounds.| Nomadic Labs
Etherlink mainnet beta’s first security upgrade was deployed on July 1st. Here is how and why.| Nomadic Labs
An introduction to the new staking mechanism and user experience.| Nomadic Labs
ParisC fixes a critical liveness bug in Tezos Smart Rollups| Nomadic Labs
Tezos has activated its 16th protocol upgrade.| Nomadic Labs
ParisB 2 fixes three potentially critical issues in the ParisB protocol upgrade proposal.| Nomadic Labs
How ‘opam lock’ helps ensure safe and consistent Octez compiling.| Nomadic Labs
A major overhaul of Proof-of-Stake in Tezos.| Nomadic Labs
10s block times, enabling the DAL to boost Smart Rollups throughput, and stronger PoS foundations.| Nomadic Labs
Lower latency, faster finality, no compromise on decentralization.| Nomadic Labs
Tezos has activated its 15th protocol upgrade.| Nomadic Labs
Smart Rollup builders can now choose their desired level of decentralization.| Nomadic Labs
Test the DAL on Tezos’ Weeklynet.| Nomadic Labs
Refined Tezos PoS, new Timelocks and more!| Nomadic Labs
Monitor the Tezos consensus algorithm and analyze baker performance.| Nomadic Labs
New features change the workflow of bakers. Here is what you need to know.| Nomadic Labs
Unleashing the power of Smart Rollups in a public demonstration.| Nomadic Labs
Adaptive Issuance and Staking, new Timelocks and more!| Nomadic Labs
This document provides a high-level functional specification for Adaptive Issuance and Staking, two new features of the Oxford protocol upgrade proposal, which together constitute a major evolution of Tezos’ Proof-of-Stake mechanism. A high-level functional specification for Adaptive Issuance and Staking, a major evolution of Tezos’ Proof-of-Stake.| Nomadic Labs
Run Solidity smart contracts on a Tezos rollup.| Nomadic Labs
A protocol-integrated, decentralized scaling stack for Tezos.| Nomadic Labs
Tezos has activated its fourteenth protocol upgrade, Nairobi.| Nomadic Labs
The updated Mumbai upgrade proposal, Mumbai 2, patched a vulnerability that could potentially halt block production on the Tezos network. No funds were at risk.| Nomadic Labs
Nairobi brings higher Layer 1 TPS, improved consensus broadcast, and new features for Smart Rollups. Nairobi brings higher Layer 1 TPS, improved consensus broadcast, and new features for Smart Rollups.| Nomadic Labs
Tezos has activated its thirteenth protocol upgrade, Mumbai.| Nomadic Labs
We are proposing a patched Mumbai protocol upgrade to address a liveness vulnerability.| Nomadic Labs
A joint post from Nomadic Labs, Marigold, TriliTech, Oxhead Alpha, Tarides, DaiLambda & Functori.| Nomadic Labs
A low-probability scenario caused a temporary slowdown of the network. This is a known possibility and intended behavior of the Tenderbake consensus algorithm.| Nomadic Labs
Tezos has activated its twelfth protocol upgrade, Lima.| Nomadic Labs
A long awaited feature is now available with the lastet major Octez release: context pruning, aka garbage collection of the context. In this article we explore why this was needed, and how it impacts daily life of node operators.| Nomadic Labs
A joint post from Nomadic Labs, Marigold, TriliTech, Oxhead Alpha, Tarides, DaiLambda & Functori.| Nomadic Labs
Verifiable Delay Functions Strengthen Tezos’ Randomness Generation| Nomadic Labs
A new reference manual is out, and we are looking to onboard early adopters with relevant use cases.| Nomadic Labs
Octez v15.0 will begin to enforce the Octez brand on the implementation| Nomadic Labs
A joint post from Nomadic Labs, Marigold, TriliTech, Oxhead Alpha, Tarides, DaiLambda, Functori & Tweag.| Nomadic Labs
A joint post from Nomadic Labs, Marigold, TriliTech, Oxhead Alpha, Tarides, DaiLambda & Functori.| Nomadic Labs
The formal, mechanized, verification of computer programs is a particularly difficult task in fast-evolving and complex development environments, as it typically is a slow process. To speed things up, verification efforts often target abstract models of these programs, and many implementation details are often left unverified in critical code. In this blog post, we propose to bridge the verification gap between a mechanized model and its implementation by leveraging property-based testing. Co...| Nomadic Labs
A short summary of our experience at OPLSS this year.| Nomadic Labs
A joint post from Nomadic Labs, Marigold, TriliTech, Oxhead Alpha, Tarides, DaiLambda, Functori & Tweag.| Nomadic Labs
It’s not just about smart contracts and scaling. The next generation of optimistic rollups are a plug’n’play solution for running any software on Tezos| Nomadic Labs
The hows and whys of the first, experimental implementation of optimistic rollups in the Tezos protocol.| Nomadic Labs
In recent months the Michelson team at Nomadic Labs has launched a project dedicated to paying off the technical debt in the interpreter. Michelson is the language of smart contracts in Tezos blockchain and its interpreter is an integral part of the Tezos economic protocol. It evolves along with the …| Nomadic Labs
During continued stress-testing of the Jakarta protocol proposal, we discovered two critical bugs in the implementation of Transaction Optimistic Rollups. A new proposal —Jakarta 2— will be released in time to be considered in the ongoing proposal period. We encourage bakers to avoid upvoting of the initial Jakarta proposal, and to upvote Jakarta 2 instead.| Nomadic Labs
Announcing our next Tezos protocol proposal upgrade: Jakarta.| Nomadic Labs
A design flaw in the SAPLING_VERIFY_UPDATE Michelson opcode renders unshielding transactions from the shielded pools implemented in sapling_contract.tz malleable. This affects any deployment of this sample contract on the Tezos mainnet, and could potentially extend to other contracts following a similar pattern. We have implemented a new, strengthened, version of this primitive which should become the required opcode for safer integration of Sapling transactions in Michelson smart contracts. ...| Nomadic Labs
A short summary of our experience at POPL, CPP and CoqPL this year.| Nomadic Labs
As part of our efforts to make the Tezos protocol easier to understand and safer to evolve, we have refactored the logic of native tokens management in the Ithaca protocol proposal.| Nomadic Labs
This is a joint post from TriliTech, Nomadic Labs, Marigold, Oxhead Alpha, Tarides, DaiLambda, Functori & Tweag.| Nomadic Labs
A summary of Nomadic Labs activities in Q3 2021| Nomadic Labs
Recent developments in the HACL* / EverCrypt crypto toolstack in the Tezos Octez implementation| Nomadic Labs
We solve a block-producer arbitrage issue with a new Timelock primitive, which can be thought of as “commitment + forced reveal after time T”| Nomadic Labs
Announcing internship subjects for the coming year| Nomadic Labs
Short interview with Killian Delarue| Nomadic Labs
Short interview with Daniel Jean| Nomadic Labs
Short interview with Julien Coolen| Nomadic Labs
Network Updates from the Granada Protocol Amendment| Nomadic Labs
Short interview with Valentin Chaboche| Nomadic Labs
This is a joint announcement from Nomadic Labs, Marigold, Oxhead Alpha, Tarides and DaiLambda.| Nomadic Labs
Granada has passed all three stages of voting and will be activated at the end of the Adoption period, which would likely take place this week on August 6. Liquidity Baking is one of the key features of Granada. We already wrote a first progress report on the verification of Liquidity Baking smart contracts in which we have provided an in-depth description of our effort to provide strong safety and correctness assurances. In this post, we would like to give a short update on our verification ...| Nomadic Labs
Short interview with Étienne Marais| Nomadic Labs
Short interview with Mathis Gontier Delaunay| Nomadic Labs
Two stories about reducing gas consumption in Tezos| Nomadic Labs
A summary of Nomadic Labs activities in Q2 2021| Nomadic Labs
Short interview with Antonio Locascio, our new intern| Nomadic Labs
Short interview with Tianchi Yu, our new intern| Nomadic Labs
Short interview with Corentin Calmels, our new intern| Nomadic Labs
Short interview with Paul Laforgue, our new PhD student| Nomadic Labs
The first public release of the Mi-Cho-Coq framework| Nomadic Labs
We describe the formal verification in Coq of three FA1.2-compliant smart contracts.| Nomadic Labs
Rome the city, Rome the ideal| research-development.nomadic-labs.com
Data Availability Comittees enable storing transaction data for Smart Rollups off-chain, increasing the scalability of Tezos Layer 2.| research-development.nomadic-labs.com
An upgrade that makes life easier for Smart Rollup developers.| research-development.nomadic-labs.com
We are combining optimistic rollups and validity rollups in a single product.| research-development.nomadic-labs.com
One single line with essential information, and a detailed log kept on disk.| research-development.nomadic-labs.com
Introduction| research-development.nomadic-labs.com
Tezos has activated its tenth upgrade to the protocol, Jakarta.| research-development.nomadic-labs.com
A preview to our upcoming protocol proposal "Kathmandu"| research-development.nomadic-labs.com
Tezt is a test framework for OCaml that has been developed and used by Nomadic Labs.| research-development.nomadic-labs.com
A new proposal Jakarta 2 is released addressing the reported bugs in the previous Tezos Jakarta protocol proposal. We encourage bakers to avoid upvoting of the initial Jakarta proposal, and to upvote Jakarta 2 instead..| research-development.nomadic-labs.com
We take a look at the first cycle of Tenderbake to evaluate the performance of the network, and how it affected the bakers rewards| research-development.nomadic-labs.com
Tezos has activated the ninth upgrade to the protocol, Ithaca 2. It replaces the current consensus algorithm (Emmy*) with Tenderbake – a revolutionary upgrade that sets the stage for a new era of innovation for the Tezos protocol.| research-development.nomadic-labs.com
A successful transition to the Tenderbake consensus mechanism relies| research-development.nomadic-labs.com
This is a joint post from TriliTech, Nomadic Labs, Marigold, Oxhead Alpha, Tarides, DaiLambda, Functori & Tweag.| research-development.nomadic-labs.com
Outline of what the Tenderbake upgrade means for you, and what benefits it will bring| research-development.nomadic-labs.com
In this blog post we’ll describe recent work on improving the Tezos Octez prevalidator by making it faster and more resilient, and outline our plans for the future.| research-development.nomadic-labs.com
A blockchain is a chain of blocks, where a block is a blob of data holding relevant transactions and other data.| research-development.nomadic-labs.com
Tezos is a blockchain1, and a blockchain is a distributed database that gets updated by adding blocks (small bunches of database operations).| research-development.nomadic-labs.com
As a major development center within the Tezos ecosystem, Nomadic Labs routinely performs ongoing reviews and analysis of the Tezos protocol code. In conducting a recent review of the Granada proposal, we identified a low-severity bug that occurs in an uncommon pattern in the handling of comparisons, which we would like to raise awareness of so that developers and bakers can be best informed.| research-development.nomadic-labs.com
If you’re impatient, you are welcome to read the guide and jump right to the simulator now.| research-development.nomadic-labs.com
We are happy to announce that Emmy* is set to be included in the next Tezos protocol proposal Granada,1 replacing the current consensus algorithm Emmy+.| research-development.nomadic-labs.com
UPDATE: We believe that the baking accounts implementation is significantly flawed. See: Baking Accounts proposal contains unexpected breaking changes| research-development.nomadic-labs.com
Summary: | research-development.nomadic-labs.com