diff --git a/book/generating-proofs/basics.md b/book/generating-proofs/basics.md index 33778d210c..3643c5fd6f 100644 --- a/book/generating-proofs/basics.md +++ b/book/generating-proofs/basics.md @@ -11,5 +11,5 @@ To make this more concrete, let's walk through a simple example of generating a ## Fibonacci ```rust,noplayground -{{#include ../../examples/fibonacci-io/src/main.rs}} +{{#include ../../examples/fibonacci-io/program/src/main.rs}} ``` \ No newline at end of file diff --git a/book/writing-programs/basics.md b/book/writing-programs/basics.md index c15f96c4cc..6c0bd5648f 100644 --- a/book/writing-programs/basics.md +++ b/book/writing-programs/basics.md @@ -14,7 +14,7 @@ To make this more concrete, let's walk through a simple example of writing a Fib This program is from the `examples` [directory](https://github.com/succinctlabs/sp1/tree/main/examples) in the SP1 repo which contains several example programs of varying complexity. ```rust,noplayground -{{#include ../../programs/demo/fibonacci-io/src/main.rs}} +{{#include ../../examples/fibonacci-io/program/src/main.rs}} ``` As you can see, writing programs is as simple as writing normal Rust. To read more about how inputs and outputs work, refer to the section on [Inputs & Outputs](./inputs-and-outputs.md). \ No newline at end of file diff --git a/book/writing-programs/inputs-and-outputs.md b/book/writing-programs/inputs-and-outputs.md index 23d64d906f..0917a81ceb 100644 --- a/book/writing-programs/inputs-and-outputs.md +++ b/book/writing-programs/inputs-and-outputs.md @@ -62,5 +62,5 @@ For more complex usecases, refer to the [Serde docs](https://serde.rs/). Here is a basic example of using inputs and outputs with more complex types. ```rust,noplayground -{{#include ../../programs/demo/io/src/main.rs}} +{{#include ../../examples/io/program/src/main.rs}} ``` \ No newline at end of file