w3f · infinity0 · Jan 21, 2021 · Jan 14, 2021 · Jan 14, 2021 · Jan 14, 2021
diff --git a/docs/Publications.rst b/docs/Publications.rst
@@ -24,6 +24,7 @@ Publications
 
 * Alistair Stewart, "GRANDPA: A Finality Gadget", ACM Computer and Communications Security (CCS), November 2019.
 
+
 **Blog Posts:**
 
 * Fatemeh Shirazi, Logan Saether, Alistair Stewart, Rob Habermeier, Gavin Wood, `Polkadot’s Messaging Scheme <https://medium.com/web3foundation/polkadots-messaging-scheme-b1ec560908b7>`_, Medium, Web3 Foundation, 14/01/2020.
@@ -33,5 +34,8 @@ Publications
 * Fatemeh Shirazi, Jeffrey Burdges, Edward Thomson, and Ignasi Albero, `Messaging Protocol Workshop Outcomes <https://medium.com/web3foundation/messaging-protocol-workshop-outcomes-7a827d02a81a>`_, Medium, Web3 Foundation/Status/Validity Labs meetup review, 21/02/2019.
 
 
+**Specification:**
 
+* Syed Hosseini, Fabio Lama, Florian Franzen, `Polkadot Host Specification <https://w3f.github.io/polkadot-spec/spec/host/latest.pdf>`_
 
+* Syed Hosseini, Fabio Lama, Florian Franzen, `Polkadot Runtime Specification <https://w3f.github.io/polkadot-spec/spec/runtime/latest.pdf>`_
diff --git a/docs/_static/pdf/polkadot-host-spec.pdf b/docs/_static/pdf/polkadot-host-spec.pdf
diff --git a/docs/index.rst b/docs/index.rst
@@ -2,7 +2,7 @@
 Research at Web3 Foundation
 ===========================
 
-Web3 Foundation Research is being done in an in-house :doc:`research team <research_team_members>`, mostly located in Zug (Switzerland), as well as in collaboration with industrial projects and academic research groups. To stay up to date with our research team efforts visit :doc:`news`.
+Web3 Foundation Research is being done in an in-house :doc:`research team <team_members>`, mostly located in Zug (Switzerland), as well as in collaboration with industrial projects and academic research groups. To stay up to date with our research team efforts visit :doc:`news`.
 
 Our research focuses on a number of areas that are relevant to decentralised systems:
 
@@ -28,7 +28,7 @@ Talk to us on Riot at #w3f:matrix.org or on our `forum <https://forum.web3.found
    crypto
    news
    Publications
-   research_team_members
+   team_members
 
 .. The below hack is needed to force sphinx to include MathJax on md pages.
 

diff --git a/docs/news.rst b/docs/news.rst
@@ -38,7 +38,7 @@ News
     Alistair gave a `talk <https://www.youtube.com/watch?v=mk8GWCczXHo>`__ in CV labs on shared security.
 
 **01.07.20**:
-    :doc:`Jonas <research_team_members/Jonas>` has started an internship research position to apply insights from behavioral economics and to analyze the human interaction with the protocol.
+    :doc:`Jonas <team_members/Jonas>` has started an internship research position to apply insights from behavioral economics and to analyze the human interaction with the protocol.
 
 **28.06.20**:
     Alistair has designed a succinct GRANDPA protocol.

diff --git a/docs/polkadot.rst b/docs/polkadot.rst
@@ -15,4 +15,4 @@ Polkadot
    polkadot/networking
    polkadot/economics
    polkadot/security
-   polkadot/Polkadot-Host-Spec
+   polkadot/specifications
diff --git a/docs/polkadot/Availability_and_Validity.md b/docs/polkadot/Availability_and_Validity.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Jeff Burdges](/research_team_members/jeff.html)
+**Owners**: [Jeff Burdges](/team_members/jeff.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/NPoS/1. Overview.md b/docs/polkadot/NPoS/1. Overview.md
@@ -2,7 +2,7 @@
 
 ====================================================================
 
-**Owners**: [Alfonso Cevallos](/research_team_members/alfonso.html)
+**Owners**: [Alfonso Cevallos](/team_members/alfonso.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/NPoS/2. Paper.md b/docs/polkadot/NPoS/2. Paper.md
@@ -1,6 +1,6 @@
 # A verifiably secure and proportional committee election rule
 
-**Authors**: [Alfonso Cevallos](/research_team_members/alfonso.html) and [Alistair Stewart](/research_team_members/alistair.html)
+**Authors**: [Alfonso Cevallos](/team_members/alfonso.html) and [Alistair Stewart](/team_members/alistair.html)
 
 **[arXiv link to reseach paper](https://arxiv.org/abs/2004.12990)**
 

diff --git a/docs/polkadot/NPoS/index.md b/docs/polkadot/NPoS/index.md
@@ -2,7 +2,7 @@
 
 ====================================================================
 
-**Owners**: [Alfonso Cevallos](/research_team_members/alfonso.html)
+**Owners**: [Alfonso Cevallos](/team_members/alfonso.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/block-production/BADASS.md b/docs/polkadot/block-production/BADASS.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Jeff Burdges](/research_team_members/jeff.html), [Handan Kilinc Alper](/research_team_members/handan.html)
+**Owners**: [Jeff Burdges](/team_members/jeff.html), [Handan Kilinc Alper](/team_members/handan.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/block-production/Babe.md b/docs/polkadot/block-production/Babe.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Handan Kilinc Alper](/research_team_members/handan.html)
+**Owners**: [Handan Kilinc Alper](/team_members/handan.html)
 
 ====================================================================
 \(

diff --git a/docs/polkadot/economics/1-token-economics.md b/docs/polkadot/economics/1-token-economics.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Alfonso Cevallos](/research_team_members/alfonso.html), [Jonas Gehrlein](/research_team_members/Jonas.html)
+**Owners**: [Alfonso Cevallos](/team_members/alfonso.html), [Jonas Gehrlein](/team_members/Jonas.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/finality.md b/docs/polkadot/finality.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-Owner: [Alistair Stewart](/research_team_members/alistair.html)
+Owner: [Alistair Stewart](/team_members/alistair.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/index.md b/docs/polkadot/index.md
@@ -21,7 +21,7 @@ Furthermore, Polkadot has a decentralised governance scheme that can change any
 
 **For other information regarding the project please refer to the [wiki page](https://wiki.polkadot.network).**
 
-**We are working on a implementation level specification of the protocol [here](Polkadot-Host-Spec.md).**
+**We also provide implementation level specification of the protocol for the [host](specifications/host.md) as well as the [runtime](specifications/runtime.md).**
 
 ## High-level properties
 

diff --git a/docs/polkadot/keys/index.md b/docs/polkadot/keys/index.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Jeff Burdges](/research_team_members/jeff.html)
+**Owners**: [Jeff Burdges](/team_members/jeff.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/networking.rst b/docs/polkadot/networking.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 **Other authors**: Fatemeh Shirazi, Rob Habermeier
 

diff --git a/docs/polkadot/networking/1-parachains.rst b/docs/polkadot/networking/1-parachains.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 \====================================================================
 

diff --git a/docs/polkadot/networking/3-avail-valid.rst b/docs/polkadot/networking/3-avail-valid.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 \====================================================================
 

diff --git a/docs/polkadot/networking/4-xcmp.rst b/docs/polkadot/networking/4-xcmp.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 **Other authors**: Rob Habermeier, Fatemeh Shirazi
 

diff --git a/docs/polkadot/networking/L-authentication.rst b/docs/polkadot/networking/L-authentication.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 \====================================================================
 

diff --git a/docs/polkadot/networking/L-discovery.rst b/docs/polkadot/networking/L-discovery.rst
@@ -1,6 +1,6 @@
 \====================================================================
 
-**Owners**: :doc:`/research_team_members/Ximin`
+**Owners**: :doc:`/team_members/Ximin`
 
 \====================================================================
 

diff --git a/docs/polkadot/slashing/amounts.md b/docs/polkadot/slashing/amounts.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Alfonso Cevallos](/research_team_members/alfonso.html)
+**Owners**: [Alfonso Cevallos](/team_members/alfonso.html)
 
 ====================================================================
 

diff --git a/docs/polkadot/slashing/npos.md b/docs/polkadot/slashing/npos.md
@@ -1,6 +1,6 @@
 ====================================================================
 
-**Owners**: [Jeffrey Burdges](/research_team_members/jeff.html)
+**Owners**: [Jeffrey Burdges](/team_members/jeff.html)
 
 **Other authors**: Robert Habermeier, Alfonso Cevallos
 

diff --git a/docs/polkadot/specifications.rst b/docs/polkadot/specifications.rst
@@ -0,0 +1,19 @@
+\====================================================================
+
+**Owners**: :doc:`/team_members/syed`
+
+**Other authors**: :doc:`/team_members/fabio`, :doc:`/team_members/florian`
+
+\====================================================================
+
+==============
+Specifications
+==============
+
+The Polkadot protocol is described in following specifications:
+
+.. toctree::
+   :glob:
+   :maxdepth: 1
+
+   specifications/*
diff --git a/docs/polkadot/Polkadot-Host-Spec.md → docs/polkadot/specifications/host.md b/docs/polkadot/Polkadot-Host-Spec.md → docs/polkadot/specifications/host.md
@@ -1,18 +1,17 @@
 ====================================================================
 
-**Owners**: [Syed Hosseini](/research_team_members/syed.html)
+**Owners**: [Syed Hosseini](/team_members/syed.html)
 
-**Other authors**: Fabio Lama, Florian Franzen
+**Other authors**: [Fabio Lama](/team_members/fabio.html), [Florian Franzen](/team_members/florian.html)
 
 ====================================================================
 
-# Specification
+# Host Specification
 
 This page contains the Polkadot Host Specification, a document mostly of
 interest to implementers and/or other engineers wishing to interoperate with
 Polkadot. It goes into full low-level detail; high-level design ideas are
 presented in a more readable way in preceding documents.
 
-TODO: move to publications
+<iframe src="../../_static/pdfview/viewer.html?file=https://w3f.github.io/polkadot-spec/spec/host/latest.pdf" width="100%" height="650em"></iframe>
 
-<iframe src="../_static/pdfview/viewer.html?file=../pdf/polkadot-host-spec.pdf" width="100%" height="650em"></iframe>
diff --git a/docs/polkadot/specifications/runtime.md b/docs/polkadot/specifications/runtime.md
@@ -0,0 +1,17 @@
+====================================================================
+
+**Owners**: [Syed Hosseini](/team_members/syed.html)
+
+**Other authors**: [Fabio Lama](/team_members/fabio.html), [Florian Franzen](/team_members/florian.html)
+
+====================================================================
+
+# Runtime Specification
+
+This page contains the Polkadot Runtime Specification, a document mostly of
+interest to implementers and/or other engineers wishing to understand internal
+details. It goes into some of the low-level detail behind the official runtime
+implementation.
+
+<iframe src="../../_static/pdfview/viewer.html?file=https://w3f.github.io/polkadot-spec/spec/runtime/latest.pdf" width="100%" height="650em"></iframe>
+
diff --git a/docs/research_team_members.rst b/docs/research_team_members.rst
diff --git a/docs/team_members.rst b/docs/team_members.rst
@@ -0,0 +1,36 @@
+============
+Team Members
+============
+
+Research Team
+=============
+
+The core Web3 Foundation research team working on various areas relevant to decentralised systems.
+
+.. toctree::
+   :maxdepth: 1
+
+   team_members/alfonso
+   team_members/alistair
+   team_members/fatemeh
+   team_members/handan
+   team_members/jeff
+   team_members/Jonas
+   team_members/Oana
+   team_members/samuel
+   team_members/Sergey
+   team_members/syed
+   team_members/Ximin
+
+Specification Team
+==================
+
+The spec team turns protocol designs into implementable specification and reviews implementations for discrepancies.
+
+.. toctree::
+   :maxdepth: 1
+
+   team_members/fabio
+   team_members/florian
+   team_members/syed
+
diff --git a/docs/research_team_members/Alfonso.jpg → docs/team_members/Alfonso.jpg b/docs/research_team_members/Alfonso.jpg → docs/team_members/Alfonso.jpg
diff --git a/docs/research_team_members/Fatemeh.jpg → docs/team_members/Fatemeh.jpg b/docs/research_team_members/Fatemeh.jpg → docs/team_members/Fatemeh.jpg
diff --git a/docs/research_team_members/Jeff.jpg → docs/team_members/Jeff.jpg b/docs/research_team_members/Jeff.jpg → docs/team_members/Jeff.jpg
diff --git a/docs/research_team_members/Jonas.md → docs/team_members/Jonas.md b/docs/research_team_members/Jonas.md → docs/team_members/Jonas.md
diff --git a/docs/research_team_members/Oana.md → docs/team_members/Oana.md b/docs/research_team_members/Oana.md → docs/team_members/Oana.md
diff --git a/docs/research_team_members/Sergey.md → docs/team_members/Sergey.md b/docs/research_team_members/Sergey.md → docs/team_members/Sergey.md
diff --git a/docs/research_team_members/Ximin.md → docs/team_members/Ximin.md b/docs/research_team_members/Ximin.md → docs/team_members/Ximin.md
diff --git a/docs/research_team_members/alfonso.md → docs/team_members/alfonso.md b/docs/research_team_members/alfonso.md → docs/team_members/alfonso.md
diff --git a/docs/research_team_members/alistair.md → docs/team_members/alistair.md b/docs/research_team_members/alistair.md → docs/team_members/alistair.md
diff --git a/docs/team_members/fabio.md b/docs/team_members/fabio.md
@@ -0,0 +1,5 @@
+# Fabio Lama
+
+fabio@web3.foundation
+
+Member of the Spec Team
diff --git a/docs/research_team_members/fatemeh.md → docs/team_members/fatemeh.md b/docs/research_team_members/fatemeh.md → docs/team_members/fatemeh.md
diff --git a/docs/team_members/florian.md b/docs/team_members/florian.md
@@ -0,0 +1,5 @@
+# Florian Franzen
+
+florian@web3.foundation
+
+Member of the Spec Team
diff --git a/docs/research_team_members/handan.jpg → docs/team_members/handan.jpg b/docs/research_team_members/handan.jpg → docs/team_members/handan.jpg
diff --git a/docs/research_team_members/handan.md → docs/team_members/handan.md b/docs/research_team_members/handan.md → docs/team_members/handan.md
diff --git a/docs/research_team_members/jeff.md → docs/team_members/jeff.md b/docs/research_team_members/jeff.md → docs/team_members/jeff.md
diff --git a/docs/research_team_members/samuel.md → docs/team_members/samuel.md b/docs/research_team_members/samuel.md → docs/team_members/samuel.md
diff --git a/docs/research_team_members/samuel2.png → docs/team_members/samuel2.png b/docs/research_team_members/samuel2.png → docs/team_members/samuel2.png
diff --git a/docs/research_team_members/syed.md → docs/team_members/syed.md b/docs/research_team_members/syed.md → docs/team_members/syed.md