on master help sign in
fix broken link and more anchor links
5250b11Morgan Sutherland
content/faq.md+56−56
@@ -8,7 +8,7 @@ title = "FAQ"
8
8
9- [What is Urbit?](#what-is-urbit)
9- [What is Urbit?](#what-is-urbit)
10- [How secure is Urbit right now?](#how-secure-is-urbit)
10- [How secure is Urbit right now?](#how-secure-is-urbit)
11−- [How can I contribute to Urbit?](#how-can-i-contribute)
11+- [How can I contribute to Urbit?](#contribute)
12- [What is Tlon?](#what-is-tlon)
12- [What is Tlon?](#what-is-tlon)
13- [Who works at Tlon?](#who-works-at-tlon)
13- [Who works at Tlon?](#who-works-at-tlon)
14
14
@@ -18,42 +18,42 @@ title = "FAQ"
18<details><summary>Azimuth</summary>
18<details><summary>Azimuth</summary>
19
19
20- [What is Azimuth?](#what-is-azimuth)
20- [What is Azimuth?](#what-is-azimuth)
21−- [What are stars, galaxies, and planets?](#what-are-stars-galaxies-planets)
21+- [What are stars, galaxies, and planets?](#stars-galaxies-planets)
22−- [How many planets, stars, and galaxies are active?](#how-many-planets-stars-galaxies-are-active)
22+- [How many planets, stars, and galaxies are active?](#how-many-planets-stars-galaxies)
23−- [What are comets and moons?](#what-are-comets-moons)
23+- [What are comets and moons?](#comets-moons)
24- [What is a `@p`? Why is my username generated for me?](#what-is-@p)
24- [What is a `@p`? Why is my username generated for me?](#what-is-@p)
25−- [Can I change my `@p`?](#can-i-change-my-@p)
25+- [Can I change my `@p`?](#change-my-@p)
26−- [How do I get an identity?](#how-do-i-get-an-identity)
26+- [How do I get an identity?](#get-an-identity)
27−- [How do I transfer an identity to someone else?](#how-do-i-transfer-an-identity)
27+- [How do I transfer an identity to someone else?](#transfer-identity)
28−- [What is the best way to access Azimuth?](#what-is-the-best-way-to-access-azimuth)
28+- [What is the best way to access Azimuth?](#access-azimuth)
29
29
30</details>
30</details>
31
31
32<details><summary>Urbit HD Wallet</summary>
32<details><summary>Urbit HD Wallet</summary>
33
33
34−- [What is the Urbit HD Wallet?](#wallet-1)
34+- [What is the Urbit HD Wallet?](#urbit-hd-wallet)
35−- [What is a master ticket?](#wallet-2)
35+- [What is a master ticket?](#master-ticket)
36−- [What is an ownership address?](#wallet-3)
36+- [What is an ownership address?](#ownership-address)
37−- [What are proxies?](#wallet-4)
37+- [What are proxies?](#proxies)
38−- [What are seeds?](#wallet-5)
38+- [What are seeds?](#seeds)
39−- [What does it mean to “set public keys”?](#wallet-6)
39+- [What does it mean to “set public keys”?](#set-public-keys)
40−- [What do I do if I want to own multiple points?](#wallet-7)
40+- [What do I do if I want to own multiple points?](#multiple-points)
41−- [How should I take care of my Urbit HD Wallet?](#wallet-8)
41+- [How should I take care of my Urbit HD Wallet?](#custody)
42−- [I have a galaxy or star with lockup conditions. How does this work?](#wallet-9)
42+- [I have a galaxy or star with lockup conditions. How does this work?](#lockup-conditions)
43
43
44</details>
44</details>
45
45
46<details><summary>Arvo</summary>
46<details><summary>Arvo</summary>
47
47
48−- [What is Arvo?](#arvo-1)
48+- [What is Arvo?](#what-is-arvo)
49−- [What is unique about Arvo?](#arvo-2)
49+- [What is unique about Arvo?](#what-is-unique-about-arvo)
50−- [How is Arvo connected to Ethereum?](#arvo-3)
50+- [How is Arvo connected to Ethereum?](#arvo-ethereum)
51−- [Will the Arvo network survive if Ethereum dies?](#arvo-4)
51+- [Will the Arvo network survive if Ethereum dies?](#if-ethereum-dies)
52−- [How do I install Arvo?](#arvo-5)
52+- [How do I install Arvo?](#install-arvo)
53−- [How do I use Arvo?](#arvo-6)
53+- [How do I use Arvo?](#use-arvo)
54−- [How do over-the-air updates work?](#arvo-7)
54+- [How do over-the-air updates work?](#over-the-air-updates)
55−- [What is Landscape?](#arvo-8)
55+- [What is Landscape?](#what-is-landscape)
56−- [I have a point, now what?](#arvo-9)
56+- [I have a point, now what?](#now-what)
57
57
58</details>
58</details>
59
59
@@ -93,7 +93,7 @@ Azimuth, Urbit's identity layer, is live on the Ethereum blockchain and has been
93
93
94The rest of the Urbit project is still in research-mode. Arvo is safe to play with, but it’s not yet a place to store or share private information.
94The rest of the Urbit project is still in research-mode. Arvo is safe to play with, but it’s not yet a place to store or share private information.
95
95
96−### How can I contribute to Urbit? {#how-can-i-contribute}
96+### How can I contribute to Urbit? {#contribute}
97
97
98We encourage outside contributors to become a part of the project. The best way to do this is to check out [Urbit](https://github.com/urbit) on Github, look at the pinned repositories, and check out our [Contributing](https://urbit.org/docs/getting-started/contributing/) guide. After you've gotten familiar with the system, feel free to open issues and make pull requests.
98We encourage outside contributors to become a part of the project. The best way to do this is to check out [Urbit](https://github.com/urbit) on Github, look at the pinned repositories, and check out our [Contributing](https://urbit.org/docs/getting-started/contributing/) guide. After you've gotten familiar with the system, feel free to open issues and make pull requests.
99
99
@@ -111,19 +111,19 @@ You can see who we are at [tlon.io](https://tlon.io/).
111
111
112Azimuth is a general-purpose PKI ("public key infrastructure") that Urbit uses as an identity system. This system is implemented as a suite of smart contracts on the Ethereum blockchain, and it determines which Ethereum addresses own which Urbit planets, stars, or galaxies. In Arvo, a single identity is called a "ship," whereas in Azimuth, a single identity is called a "point."
112Azimuth is a general-purpose PKI ("public key infrastructure") that Urbit uses as an identity system. This system is implemented as a suite of smart contracts on the Ethereum blockchain, and it determines which Ethereum addresses own which Urbit planets, stars, or galaxies. In Arvo, a single identity is called a "ship," whereas in Azimuth, a single identity is called a "point."
113
113
114−### What are stars, galaxies, and planets? {#what-are-stars-galxies-planets}
114+### What are stars, galaxies, and planets? {#stars-galxies-planets}
115
115
116Azimuth points come in three classes: galaxies, stars, and planets. The length of a point’s name will tell you its class. Galaxies are 8-bit and have names like `~mul`. Galaxies issue 16-bit stars (`~dacmul`), which can themselves issue 32-bit planets (`~laptel-holfur`).
116Azimuth points come in three classes: galaxies, stars, and planets. The length of a point’s name will tell you its class. Galaxies are 8-bit and have names like `~mul`. Galaxies issue 16-bit stars (`~dacmul`), which can themselves issue 32-bit planets (`~laptel-holfur`).
117
117
118Planets are intended for everyday use by individuals, and there are 4.3 billion of them (2 to the 32nd power). Stars and galaxies, on the other hand, are meant to act as network infrastructure: on the Arvo network they provide routing and are responsible for distributing software updates.
118Planets are intended for everyday use by individuals, and there are 4.3 billion of them (2 to the 32nd power). Stars and galaxies, on the other hand, are meant to act as network infrastructure: on the Arvo network they provide routing and are responsible for distributing software updates.
119
119
120−### How many planets, stars, and galaxies are active? {#how-many-planets-stars-galaxies-are-active}
120+### How many planets, stars, and galaxies are active? {#how-many-planets-stars-galaxies}
121
121
122The raw data on most Azimuth events that have occurred can be found [on the Azimuth website](https://azimuth.network/stats/events.txt). We’re currently working on generalized tooling for viewing these events.
122The raw data on most Azimuth events that have occurred can be found [on the Azimuth website](https://azimuth.network/stats/events.txt). We’re currently working on generalized tooling for viewing these events.
123
123
124You can also inspect and execute functions in the [azimuth.eth](https://etherscan.io/address/azimuth.eth#code) contract on Etherscan.
124You can also inspect and execute functions in the [azimuth.eth](https://etherscan.io/address/azimuth.eth#code) contract on Etherscan.
125
125
126−### What are comets and moons? {#what-are-comets-moons}
126+### What are comets and moons? {#comets-moons}
127
127
128In addition to the three classes of Azimuth points mentioned above, there are two other kinds of Urbit identities that are not registered on Azimuth.
128In addition to the three classes of Azimuth points mentioned above, there are two other kinds of Urbit identities that are not registered on Azimuth.
129
129
@@ -137,21 +137,21 @@ A `@p` (pronounced *pat-pee*) is a name like `~zod` or `~lodleb-ritrul` composed
137
137
138These names map directly to a corresponding number in the urbit address space. Galaxies occupy the 8-bit address space, so any galaxy is actually a number between zero and 255. Stars occupy the 16-bit address space, and planets occupy the 32-bit address space.
138These names map directly to a corresponding number in the urbit address space. Galaxies occupy the 8-bit address space, so any galaxy is actually a number between zero and 255. Stars occupy the 16-bit address space, and planets occupy the 32-bit address space.
139
139
140−### Can I change my `@p`? {#can-I-change-my-@p}
140+### Can I change my `@p`? {#change-my-@p}
141
141
142Unfortunately not, since there is a 1:1 mapping between name and point.
142Unfortunately not, since there is a 1:1 mapping between name and point.
143
143
144−### How do I get an identity? {#how-do-I-get-an-identity}
144+### How do I get an identity? {#get-an-identity}
145
145
146You can either find someone to give you one, or try an ERC-721 (NFT) exchange (Google or Twitter should help you with this). This will probably involve a purchase and a transfer to an Ethereum address that you own. We recommend using [Bridge](https://github.com/urbit/bridge/releases) to access the address that the point is transferred to.
146You can either find someone to give you one, or try an ERC-721 (NFT) exchange (Google or Twitter should help you with this). This will probably involve a purchase and a transfer to an Ethereum address that you own. We recommend using [Bridge](https://github.com/urbit/bridge/releases) to access the address that the point is transferred to.
147
147
148If you don't want to use Bridge, a tool like [Etherscan](https://etherscan.io) will allow you to execute functions in the [azimuth.eth](https://etherscan.io/address/azimuth.eth#code) contract.
148If you don't want to use Bridge, a tool like [Etherscan](https://etherscan.io) will allow you to execute functions in the [azimuth.eth](https://etherscan.io/address/azimuth.eth#code) contract.
149
149
150−### How do I transfer an identity to someone else? {#how-do-I-transfer-an-identity}
150+### How do I transfer an identity to someone else? {#transfer-an-identity}
151
151
152Access the Ethereum address that holds the point you wish to transfer via [Bridge](https://github.com/urbit/bridge/releases).
152Access the Ethereum address that holds the point you wish to transfer via [Bridge](https://github.com/urbit/bridge/releases).
153
153
154−### What is the best way to access Azimuth? {#what-is-the-best-way-to-access-azimuth}
154+### What is the best way to access Azimuth? {#access-azimuth}
155
155
156We recommended using [Bridge](https://github.com/urbit/bridge/releases) for all Azimuth-related operations. It’s great for managing your points, as well as for viewing information about points you don’t own.
156We recommended using [Bridge](https://github.com/urbit/bridge/releases) for all Azimuth-related operations. It’s great for managing your points, as well as for viewing information about points you don’t own.
157
157
@@ -159,23 +159,23 @@ We have seen publicly hosted versions of Bridge online. We strongly recommend av
159
159
160## Urbit HD Wallet
160## Urbit HD Wallet
161
161
162−### What is the Urbit HD Wallet? {#wallet-1}
162+### What is the Urbit HD Wallet? {#urbit-hd-wallet}
163
163
164The Urbit Hierarchical Deterministic (HD) Wallet is a custom Ethereum wallet based on BIP39 and BIP44 – the same underlying technology used by wallet providers like Ledger, Trezor, Metamask, and MyEtherWallet. You can think of the Urbit HD wallet as a wallet of wallets, which lets you keep a single passphrase for all of your Azimuth keys. Azimuth uses multiple keys with different capabilities – a bit like permissions – so that you can keep the more valuable keys in cold storage while keeping less valuable keys, used in day-to-day operation, more easily accessible. If you're only operating a planet, you shouldn't have to worry this: you can simply think of your "master ticket" as the password to your Azimuth point. If you're operating a star or galaxy, the Urbit HD Wallet allows you to implement a multi-tier key custody scheme.
164The Urbit Hierarchical Deterministic (HD) Wallet is a custom Ethereum wallet based on BIP39 and BIP44 – the same underlying technology used by wallet providers like Ledger, Trezor, Metamask, and MyEtherWallet. You can think of the Urbit HD wallet as a wallet of wallets, which lets you keep a single passphrase for all of your Azimuth keys. Azimuth uses multiple keys with different capabilities – a bit like permissions – so that you can keep the more valuable keys in cold storage while keeping less valuable keys, used in day-to-day operation, more easily accessible. If you're only operating a planet, you shouldn't have to worry this: you can simply think of your "master ticket" as the password to your Azimuth point. If you're operating a star or galaxy, the Urbit HD Wallet allows you to implement a multi-tier key custody scheme.
165
165
166To learn about the specifics, check out our [HD Wallet documentation](@/docs/concepts/azimuth.md#the-urbit-hd-wallet) and the [Urbit HD Wallet Spec (UP 8)[https://github.com/urbit/proposals/blob/master/008-urbit-hd-wallet.md].
166To learn about the specifics, check out our [HD Wallet documentation](@/docs/concepts/azimuth.md#the-urbit-hd-wallet) and the [Urbit HD Wallet Spec (UP 8)[https://github.com/urbit/proposals/blob/master/008-urbit-hd-wallet.md].
167
167
168−### What is a master ticket? {#wallet-2}
168+### What is a master ticket? {#master-ticket}
169
169
170The "master ticket" is the entropy seed from your other Azimuth keys are derived. It should be treated like a master password: **you should never share it with anyone, and you must store it very securely (see our practices below).** This ticket is used to derive the Ethereum wallet that holds your ownership keys, your Arvo key – used to boot your Urbit – and the other keys associated with your Azimuth point. You’ll have a ticket if you used the Urbit Wallet Generator or claimed a ship on our hosted version of Bridge.
170The "master ticket" is the entropy seed from your other Azimuth keys are derived. It should be treated like a master password: **you should never share it with anyone, and you must store it very securely (see our practices below).** This ticket is used to derive the Ethereum wallet that holds your ownership keys, your Arvo key – used to boot your Urbit – and the other keys associated with your Azimuth point. You’ll have a ticket if you used the Urbit Wallet Generator or claimed a ship on our hosted version of Bridge.
171
171
172If you're operating a planet, you can use your master ticket to authenticate with Bridge.
172If you're operating a planet, you can use your master ticket to authenticate with Bridge.
173
173
174−### What is an ownership address? {#wallet-3}
174+### What is an ownership address? {#ownership-address}
175
175
176An ownership address is an Ethereum address that owns one or more of your Azimuth points. The Urbit Wallet Generator creates one Urbit HD Wallet and associated addresses for each of your Azimuth points. Using ownership key associated with your ownership address, you can transfer points to other people, meaning that it’s very important to store securely.
176An ownership address is an Ethereum address that owns one or more of your Azimuth points. The Urbit Wallet Generator creates one Urbit HD Wallet and associated addresses for each of your Azimuth points. Using ownership key associated with your ownership address, you can transfer points to other people, meaning that it’s very important to store securely.
177
177
178−### What are proxies? {#wallet-4}
178+### What are proxies? {#proxies}
179
179
180Proxies are seeds derived from your master ticket used to generate sub-wallets, which are in turn used to generate keys that have the ability to execute different Azimuth functions associated with your Azimuth point. Proxies generally have restricted capabilities than your ownership seed. These capabilities include: spawning child points, voting, and setting networking keys.
180Proxies are seeds derived from your master ticket used to generate sub-wallets, which are in turn used to generate keys that have the ability to execute different Azimuth functions associated with your Azimuth point. Proxies generally have restricted capabilities than your ownership seed. These capabilities include: spawning child points, voting, and setting networking keys.
181
181
@@ -184,23 +184,23 @@ Proxies are seeds derived from your master ticket used to generate sub-wallets,
184- Management Proxy: Can configure or set networking keys and conduct sponsorship related operations.
184- Management Proxy: Can configure or set networking keys and conduct sponsorship related operations.
185- Voting Proxy: Galaxies only. Galaxies are the part of the galactic senate, which means they can cast votes on new proposals including changes to the "Ecliptic" contract, which defines the operations of Azimuth.
185- Voting Proxy: Galaxies only. Galaxies are the part of the galactic senate, which means they can cast votes on new proposals including changes to the "Ecliptic" contract, which defines the operations of Azimuth.
186
186
187−### What are seeds? {#wallet-5}
187+### What are seeds? {#seeds}
188
188
189All Ethereum key-pairs in the Urbit wallet system, including proxies, are produced by 128-bit cryptographically random values called seeds. These seeds are the equivalent of the BIP39 mnemonic of an Ethereum wallet. These seeds are yours alone. An ownership key pair is derived from an ownership seed, and likewise the various proxy key pairs, are generated from their respective proxy seeds.
189All Ethereum key-pairs in the Urbit wallet system, including proxies, are produced by 128-bit cryptographically random values called seeds. These seeds are the equivalent of the BIP39 mnemonic of an Ethereum wallet. These seeds are yours alone. An ownership key pair is derived from an ownership seed, and likewise the various proxy key pairs, are generated from their respective proxy seeds.
190
190
191For detailed information, see the [Urbit HD Wallet Spec (UP 8)[https://github.com/urbit/proposals/blob/master/008-urbit-hd-wallet.md].
191For detailed information, see the [Urbit HD Wallet Spec (UP 8)[https://github.com/urbit/proposals/blob/master/008-urbit-hd-wallet.md].
192
192
193−### What does it mean to “set public keys”? {#wallet-6}
193+### What does it mean to “set public keys”? {#set-public-keys}
194
194
195This means registering the public keys of your point's encryption and authentication key pairs (together known as "networking keys") with Azimuth, so that others can discover them. The corresponding private keys can then be used to, for example, run a ship on the Arvo network.
195This means registering the public keys of your point's encryption and authentication key pairs (together known as "networking keys") with Azimuth, so that others can discover them. The corresponding private keys can then be used to, for example, run a ship on the Arvo network.
196
196
197You want to reset these keys if they are compromised, or if your ship has sunk. This is of little practical significance today, but resetting your networking keys resets your relationship with other ships on the network.
197You want to reset these keys if they are compromised, or if your ship has sunk. This is of little practical significance today, but resetting your networking keys resets your relationship with other ships on the network.
198
198
199−### What do I do if I want to own multiple points? {#wallet-7}
199+### What do I do if I want to own multiple points? {#multiple-points}
200
200
201We recommend using different HD Wallets for each point. You are able to assign any number of points to a single Ethereum address, however, since they are just ERC-721 tokens.
201We recommend using different HD Wallets for each point. You are able to assign any number of points to a single Ethereum address, however, since they are just ERC-721 tokens.
202
202
203−### How should I take care of my Urbit HD Wallet? {#wallet-8}
203+### How should I take care of my Urbit HD Wallet? {#custody}
204
204
205Urbit points have accompanying security realities that must be taken seriously. Cryptographic assets are unique among things of value, because all of the responsibility for keeping those assets safe rests with the party that owns them.
205Urbit points have accompanying security realities that must be taken seriously. Cryptographic assets are unique among things of value, because all of the responsibility for keeping those assets safe rests with the party that owns them.
206
206
@@ -208,7 +208,7 @@ The nature of decentralization is such that there is no authority that has the p
208
208
209Below we list some good practices for storing keys, strictest first. Higher-value assets should be secured with stricter measures.
209Below we list some good practices for storing keys, strictest first. Higher-value assets should be secured with stricter measures.
210
210
211−**Security Tier 1: Cold Storage**
211+#### Security Tier 1: Cold Storage*
212
212
213Cold storage refers to any method in which secrets are stored in a way that is not accessible to any network. Cold-stored keys should only ever be generated offline.
213Cold storage refers to any method in which secrets are stored in a way that is not accessible to any network. Cold-stored keys should only ever be generated offline.
214
214
@@ -225,13 +225,13 @@ Places to store your cold-storage media:
225
225
226It’s a good idea to store your keys redundantly; for example, on both a USB stick and a piece of paper in the safe, in case one of those methods fails. If you deem a key to be valuable enough, you can **shard** it into thirds (or other splits) and store each third in secure, geographically distributed locations. Urbit HD wallets for galaxies automatically provide a 3-way sharded master ticket.
226It’s a good idea to store your keys redundantly; for example, on both a USB stick and a piece of paper in the safe, in case one of those methods fails. If you deem a key to be valuable enough, you can **shard** it into thirds (or other splits) and store each third in secure, geographically distributed locations. Urbit HD wallets for galaxies automatically provide a 3-way sharded master ticket.
227
227
228−**Security Tier 2: Hardware Wallet or Paper Wallet**
228+#### Security Tier 2: Hardware Wallet or Paper Wallet
229
229
230A hardware wallet is a digital storage device that’s purpose-built to store cryptographic secrets. They are unaffected by typical key-stealing malware, and have built-in security mechanisms that other digital devices lack. Do research and make sure that you are buying an authentic device manufactured by trustworthy, technically competent security experts with a good reputation. Trezor and Ledger are two popular brands of hardware wallets.
230A hardware wallet is a digital storage device that’s purpose-built to store cryptographic secrets. They are unaffected by typical key-stealing malware, and have built-in security mechanisms that other digital devices lack. Do research and make sure that you are buying an authentic device manufactured by trustworthy, technically competent security experts with a good reputation. Trezor and Ledger are two popular brands of hardware wallets.
231
231
232A "paper wallet" is a physical medium printed or engraved with a secret. These are resistent to network attacks, but have the downside that the secret must be entered into a computer by hand, exposing the user to attacks from malware and evesdroppers.
232A "paper wallet" is a physical medium printed or engraved with a secret. These are resistent to network attacks, but have the downside that the secret must be entered into a computer by hand, exposing the user to attacks from malware and evesdroppers.
233
233
234−**Security Tier 3: On Your Computer**
234+#### Security Tier 3: On Your Computer
235
235
236This tier includes any method where secrets are stored on an everyday computing platform. Some such methods are:
236This tier includes any method where secrets are stored on an everyday computing platform. Some such methods are:
237
237
@@ -243,7 +243,7 @@ This method is risky for a number of reasons. Networked computers can contain ma
243
243
244For all of these reasons, make sure that you only use Tier 3 methods for the storage of low-value secrets.
244For all of these reasons, make sure that you only use Tier 3 methods for the storage of low-value secrets.
245
245
246−### I have a galaxy or star with lockup conditions. How does this work? {#wallet-9}
246+### I have a galaxy or star with lockup conditions. How does this work? {#lockup-conditions}
247
247
248There are two kinds of release schemes for locked up assets: linear and conditional.
248There are two kinds of release schemes for locked up assets: linear and conditional.
249
249
@@ -259,13 +259,13 @@ Conditional release is a bit more complicated. If your stars are in conditional
259
259
260## Arvo
260## Arvo
261
261
262−### What is Arvo? {#arvo-1}
262+### What is Arvo? {#what-is-arvo}
263
263
264Arvo is the Urbit operating system, and also the name of the operating system's kernel. Unlike conventional operating systems, it’s functional and deterministic. Arvo is written in Hoon, our purely functional programming language, which compiles to Nock, a compact bytecode language.
264Arvo is the Urbit operating system, and also the name of the operating system's kernel. Unlike conventional operating systems, it’s functional and deterministic. Arvo is written in Hoon, our purely functional programming language, which compiles to Nock, a compact bytecode language.
265
265
266Instances of the Arvo operating system, called ships, communicate as peers on what we refer to as “the Arvo network.” Using Azimuth, Arvo ships can prove their identities to one another.
266Instances of the Arvo operating system, called ships, communicate as peers on what we refer to as “the Arvo network.” Using Azimuth, Arvo ships can prove their identities to one another.
267
267
268−### What is unique about Arvo? {#arvo-2}
268+### What is unique about Arvo? {#what-is-unique-about-arvo}
269
269
270Arvo is quite different from other operating systems in many ways, but notably because it's completely deterministic. Processing in the system happens in a unique way: when an event happens, a transition function takes that event and the old state of Arvo, and then produces an effect and a new state of Arvo. To visualize:
270Arvo is quite different from other operating systems in many ways, but notably because it's completely deterministic. Processing in the system happens in a unique way: when an event happens, a transition function takes that event and the old state of Arvo, and then produces an effect and a new state of Arvo. To visualize:
271
271
@@ -273,37 +273,37 @@ Arvo is quite different from other operating systems in many ways, but notably b
273
273
274All events are logged to disk, so you can always restore the system to a previous point in time.
274All events are logged to disk, so you can always restore the system to a previous point in time.
275
275
276−### How is Arvo connected to Ethereum? {#arvo-3}
276+### How is Arvo connected to Ethereum? {#arvo-ethereum}
277
277
278When an Arvo ship (instance) is started for the first time, you must use a "keyfile" containing the private keys for your Azimuth point's networking keys. Azimuth uses the Ethereum blockchain as its decentralized ledger.
278When an Arvo ship (instance) is started for the first time, you must use a "keyfile" containing the private keys for your Azimuth point's networking keys. Azimuth uses the Ethereum blockchain as its decentralized ledger.
279
279
280See our [Getting Started](@/docs/getting-started/_index.md) guide to learn how to get your ship onto the Arvo network.
280See our [Getting Started](@/docs/getting-started/_index.md) guide to learn how to get your ship onto the Arvo network.
281
281
282−### Will the Arvo network survive if Ethereum dies? {#arvo-4}
282+### Will the Arvo network survive if Ethereum dies? {#if-ethereum-dies}
283
283
284Yes. It would be annoying, but Azimuth would be ported to another decentralized ledger.
284Yes. It would be annoying, but Azimuth would be ported to another decentralized ledger.
285
285
286−### How do I install Arvo? {#arvo-5}
286+### How do I install Arvo? {#install-arvo}
287
287
288Check out our guides [here](@/docs/getting-started/_index.md).
288Check out our guides [here](@/docs/getting-started/_index.md).
289
289
290−### How do I use Arvo? {#arvo-6}
290+### How do I use Arvo? {#use-arvo}
291
291
292The [Using](@/docs/using/_index.md) section of the documentation will help you out.
292The [Using](@/docs/using/_index.md) section of the documentation will help you out.
293
293
294−### How do over-the-air updates work? {#arvo-7}
294+### How do over-the-air updates work? {#over-the-air-updates}
295
295
296Your sponsor, a star or galaxy that your ship "lives under", may send you new source code for your system. When you receive new source code from your sponsor, your system recompiles itself using that code, performs any necessary data migrations, and keeps running. Ideally this happens seamlessly without the user even noticing, although there is sometimes a slowdown while rebuilding the system from source.
296Your sponsor, a star or galaxy that your ship "lives under", may send you new source code for your system. When you receive new source code from your sponsor, your system recompiles itself using that code, performs any necessary data migrations, and keeps running. Ideally this happens seamlessly without the user even noticing, although there is sometimes a slowdown while rebuilding the system from source.
297
297
298−### What is Landscape? {#arvo-8}
298+### What is Landscape? {#what-is-landscape}
299
299
300Landscape is an experimental Arvo web interface that includes social functions such as chat and publishing. You can access Landscape by navigating to `http://localhost:PORT`, where PORT is typically 80, 8080, or 8081 (check your boot messages).
300Landscape is an experimental Arvo web interface that includes social functions such as chat and publishing. You can access Landscape by navigating to `http://localhost:PORT`, where PORT is typically 80, 8080, or 8081 (check your boot messages).
301
301
302−### I have a point, now what? {#arvo-9}
302+### I have a point, now what? {#now-what}
303
303
304Follow our guide on how to boot a ship [here](@/docs/getting-started/booting-a-ship.md).
304Follow our guide on how to boot a ship [here](@/docs/getting-started/booting-a-ship.md).
305
305
306−Get on the [mailing list](/../#mc_embed_signup). Learn [Hoon](@/docs/learn/hoon/_index.md). Sign up for [Hoon School](@/hoonschool).
306+Get on the [mailing list](/../#mc_embed_signup). Learn [Hoon](@/docs/learn/hoon/_index.md). Sign up for [Hoon School](@/hoonschool.md).
307
307
308## Grants
308## Grants
309
309