El Specs (#280)

* Delete old el-architecture file

* Restored specs to version before merge overwrite

* Restore el-specs images and update image links

* Doc Formatting

* Add code for formatting in appendix

* Single top level heading

* Remove client code links

* Remove general intro

* Improve formatting for katex

* Simplify blob gas equation to approx exponential.

* Move economic model under one heading

* Fix equation rendering issue

Replace latex \tags with \qquad and plain text

* Fix spellings

* Phrasing fixes

* Update el-specs.md

---------

Co-authored-by: Mário Havel <[email protected]>

wordlist.txt

@@ -2,6 +2,12 @@ personal_ws-1.1 en 10000 utf-8
 aantop
 ABI
 accelerometer
+accesedAccountAddresses
+accesedStorageKeys
+accesslistaddress
+accesslistAddress
+accessliststorage
+accesslistStorageKeys
 ACD
 ACL
 addons
@@ -48,6 +54,7 @@ Besu
 Bezout’s
 BFT
 bidpool
+bigcup
 bilinear
 bilinearity
 BIP
@@ -83,6 +90,7 @@ Buterin's
 bypassability
 bytecode
 bytecodes
+CALLCODE
 CalcDifficulty
 CalcExcessBlobGas
 calldata
@@ -144,8 +152,8 @@ CSP
 curation
 customizable
 cybersecurity
-Cypherpunks
 Cypherpunk
+Cypherpunks
 Daemen
 dafny
 D'Amato
@@ -159,9 +167,11 @@ dapps
 DAS
 dataset
 deboost
+decrementation
 decrementing
 DeFi
 Degatchi
+DELEGATECALL
 delegator
 delegators
 deliverables
@@ -222,6 +232,7 @@ eK
 EL
 Elmore
 ELs
+emptyset
 Encodings
 Endian
 env
@@ -275,9 +286,11 @@ Flashbot's
 Flashbots
 Flashboys
 Flashloans
+forall
 Forkchoice
 forkchoiceUpdatedV
 Forky
+Formatting
 FOSS
 frac
 frameborder
@@ -298,6 +311,7 @@ Gasper
 gasPrice
 gasUsed
 Georgios
+geq
 geth
 getPayloadBodiesByHashV
 getPayloadV
@@ -350,10 +364,13 @@ incentivized
 incentivizes
 Incentivizing
 includable
+incrementation
+incrementing
 inevitableeth
 infrastracture
 Infura
 init
+initializationCode
 InsertCoin
 instantiation
 intermediated
@@ -388,16 +405,18 @@ Kyber
 KZG
 Lamport
 Lamport's
+lceil
 ldots
 Lefteris
 leq
 leveldb
+lfloor
 libp
 lifecycle
 Lightclient
 Lightclient's
-litecoin
 linearizer
+litecoin
 liveness
 LLM
 LLMs
@@ -407,6 +426,7 @@ locktime
 Longrightarrow
 lookahead
 lookups
+lor
 LSB
 LSM
 LSP
@@ -472,6 +492,7 @@ NIST's
 Noam
 nonce
 nonces
+nonumber
 NOXX
 NSS
 n't
@@ -508,8 +529,8 @@ performence
 permissionless
 permissionlessness
 PGA
-Pilipovic
 Pigovian
+Pilipovic
 PKCS
 Playdate
 pmod
@@ -523,6 +544,7 @@ PQ
 PQC
 PQCA
 pre
+preAccesedStorageKeys
 precompile
 precompiled
 precompiles
@@ -563,6 +585,7 @@ py
 Pyrmont
 Pyspec
 pytest
+qquad
 qubits
 Quintus
 Raa
@@ -571,17 +594,20 @@ rahul
 RANDAO
 Rareskills
 RB
+rceil
 README
+reciept
 referrerpolicy
 remerkleable
-repo
 replayable
+repo
 responder
 restaking
 retesteth
 Reth
 Reth's
 revm
+rfloor
 rightarrow
 Rikard
 RIPEMD
@@ -653,6 +679,7 @@ StateDB
 stateful
 statelessness
 stateRoot
+STATICCALL
 stf
 StorageShardedKey
 StoragesHistory
@@ -663,6 +690,8 @@ subnets
 suboptimal
 subprotocols
 substack
+substate
+Substate
 subtrees
 Summa
 systemd
@@ -680,6 +709,7 @@ TLA
 tldr
 TLS
 TODO
+touchedAccounts
 TPS
 tracoor
 tradeoff
@@ -697,6 +727,9 @@ TrustLook
 TSTORE
 TTD
 Tx
+txcreate
+txdatanonzero
+txdatazero
 txpool
 txs
 UI
@@ -710,7 +743,6 @@ unguessable
 unincentivized
 upstreamed
 utils
-UTXOs
 UTXO
 UTXOs
 UX