<aside> 💡
In its initial version, the Logos Blockchain is designed to support Zones - customisable, performant solutions for applications built on Logos. Zones have broad freedom to define their own state, using the Logos Blockchain to ensure consensus and the availability of Zone data. At the same time, Zones have the option to take advantage of some interoperability features provided by Bedrock - including bridging and cross-Zone messaging. A Zone’s state is updated by a sequencer, which submits state updates to the blockchain.
The idea behind Zones is to make performant applications with the freedom to define an execution environment to suit their needs, with the Logos Blockchain providing economic security and data availability guarantees that the Zone alone could not provide. Bedrock does not attempt to interpret Zone data, instead providing operations via Mantle to allow Zone sequencers to inscribe their state updates permanently to the blockchain.
To ensure the correctness of the Zone state, Zones are left to their own devices instead of relying on a smart contract on the L1 as with Ethereum L2s. This could be done in any number of ways - including publishing ZK validity proofs to be verified by its validators, providing a challenge window for fraud proofs, or by requiring Zone nodes to re-execute the state transition function.
The Zone model described above is very similar to that of conventional Sovereign Rollups. In fact, Zones can be built as pure sovereign rollups, with Bedrock only used for ordering and data availability guarantees. However, Bedrock also provides some optional functionality that somewhat increases the decentralisation and interoperability of Zones without significantly compromising the benefits of the sovereign rollup design.
While a Zone can be implemented with just one sequencer updating the Zone state, this design allows the sequencer to take full advantage of any MEV and represents a centralised point of failure. On Logos, it is also possible to distribute sequencing rights to a permissioned set of parties. These sequencers can compete to be the first to publish the next state update, or take turns sequencing the Zone according to a round-robin schedule. This latter model provides more Bedrock-level protections for Zone users, including an automated timeout for unresponsive sequencers. Decentralised sequencing also allows a given threshold of sequencers to update the sequencer list to remove a malicious sequencer. All these operations are handled by Logos channels.
Users can also take advantage of built-in token bridging to transfer value between Bedrock and Zones. A Zone’s associated channel maintains a token balance, which keeps track of the total token value stored in the Zone. This balance is updated as value is deposited to or withdrawn from a Zone, with notes of equivalent value destroyed or created on Bedrock as a result of these operations.
Note that it is the Zone’s responsibility to ensure that token transfers are executed correctly within its own state. Bedrock only ensures that the total token value withdrawn from a Zone does not exceed the value deposited.
Zone sequencers can use channels to submit messages with arbitrary data, allowing them to communicate on-chain with other sequencers. Sequencers can use these messages to coordinate actions with other sequencers of the same Zone, for example to agree to sign a message modifying the sequencer list. They can also be used to arrange action across several Zones, such as atomic token transfers or other coordinated state transitions. In the latter case, sequencers must interpret all new messages and determine whether the message is directed to them. The Logos Blockchain provides a suggested message standard to make it easier for sequencers to interpret messages from other Zones, but anybody can define their own standard if they so desire.
Zones can implement almost anything, ranging from applications to virtual machines that are home to many different applications. They are best suited for applications that require high performance and do not need strong interoperability.
The Logos Execution Zone (or LEZ) is the flagship Zone on the Logos Blockchain. It serves as the home for applications built using the complete Logos stack, including its messaging and storage modules. It also provides support for private accounts and program execution, with the state being verified via zero knowledge proofs. For more information about the Logos Execution Zone, see the page below: