parsec 0.7.3

Implementation of Protocol for Asynchronous, Reliable, Secure and Efficient Consensus
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

## `sees` and `is_descendant_of` relations in the presence of forks

### Simple fork

![](simple_fork.png)

| X    | Y      | X is descendant of Y | X sees Y |
|:-----|:-------|:---------------------|:---------|
| `A2` | `C1`   | true                 | true     |
| `A2` | `C2,0` | true                 | true     |
| `A2` | `C2,1` | false                | false    |
| `A3` | `C1`   | true                 | false    |
| `A3` | `C2,0` | true                 | false\*  |
| `A3` | `C2,1` | true                 | false\*  |
| `B2` | `C1`   | true                 | true     |
| `B2` | `C2,0` | false                | false    |
| `B2` | `C2,1` | true                 | true     |

\* - although there is only one path between `A3` and `C2,0` / `C2,1`, `A3` is aware of the fork and so should not `see` either of them.

---

### Transitive fork

![](transitive_fork.png)

`A3` still `sees` `C2` even though there is a fork between them. This is because the fork is not created by the creator of `C2`.