[docs] user book: writing program

[luffykai]

partially towards INT-2881

fix: INT-2873 INT-2874

[linear]

INT-2874 Testing flow

Testing with host target

Testing with guest target

INT-2873 How to write basic guest program

"quick start"

• explain no_std
• also can use std

[linear]

INT-2881 Install and quickstart

can mostly copy https://docs.succinct.xyz/docs/getting-started/install

but ours is simpler right now:

Install cargo openvm from source:

1. either clone the repo and cargo install --force --path . from crates/cli or
2. cargo install --git (I've never tried this and it might only work with public repo)

We don't need to install any special toolchains, just nightly-2024-10-30

For quickstart, add example of writing fibonacci program, starting from cargo init , add openvm = { …, features = ["std"] } and include the guest program code. We don't need the no_main, no_std stuff for quickstart since std works. Copy the rest of fibonacci from the benchmark, in particular use read.

Give the commands on how to run it using cargo openvm run or cargo openvm bench (hopefully that works).

• we have --input here, will need to figure out how to use it

[jonathanpwang]

let's not talk about running on host in quickstart since it'll be confusing. We just want quickstart to get to proving the program as quickly as possible

[jonathanpwang]

using either cargo openvm bench probably.
also mention setting AXIOM_FAST_TEST=1 for dev.

cc @HrikB for context

[luffykai]

ok I will delete this for now and Hrik can take over

[jonathanpwang]

this section needs work, https://linear.app/intrinsictech/issue/INT-2882/separate-section-to-clarify-io

[jonathanpwang]

Approving to merge this first

[luffykai]

merge this to unblock Hrik, still working on the running section (and IO