docs: stone prover trace docs - layout plain (#658)

* Add docs for stone prover trace with plain layout * Add csv traces of fibonacci program * Add stone prover docs to mdbook
lambdaclass · Nov 6, 2023 · 2d2f4e3 · 2d2f4e3
1 parent 0ca4854
commit 2d2f4e3
Show file tree

Hide file tree

Showing 9 changed files with 4,241 additions and 1 deletion.
diff --git a/docs/book.toml b/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"

diff --git a/docs/src/SUMMARY.md b/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)

diff --git a/docs/src/starks/stone_prover/images/interaction_trace.png b/docs/src/starks/stone_prover/images/interaction_trace.png
diff --git a/docs/src/starks/stone_prover/images/main_trace.png b/docs/src/starks/stone_prover/images/main_trace.png
diff --git a/docs/src/starks/stone_prover/images/mem_pool.png b/docs/src/starks/stone_prover/images/mem_pool.png
diff --git a/docs/src/starks/stone_prover/introduction.md b/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.
diff --git a/docs/src/starks/stone_prover/trace_csvs/fib_inter_trace_stone_plain.csv b/docs/src/starks/stone_prover/trace_csvs/fib_inter_trace_stone_plain.csv