some more refactoring

zksecurity · Feb 17, 2025 · 4d7acd0 · 4d7acd0
1 parent a831af0
commit 4d7acd0
Show file tree

Hide file tree

Showing 8 changed files with 7 additions and 22 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -15,25 +15,23 @@ Clarify that Stwo-Cairo is a "particular application" of Stwo.
 
 - [Stwo As a "Universal AIR Prover/Verifier"](air-development/universal-air.md)
 - [How to Write an AIR using Stwo abtractions](air-development/how-to-write-an-air.md)
-- [Simple M31 AIR" example](air-development/simple-m31-air-example.md)
+- ["Simple M31 AIR" example](air-development/simple-m31-air-example.md)
 - [Lookup Abstraction](air-development/lookups.md)
 - [Seperate OpCode, Seperate AIRs](air-development/air-composition.md)
 
 # Cairo as a Stwo AIR
 
 How Cairo is build upon Stwo.
 
-- [Cairo](background/cairo.md)
-- [Builtins](background/builtins.md)
+- [Cairo](cairo/cairo.md)
+- [Builtins](cairo/builtins.md)
 
 # How Does Circle-STARK Work?
 
 (Some of the contents is porting Leo LaTex doc)
 
-- [Architecture Overview](how-it-works/architecture.md)
-- [Proving a Cairo Program](how-it-works/cairo.md)
 - [AIR](how-it-works/air.md)
-- [Columns](how-it-works/columns.md)
+- [Circle STARKs](how-it-works/circle-starks.md)
 - [Lookups](how-it-works/lookups.md)
 
 # Users of Stwo

diff --git a/src/background/cairo.md b/src/background/cairo.md
diff --git a/src/background/builtins.md → src/cairo/builtins.md b/src/background/builtins.md → src/cairo/builtins.md
diff --git a/src/cairo/cairo.md b/src/cairo/cairo.md
@@ -0,0 +1,3 @@
+# Cairo
+
+How Cairo AIR is built on top of Stwo. Maybe compare with stone prover implementation?
diff --git a/src/how-it-works/architecture.md b/src/how-it-works/architecture.md
diff --git a/src/how-it-works/cairo.md b/src/how-it-works/cairo.md
diff --git a/src/background/circle-starks.md → src/how-it-works/circle-starks.md b/src/background/circle-starks.md → src/how-it-works/circle-starks.md
diff --git a/src/how-it-works/columns.md b/src/how-it-works/columns.md
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		# Cairo

		How Cairo AIR is built on top of Stwo. Maybe compare with stone prover implementation?