feat(docs): globals documentation

docs/docs/dev_docs/contracts/globals.md

@@ -1,6 +1,35 @@
-# Globals
+---
+title: Global Variables
+description: Documentation of Aztec's Global Variables in the Public and Private Contexts
+hide_table_of_contents: false
+---
+# Global Variables
+For developers coming from solidity, this concept will be similar to how the global `block` variable exposes a series of block values. The idea is the same in Aztec. Developers can access a namespace of values made available in each function. 
 
-- timestamp
-- block number
-- chain id
-- version
+`Aztec` has two execution environments, Private and Public. Each execution environment contains a different global variables object. 
+
+## Private Global Variables 
+#include_code private-global-variables /yarn-project/noir-libs/noir-aztec/src/abi.nr rust
+
+The private global variables contain:
+### Chain Id
+The chain id differs depending on which Aztec instance you are on ( NOT the Ethereum hardfork that the rollup is settling to ). On original deployment of the network, this value will be 1.
+
+### Version
+The version number indicates which Aztec hardfork you are on. The Genesis block of the network will have the version number 1.
+
+## Public Global Variables
+#include_code public-global-variables /yarn-project/noir-libs/noir-aztec/src/abi.nr rust
+
+The public global variables contain the values present in the `private global variables` described above, with the addition of:
+
+### Timestamp
+The timestamp is the unix timestamp in which the block has been executed. The value is provided by the block's proposer (therefore can have variance). This value will always increase.
+
+### Block Number
+The block number is an sequential identifier that labels each individual block of the network. This value will be the block number of the block the accessing transaction is included in.
+The block number of the genesis block will be 1, with the number increasing by 1 for every block after.
+
+> *Why do the available global variables differ per execution environment?*  
+> The global variables are constrained by the proving environment. In the case of public functions, they are executed on a sequencer that will know the timestamp and number of the next block ( as they are the block producer ).  
+> In the case of private functions, we cannot be sure which block our transaction will be included in, hence we can not guarantee values for the timestamp or block number.