touch

zksecurity · Nov 22, 2023 · b5a54d9 · b5a54d9
1 parent 6a87c31
commit b5a54d9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -23,4 +23,8 @@
 # Cairo
 
 - [Cairo](./cairo/cairo.md)
-- [Cairo public memory](./cairo/memory.md)
+- [Cairo public memory](./cairo/memory.md)
+
+# Verifying Cairo programs on Ethereum
+
+- [Bootloader](./cairo/bootloader.md)
diff --git a/src/air/air.md b/src/air/air.md
@@ -1,3 +1,3 @@
 # AIR
 
-* check https://cronokirby.com/posts/2022/09/notes-on-stark-arithmetization/
+* check https://cronokirby.com/posts/2022/09/notes-on-stark-arithmetization/