docs: stone prover trace docs - layout plain

docs/book.toml

@@ -1,5 +1,5 @@
 [book]
-authors = ["Javier Chatruc", "Estéfano Bargas"]
+authors = ["Javier Chatruc", "Estéfano Bargas", "Mauro Toscano", "Diego Kingston", "Sergio Chouhy", "Agustín Garassino", "Mariano Nicolini"]
 language = "en"
 multilingual = false
 src = "src"

docs/src/SUMMARY.md

@@ -18,6 +18,8 @@
     - [Implementation](./starks/implementation.md)
         - [High Level API](./starks/api.md)
         - [Under the hood](./starks/under_the_hood.md)
+    - [Stone prover](./starks/stone_prover/introduction.md)
+        - [Plain layout trace description](./starks/stone_prover/trace_plain_layout.md)
 
 - [Cairo](./starks/cairo.md)
     - [Trace Formal Description](./starks/cairo_trace_succinct.md)

docs/src/starks/stone_prover/introduction.md

@@ -0,0 +1,2 @@
+# Stone prover documentation
+This section is a reference to the information gathered regarding Starkware's Stone prover.