diff --git a/docs/src/aleph_bft_api.md b/docs/src/aleph_bft_api.md index fda4b5f0..02eafbc5 100644 --- a/docs/src/aleph_bft_api.md +++ b/docs/src/aleph_bft_api.md @@ -77,7 +77,7 @@ These traits are optional. If you do not want to recover crashes mid session or [`std::io::Write`](https://doc.rust-lang.org/std/io/trait.Write.html#) should provide a way of writing data generated during session which should be backed up. **`flush` method should block until the written data is backed up.** -[`std::io::Read`](https://doc.rust-lang.org/std/io/trait.Read.html#) should provide a way of retreiving backups of all data generated during session by this member in case of crash. **`std::io::Read` should have a copy of all data so that writing to `std::io::Write` has no effect on reading.** +[`std::io::Read`](https://doc.rust-lang.org/std/io/trait.Read.html#) should provide a way of retrieving backups of all data generated during session by this member in case of crash. **`std::io::Read` should have a copy of all data so that writing to `std::io::Write` has no effect on reading.** ### 3.2 Examples diff --git a/docs/src/how_alephbft_does_it.md b/docs/src/how_alephbft_does_it.md index 0ad2a71b..200f2440 100644 --- a/docs/src/how_alephbft_does_it.md +++ b/docs/src/how_alephbft_does_it.md @@ -199,7 +199,7 @@ The main idea here is that we cannot afford to store an arbitrary amount of unit **`ForkAlert(sender, forker, proof, units)`** -where `sender` is the node index of the sender, `forker` is the node index of a forking node, `proof` is a pair of units created by forker that constitute a fork and `units` is simply some list of forker's units. Such a message is brodcast by `sender` to all other nodes: +where `sender` is the node index of the sender, `forker` is the node index of a forking node, `proof` is a pair of units created by forker that constitute a fork and `units` is simply some list of forker's units. Such a message is broadcast by `sender` to all other nodes: 1. The broadcast is performed using a **Reliable Broadcast** primitive. Roughly speaking, this means that the node does not simply multicast this message to all the nodes but runs a specialized protocol that guarantees that all the nodes receive this message (if the sender is honest) and receive the exact same version of this message (even if the sender is **dishonest**). We give more details on the AlephBFT's implementation of reliable broadcast in the [Reliable Broadcast](reliable_broadcast.md##6-reliable-broadcast) section. 2. The intuitive meaning of such an alert is that: "I, `sender`, am aware that `forker` forked and I attach a `proof` of that. Moreover, before I realized this fact, I accepted the following list of units from `forker` to my local copy of the Dag. Please accept these units as well."