├── .github └── workflows │ └── deploy.yml ├── .gitignore ├── Makefile ├── README.md ├── book.toml ├── macros.txt ├── mdbook-admonish.css ├── mermaid-init.js ├── mermaid.min.js └── src ├── SUMMARY.md ├── air └── air.md ├── cairo ├── bootloader.md ├── builtin_memory_layout.png ├── builtins.md ├── cairo.md ├── cairo_verifier_example.png ├── cairo_vm.md ├── cairo_vm.png ├── depth_first_search_verification.png ├── final_bootloader_output_structure.png ├── iteratively_creating_proofs.png ├── memory.md ├── parallel_simple_bootloaders.png ├── perfect_loop.png ├── sample_bootloader_run.png ├── simple_bootloader_memory_layout.png ├── simple_bootloader_output_memory_layout.png └── simple_tree.png ├── chapter_1.md ├── fri ├── deep.md └── fri.md ├── introduction.md ├── math ├── code_theory.md ├── extension_fields.md ├── finite_fields.md └── lde.md ├── stark ├── overview.md └── stark.md ├── starkex ├── bootloader.md ├── cairo.md ├── facts.md ├── proof-splitter.md └── starkex.md └── starknet └── starknet.md /.github/workflows/deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/.github/workflows/deploy.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/README.md -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/book.toml -------------------------------------------------------------------------------- /macros.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/macros.txt -------------------------------------------------------------------------------- /mdbook-admonish.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/mdbook-admonish.css -------------------------------------------------------------------------------- /mermaid-init.js: -------------------------------------------------------------------------------- 1 | mermaid.initialize({startOnLoad:true}); 2 | -------------------------------------------------------------------------------- /mermaid.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/mermaid.min.js -------------------------------------------------------------------------------- /src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/SUMMARY.md -------------------------------------------------------------------------------- /src/air/air.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/air/air.md -------------------------------------------------------------------------------- /src/cairo/bootloader.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/bootloader.md -------------------------------------------------------------------------------- /src/cairo/builtin_memory_layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/builtin_memory_layout.png -------------------------------------------------------------------------------- /src/cairo/builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/builtins.md -------------------------------------------------------------------------------- /src/cairo/cairo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/cairo.md -------------------------------------------------------------------------------- /src/cairo/cairo_verifier_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/cairo_verifier_example.png -------------------------------------------------------------------------------- /src/cairo/cairo_vm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/cairo_vm.md -------------------------------------------------------------------------------- /src/cairo/cairo_vm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/cairo_vm.png -------------------------------------------------------------------------------- /src/cairo/depth_first_search_verification.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/depth_first_search_verification.png -------------------------------------------------------------------------------- /src/cairo/final_bootloader_output_structure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/final_bootloader_output_structure.png -------------------------------------------------------------------------------- /src/cairo/iteratively_creating_proofs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/iteratively_creating_proofs.png -------------------------------------------------------------------------------- /src/cairo/memory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/memory.md -------------------------------------------------------------------------------- /src/cairo/parallel_simple_bootloaders.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/parallel_simple_bootloaders.png -------------------------------------------------------------------------------- /src/cairo/perfect_loop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/perfect_loop.png -------------------------------------------------------------------------------- /src/cairo/sample_bootloader_run.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/sample_bootloader_run.png -------------------------------------------------------------------------------- /src/cairo/simple_bootloader_memory_layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/simple_bootloader_memory_layout.png -------------------------------------------------------------------------------- /src/cairo/simple_bootloader_output_memory_layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/simple_bootloader_output_memory_layout.png -------------------------------------------------------------------------------- /src/cairo/simple_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/cairo/simple_tree.png -------------------------------------------------------------------------------- /src/chapter_1.md: -------------------------------------------------------------------------------- 1 | # Introduction 2 | -------------------------------------------------------------------------------- /src/fri/deep.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/fri/deep.md -------------------------------------------------------------------------------- /src/fri/fri.md: -------------------------------------------------------------------------------- 1 | # FRI 2 | -------------------------------------------------------------------------------- /src/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/introduction.md -------------------------------------------------------------------------------- /src/math/code_theory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/math/code_theory.md -------------------------------------------------------------------------------- /src/math/extension_fields.md: -------------------------------------------------------------------------------- 1 | # Extension Fields 2 | -------------------------------------------------------------------------------- /src/math/finite_fields.md: -------------------------------------------------------------------------------- 1 | # Finite Fields 2 | -------------------------------------------------------------------------------- /src/math/lde.md: -------------------------------------------------------------------------------- 1 | # Functions and low-degree extension 2 | -------------------------------------------------------------------------------- /src/stark/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/stark/overview.md -------------------------------------------------------------------------------- /src/stark/stark.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/stark/stark.md -------------------------------------------------------------------------------- /src/starkex/bootloader.md: -------------------------------------------------------------------------------- 1 | # Bootloader 2 | 3 | -------------------------------------------------------------------------------- /src/starkex/cairo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/starkex/cairo.md -------------------------------------------------------------------------------- /src/starkex/facts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/starkex/facts.md -------------------------------------------------------------------------------- /src/starkex/proof-splitter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/starkex/proof-splitter.md -------------------------------------------------------------------------------- /src/starkex/starkex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/starkex/starkex.md -------------------------------------------------------------------------------- /src/starknet/starknet.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zksecurity/stark-book/HEAD/src/starknet/starknet.md --------------------------------------------------------------------------------