Info about network, operators, and trust model (#232)

* Info about network, operators, and trust model

* only one honest Rollup Node operator

Co-authored-by: Thomas Letan <[email protected]>

* Use "Smart Rollup"

* Honest Rollup Nodes

Co-authored-by: Thomas Letan <[email protected]>

* Smart Rollup nodes

* Remove mention  that sequencer runs an SR node

Co-authored-by: Thomas Letan <[email protected]>

* Transaction fee

Co-authored-by: Thomas Letan <[email protected]>

* Fees

Co-authored-by: Thomas Letan <[email protected]>

* Clarify

* The delayed inbox ensures

Co-authored-by: Thomas Letan <[email protected]>

* through Tezos bakers

Co-authored-by: Thomas Letan <[email protected]>

* Change "censors" to "does not include"

* whose address on Etherlink

Co-authored-by: Thomas Letan <[email protected]>

* How to look up current node operators

---------

Co-authored-by: Thomas Letan <[email protected]>

docs/network/operators.md

@@ -0,0 +1,37 @@
+---
+title: Network operators
+---
+
+Etherlink relies on operators who run nodes.
+For information on the roles of these different nodes, see [Etherlink architecture](/network/architecture).
+
+## Nodes
+
+Anyone can run Etherlink [EVM nodes](/network/evm-nodes) and [Smart Rollup nodes](/network/smart-rollup-nodes), and due to the optimistic nature of Tezos [Smart Rollups](https://docs.tezos.com/architecture/smart-rollups) it takes only one honest Smart Rollup node operator to keep Etherlink secure.
+Honest Smart Rollup nodes can catch any misbehavior by other nodes by refuting their incorrect commitments.
+
+These organizations currently run Etherlink nodes:
+
+- [The Tezos Foundation](https://tezos.foundation/)
+- [MIDL.dev](http://midl.dev/)
+- [Zeeve](https://www.zeeve.io)
+
+You can look up the current node operators by checking the accounts that currently have bond set so they can post commitments for the Etherlink Smart Rollup, such as on the TzKT block explorer: https://tzkt.io/sr1Ghq66tYK9y3r8CC1Tf8i8m5nxh8nTvZEf/bondholders.
+
+## Sequencer
+
+Etherlink users rely on the sequencer to put transactions in a fair order and to ensure that transactions are included quickly.
+Under normal circumstances, Etherlink users trust the sequencer to include their transactions, but if it does not, they can insert their transactions into the delayed inbox to force them to be included, as described in [Transaction lifecycle](/network/architecture#transaction-lifecycle).
+
+Currently only the sequencer operator can run a sequencer, which is an Etherlink EVM node running in sequencer mode.
+Users relying on the sequencer to include their transactions in Etherlink pay a so-called DA (Data Availability) fee, which covers the cost of including the transaction in a Layer 1 block.
+The address of the sequencer operator's account (the account that receives the DA fees) is determined as part of the governance process.
+As described in [Sequencer Committee governance](/governance/how-is-etherlink-governed#sequencer-committee-governance), users can propose and vote on new sequencer operators.
+You can watch the results of the governance process at https://governance.etherlink.com.
+
+These features give Etherlink users two important checks on the sequencer operator's power:
+
+- The delayed inbox ensures that if the sequencer does not include transactions, Etherlink users can force transactions to be included
+- If the sequencer does not operate efficiently or fairly, Etherlink users through Tezos bakers can vote the operator out
+
+The sequencer is currently run by [MIDL.dev](http://midl.dev/), whose address on Etherlink is [0xCF02B9Ca488f8F6F4E28e37AA1bDD16b3F1b2aD8](https://explorer.etherlink.com/address/0xCF02B9Ca488f8F6F4E28e37AA1bDD16b3F1b2aD8).

sidebars.js

@@ -66,6 +66,7 @@ const sidebars = {
       items: [
         'network/architecture',
         'network/fees',
+        'network/operators',
         'network/smart-rollup-nodes',
         'network/evm-nodes',
         'network/building-kernel',