add stuff to menu

zksecurity · Dec 21, 2023 · 94f74b9 · 94f74b9
1 parent 4ee0526
commit 94f74b9
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -26,8 +26,11 @@
 
 # Starkex: Verifying Cairo programs on Ethereum
 
-- []()
+- [Overview](./starkex/starkex.md)
+- [Facts](./starkex/facts.md)
+- [Verifying Cairo proofs](./starkex/cairo.md)
+- [Bootloader](./starkex/bootloader.md)
 
 # Starknet
 
-- [Starknet](./starknet/starknet.md)
+- [Starknet](./starknet/starknet.md)