update POS - adding missing docs

Author: EmpieichO

docs/img/pos/MoveStakeDemo.mov

@@ -8,4 +8,60 @@ Nodes on Polygon are therefore designed with a two-layer implementation represen
 
 In particular, and on the execution client side, it delineates on snapshots and state syncing, network configurations, and frequently used commands when running PoS nodes.
 
-On the consesus client side, one finds descriptions on how Heimdall handles; authentication of account addresses, management of validators' keys, management of gas limits, enhancement of transaction verifications, balance transfers, staking and general chain management.   
+On the consesus client side, one finds descriptions on how Heimdall handles; authentication of account addresses, management of validators' keys, management of gas limits, enhancement of transaction verifications, balance transfers, staking and general chain management.
+
+## Architectural overview
+
+The Polygon Network is broadly divided into three layers:
+
+* **Ethereum layer** — a set of contracts on the Ethereum mainnet.
+* **Heimdall layer** — a set of proof-of-stake Heimdall nodes running in parallel to the Ethereum mainnet, monitoring the set of staking contracts deployed on the Ethereum mainnet, and committing the Polygon Network checkpoints to the Ethereum mainnet. Heimdall is based on Tendermint.
+* **Bor layer** — a set of block-producing Bor nodes shuffled by Heimdall nodes. Bor is based on Go Ethereum.
+
+![Figure: Ethereum, Bor and Heimdall archictecture](../../../img/pos/architecture.png)
+
+## Staking smart contracts on Ethereum
+
+To enable the Proof of Stake (PoS) mechanism on Polygon, the system employs a set of staking management contracts on the Ethereum mainnet.
+
+The staking contracts implement the following features:
+
+* The ability for anyone to stake MATIC tokens on the staking contracts on the Ethereum mainnet and join the system as a validator.
+* Earn staking rewards for validating state transitions on the Polygon Network.
+* Save checkpoints on the Ethereum mainnet.
+
+The PoS mechanism also acts as a mitigation to the data unavailability problem for the Polygon sidechains.
+
+## Heimdall (validation layer)
+
+Heimdall layer handles the aggregation of blocks produced by Bor into a Merkle tree and publishes the Merkle root periodically to the root chain. The periodic publishing of snapshots of Bor are called checkpoints.
+
+For every few blocks on Bor, a validator on the Heimdall layer:
+
+1. Validates all the blocks since the last checkpoint.
+2. Creates a Merkle tree of the block hashes.
+3. Publishes the Merkle root hash to the Ethereum mainnet.
+
+Checkpoints are important for two reasons:
+
+1. Providing finality on the root chain.
+2. Providing proof of burn in withdrawal of assets.
+
+An overview of the process:
+
+* A subset of active validators from the pool is selected to act as block producers for a span. These block producers are responsible for creating blocks and broadcasting the created blocks on the network.
+* A checkpoint includes the Merkle root hash of all blocks created during any given interval. All nodes validate the Merkle root hash and attach their signature to it.
+* A selected proposer from the validator set is responsible for collecting all signatures for a particular checkpoint and committing the checkpoint on the Ethereum mainnet.
+* The responsibility of creating blocks and proposing checkpoints is variably dependent on a validator’s stake ratio in the overall pool.
+
+See also [Heimdall architecture](heimdall/index.md).
+<!-- (/docs/pos/design/heimdall/overview). -->
+
+## Bor (block producer layer)
+
+Bor is Polygon's sidechain block producer — the entity responsible for aggregating transactions into blocks.
+
+Bor block producers are a subset of the validators and are shuffled periodically by the Heimdall validators.
+
+See also [Bor architecture](bor/index.md).
+<!-- (/docs/pos/design/bor/overview). -->

docs/img/pos/MoveStakeDemo.mp4

@@ -1 +1,3 @@
-Guide to operating a full node.
+This section of the documentation contains requirements for, and information needed about, operating full nodes, becoming a validator, instantiating an execution client, and extra troubleshooting notes.
+
+Developers can find guides on how to run a fullnode from binaries or with docker, ansible, packages or GCP instance.