Using Espresso
This section describes the recommended architecture for a ZK rollup integrated with Espresso. Additions, deletions, and changes are highlighted in comparison with the typical ZK rollup architecture.
Components
Espresso brings a few new components into the picture:
Espresso runs a marketplace where rollups sell sequencing rights to determine their sequencer in any given slot.
HotShot finalizes the result of the auction, as well as the blocks produced by the elected sequencers. This ensures that the sequencer election and finalization process is handled in a decentralized and secure fashion, owing to the many nodes participating in HotShot, combined with slashable stake.
Tiramisu provides data availability for all blocks output by the sequencer. This availability is guaranteed by the same operator set that guarantees finality, so it is reliable, and rollups have the option of using Tiramisu as their standalone data availability layer if they wish. Tiramisu is designed to provide higher throughput and lower fees than Ethereum's data availability layer.
The Sequencer Contract runs a HotShot client on the layer 1 blockchain, verifying the finality of each sequenced block and storing a binding commitment to the order of blocks decided by HotShot. As described in the following sections, rollup contracts on the same layer 1 can use this contract to relate their state transitions to the committed block order.
Transaction Flow
The transaction flow with Espresso is very similar to the transaction flow without. The main difference is in how sequenced blocks get disseminated. When not integrated with Espresso, rollup nodes are free to choose from where they fetch sequenced blocks: from the rollup contract on layer 1, or directly from the sequencer. Espresso, however, does not send sequenced blocks to each rollup contract: doing so would be expensive and would not meet the needs of all rollups. Instead, Espresso only sends sequenced blocks to one place—the sequencer contract—and it only sends a commitment to each block, at that: since Espresso provides its own data availability solution, the default is not to store entire blocks on the layer 1.
With this new flow, rollup nodes may choose how they get notified of new blocks: either by streaming them directly from Espresso or streaming events from the sequencer contract. But in either case, they must download the block contents from Espresso's data availability API. Furthermore, rollups that still wish to use the layer 1 for data availability are responsible for sending the necessary data to the layer 1 once it has been sequenced.
It is important to note that while the transaction flow changes in terms of how transactions get sequenced and how rollups consume that sequence, there is no change in what a rollup does with a block after it is sequenced. This means that the execution layer, which makes up the bulk of the complexity of many rollups, can be used completely unmodified with Espresso.
The following sections describe how the components of the rollup must be modified to support the updated transaction flow and retain security.
Rollup Proofs in a Shared-Sequencer World
The bulk of the changes relate to the state transition proofs, requiring additions to both the prover and the verifier (which may be part of the rollup contract, or may be an off-chain component, in the case of sovereign rollups). The difference stems from the statement which needs to be proven. In a typical ZK rollup that only has to deal with a single, centralized sequencer, the prover proves a statement of the form:
Given a block B and an initial state root S, the result of applying the state transition function is a new state root S'.
The verifier checks both that the proof is correct, or internally consistent, and also that it is relevant: that S is the current state root and B is the next block in the sequence. Only then does it accept S' as the new state root. The on-chain verifier can easily do this check because the sequencer is sending blocks (or block commitments) directly to the rollup contract, and those blocks contain only transactions that are relevant to this particular rollup. Therefore the contract simply reads the last sequenced block directly from its own storage and compares it with B (or compares a commitment to the last block with a commitment to B). The job of an off-chain verifier is similarly straightforward; it may also read the last sequenced block from the contract, or it may fetch the block directly from the sequencer along with some kind of authentication. In the case of a trusted, centralized sequencer, this authentication could be a simple signature.
Things are a bit more complicated when the sequencer is
decentralized, and
can be shared among multiple rollups
as is the case in Espresso. Blocks processed by HotShot may contain transactions meant for other rollups, which must be filtered out, and the process of checking that a block has been sequenced by HotShot is more complicated than verifying a simple signature.
Handling Multi-Rollup Blocks
Let's tackle the first problem first. The statement that must be proven now reads something like
Given a block commitment C, the block B contains all of the transactions belonging to rollup R in C, and only those transactions, in the same order as they appear in C. Furthermore, given an initial state root S, the result of applying the state transition function to B and S is a new state root S'.
The second part of the proof stays the same, which is good: this is where the zero-knowledge proof encodes the semantics of the rollup's state transition function, and, since rollup VMs tend to be fairly complex (e.g. EVM) this is where most of the proving complexity lies. Thus, the changes required of the state transition proof will mainly be additions, and will not affect the semantics of the state transition function at all.
The first part of the statement has changed substantially. Let's break it down:
Given a block commitment C
We work with a succinct commitment to the block, rather than the whole block, because we don't want to bring transactions from other rollups into the proof.
the block B contains all of the transactions belonging to rollup R in C
Since we do not have the entire block, only a commitment C, the state transition proof must contain a completeness proof which shows that the block being executed, B, does not omit any transactions for this rollup which were sequenced in C. Otherwise, two provers could execute a different subset of the relevant transactions, arrive at different state roots, and successfully verify proofs of both conflicting states. This attack essentially gives malicious actors a way to fork a ZK rollup, so the completeness proof here is essential!
To permit an efficient proof of completeness, C is computed according to the Savoiardi VID scheme described in Appendix A of The Espresso Sequencing Network. The Espresso SDK, also under development, will include predefined functions for working with these commitments and doing proofs about them, so the complexity will be abstracted away from rollup integrations.
and only those transactions
In addition to completeness, the block commitment scheme also defines a protocol for proving inclusion. This prevents a forking attack where a malicious prover executes some transactions that were not in the original block.
in the same order as they appear in C.
The last point is subtle. The inclusion and completeness proofs provided by the block commitment scheme enforce an ordering, which prevents a forking attack where a malicious prover executes the right transactions in the wrong order. However, some rollups may then apply a deterministic reordering function to ensure that the transactions are executed in an order which respects VM-specific constraints. For example, an EVM-compatible rollup may define the execution of a block B as first reordering the transactions in B by nonce order, and then executing the result. This reordering function would be encoded in the zero-knowledge proof just like other rules of the rollup's execution layer. It may be beneficial to do so, because HotShot is agnostic to the semantics of any particular rollup and does not enforce ordering constraints at the consensus level.
However, most rollups can probably consider this step optional. In practice, the sequencers elected through the Espresso marketplace will need to be aware of rollup-specific semantics in order to justify the price they are paying for the sequencing rights. These sequencers will seek to create valuable blocks, either by requiring users to pay fees or via arbitrage, and thus they will have an economic incentive to fill their blocks with valid transactions. In most cases, then, it will be sufficient for rollups to reject transactions that are "out of order", and in the case of EVM rollups, this is already done, as transactions with an incorrect nonce are considered invalid. Rejecting invalid transactions can be somewhat simpler than unconditionally sorting or reordering a whole block.
Checking That a Block Has Been Sequenced
With a centralized sequencer, it is usually straightforward to confirm whether a given block has been sequenced at a given position in the chain. The sequencer may have a known public key, for which it can produce a signature on any given block. Or, the sequencer may own the only Ethereum account authorized to call the function on the rollup contract which stores a new block on the layer 1.
With a decentralized system, things are a bit more complicated. Rollups that integrate with Espresso have their blocks processed by a decentralized consensus protocol, where thousands of nodes act as peers, and no one node has the privilege of unilaterally determining the status of sequenced rollup blocks. A block is considered finalized if this network of peers reaches consensus on the decision to include that rollup block at the next available position in the chain. Luckily, the process of reaching consensus produces artifacts which can be independently verified by non-participants of consensus, including smart contracts. These artifacts are called quorum certificates, or QCs.
A quorum certificate shows that a vote took place to include a certain block in a certain view, and that consensus nodes controlling a sufficient fraction of the total stake voted yes. The certificate contains an aggregated signature from those that voted. Due to the nature of distributed consensus, it actually requires three (in an upcoming version of HotShot this will be reduced to two) consecutive rounds of voting to finalize a block, so a chain of three consecutive valid QCs is definitive evidence that a block (and all previous blocks) has been finalized. Thus, any client — such as a rollup state transition verifier — wishing to verify that a rollup block has been sequenced must obtain and validate a chain of three consecutive QCs.
Luckily, the work required to verify finality for each sequenced block is the same across all rollups using Espresso, and can be shared. This is where the Sequencer Contract comes in. It is a single contract that receives commitments to sequenced blocks along with QCs proving the finality of those commitments, verifies the QCs, and stores a commitment to the finalized order of blocks. Anyone can append a commitment to a newly sequenced block to the contract, simply by providing a valid chain of QCs, which can be obtained from any honest consensus node.
Once the sequencer contract has done the hard work of checking QCs to verify that a block is finalized, anyone else can check finality simply by checking that the block is included in the sequence committed to by the contract. The contract uses a Merkle tree to commit to the sequence of finalized blocks, storing the root of this tree, so this check is usually done by Merkle proof.
In a typical ZK rollup, there are several parties who need to verify that a certain block has been sequenced:
The executor/prover must verify that a block has been sequenced before executing it. It can do this easily by waiting for the sequencer contract to verify the block and emit an event confirming that the block has been finalized. However, the executor may opt to confirm the block faster than the sequencer contract (thus providing preconfirmations to users) by downloading and verifying the QCs itself. There are two options for verifying QCs:
Use the Espresso SDK to run the same QC verification algorithm that HotShot consensus uses
Participate in consensus as a sequencer node. The sequencer node interface exposes a stream of verified blocks that the executor can then consume.
The rollup contract can read the sequence commitment directly from the sequencer contract. It then has two choices:
It can require the prover to pass in a Merkle proof showing that the block commitment C from the state transition proof exists at a certain position in the Merkle tree
It can make the Merkle root a public input to the state transition proof, and the prover can prove in zero knowledge that the commitment C exists at a certain position in the Merkle tree. These choices allow a tradeoff between work done by the prover (which may be slow) and work done by the rollup contract (which may be expensive). In either case, the Espresso Sequencer SDK will provide functionality for verifying these Merkle proofs on-chain and for encoding them in a zero-knowledge proof.
Rollup users may need to verify a state transition proof, especially in sovereign rollups, rather than relying on the rollup contract to do so. They can follow a very similar process as the executor/prover, either verifying QCs on their own or waiting for the sequencer contract to do so.
Transaction Format
From the sequencer's perspective, a transaction is just an array of bytes with an integer attached to identify the rollup that the transaction belongs to. Therefore, rollups using Espresso can keep their existing transaction format. The only change required is that, if the rollup provides a service like JSON-RPC that accepts transaction submissions, it must be modified to attach the rollup identifier when forwarding the transaction to Espresso.
The rollup identifier works much like an EVM chain ID. Each rollup is completely free to choose whatever identifier they want. However, it is strongly recommended to choose an identifier that no other rollup is using, because the rollup identifier determines which transactions are included in the completeness proof when filtering a multi-rollup block. Therefore, if you choose a rollup identifier which is already in use, your rollup will be forced to execute not only its own transactions but also all of those intended for the rollup with the same ID.
Downloading Data
Once a block has been sequenced, various rollup participants will need to download it or a subset of it from the Tiramisu data availability layer. We consider three main use cases:
A node wants to get notified when a new block is sequenced
An end user wants a proof that a particular transaction has been included in a block, but they don't want to download the entire block. This is a way of obtaining fast finality, because once a transaction is included in a sequencer block, it is guaranteed that the rollup will eventually execute it. (This follows from completeness proofs.)
An executor wants to download just the subset of a block pertaining to the relevant rollup, with a proof that the server has provided the correct transactions in the correct order.
All of these use cases can make use of the availability API. Any HotShot node or client can provide this API by plugging in the modular HotShot query service, and Espresso Systems will operate at least one node which serves this API at a public URL.
New Block Notifications
The availability API provides several streaming endpoints, which a client can connect to using a WebSockets client. These endpoints allow clients to receive information when a new block is sequenced or becomes available in the DA layer, without excessive polling. The streaming endpoints are:
/availability/stream/leaves/:height
Stream blocks as soon as they are sequenced, starting from
:height
(use 0 to start from genesis). The stream yields leaves, which contain metadata about finalized blocks such as the identity of the node that proposed them, the signature from nodes that voted for the block, and so on. This is the fastest way to learn of new blocks being sequenced, but because Tiramisu disseminates data asynchronously, the actual contents of the block may or may not be included in this stream./availability/stream/blocks/:height
This endpoint is similar to the leaves stream, but it waits until a block is fully available for download from Tiramisu before notifying the client. Each entry in the stream is a block with its full contents.
/availability/stream/headers/:height
This endpoint is similar to the blocks stream, in that it will not notify the client of a new block until the full contents of that block are ready for download. However, it will not send the full contents of the block. It will only send the block header, which contains metadata like the block height and timestamp. This is a good way to wait until a block is sequenced, at which time you can use some of the finer-grained endpoints discussed below to download only a subset of the block contents, saving bandwidth.
In the following sub-sections, it is assumed that clients of the availability API will use one of these streams to wait for more blocks to be sequenced before querying for the specific data they are interested in.
Single-Transaction Finality
The typical flow for this use case is
A user builds a transaction using rollup-specific client software.
The user saves the hash of their transaction and then submits it.
The user queries the availability API for proof that a transaction with the same hash has been included in a block.
The user checks that the resulting block has in fact been finalized.
The user verifies the proof, at which point it is guaranteed that the rollup will eventually execute the transaction.
The query for a proof uses the endpoint GET /availability/transaction/hash/:hash
, replacing :hash
with the tagged base 64 encoding of their transaction hash. If the requested transaction has in fact been sequenced, the response is a JSON object with a key proof
, containing a proof of inclusion in a block, as well as metadata about the block, such as height
and block_hash
. It does not include the full block contents, so the bandwidth usage is minimal.
The user can check that block_hash
has been sequenced as described above: either by checking for the corresponding event from the sequencer contract, or by downloading the relevant QCs and verifying them manually. The QCs can be obtained using the endpoint GET /availability/leaf/:height
, and the Espresso Sequencer SDK will include functionality for verifying them.
Once the user has confirmed that the block is finalized, the only thing left to do is to verify the proof that the transaction of interest was included in that block. This is a namespace KZG inclusion proof just like the ones used in the state transition proofs, and the SDK will include functionality for verifying it.
Rollup's Subset of a Block
Rollup executors must download transactions relevant to their rollup in order to execute, but it would be wasteful to download entire blocks, which may contain many transactions from other rollups. However, they do not generally want to trust the availability service to provide the correct subset of transactions. The desired flow is:
An executor queries for the relevant subset of the next block.
The availability service responds with the desired transactions and a proof of completeness and inclusion.
The executor verifies that the block has been sequenced, verifies the completeness/inclusion proof, and then executes the transactions.
The executor's query has the form GET /availability/block/:height/namespace/:rollup-id
. On success, this returns a JSON object with two keys:
block
, a commitment to the desired blockproof
, which includes within it a list of transactions and proves their inclusion and completeness inblock
.
The executor checks that block
has been sequenced at :height
as described above: either by checking for the corresponding event from the sequencer contract, or by downloading the relevant QCs and verifying them manually. The QCs can be obtained using the endpoint GET /availability/leaf/:height
, and the Espresso SDK will include functionality for verifying them.
proof
is a KZG namespace proof just like the ones used in the state transition proofs, and the SDK will include functionality for verifying it. After verifying the proof, the executor is assured that block :height
includes all the returned transactions, in the correct order, and no other transactions with ID :rollup-id
. It can then execute the transactions to compute the next rollup state.
Data Availability
Tiramisu is a scalable and secure data availability solution which ensures that all sequenced blocks will be available for rollup participants to download and execute. This ensures that any participant can reconstruct the state of the rollup.
While Tiramisu with ETH restaking can be just as secure as Ethereum DA, using it as the only source of data availability technically makes a rollup into a validium. Some rollups in the Ethereum ecosystem place a high value on persisting all of their data to Ethereum. Espresso supports both approaches. Any rollup may continue to use Ethereum for DA in addition to Tiramisu simply by having a rollup node send each block produced via Espresso to a layer 1 contract. If your existing rollup already uses Ethereum DA, this is actually one less change you have to make!
Last updated