rust_ev_verifier_lib 0.4.5

Main library for the E-Voting system of Swiss Post.
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

# State of the implementation of verifications

# Setup phase
The following table gives the situation of the development of the verifications for setup:

| Phase | Verification | State           | Unit test               |
|-------|--------------|-----------------|-------------------------|
| Setup | 01.01        | Implemented     | Done (no negative)      |
| Setup | 02.01        | Implemented     | Done (with negative)    |
| Setup | 02.02        | Implemented     | Done (with negative)    |
| Setup | 02.03        | Implemented     | Done (with negative)    |
| Setup | 02.04        | Implemented     | Done (with negative)    |
| Setup | 02.05        | Implemented     | Done (with negative)    |
| Setup | 03.01        | Implemented     | Done (with negative)    |
| Setup | 03.02        | Implemented     | Done (with negative)    |
| Setup | 03.03        | Implemented     | Done (with negative)    |
| Setup | 03.04        | Implemented     | Done (with negative)    |
| Setup | 03.05        | Implemented     | Done (with negative)    |
| Setup | 03.06        | Implemented     | Done (with negative)    |
| Setup | 03.07        | Implemented     | Done (with negative)    |
| Setup | 03.08        | Implemented     | Done (with negative)    |
| Setup | 03.09        | Implemented     | Done (with negative)    |
| Setup | 03.10        | Implemented     | Done (with negative)    |
| setup | 03.11        | Implemented     | Done (with negative)    |
| setup | 03.12        | Implemented     | Done (with negative)    |
| Setup | 03.13        | Implemented     | Done (with negative)    |
| Setup | 03.14        | Implemented     | Done (with negative)    |
| Setup | 04.01        | Implemented     | Done (with negative)    |
| Setup | 05.01        | Implemented     | Done (with negative)    |
| Setup | 05.02        | Implemented     | Done (with negative)    |
| Setup | 05.03        | Implemented     | Done (with negative)    |
| Setup | 05.04        | Implemented     | Done (with negative)    |

# Tally phase
The following table gives the situation of the development of the verifications for tally:

| Phase | Verification | State           | Unit test               |
|-------|--------------|-----------------|-------------------------|
| Tally | 06.01        | Implemented     | Done (no negative)      |
| Tally | 07.01        | Implemented     | Done (with negative)    |
| Tally | 07.02        | Implemented     | Done (with negative)    |
| Tally | 07.03        | Implemented     | Done (with negative)    |
| Tally | 07.04        | Implemented     | Done (with negative)    |
| Tally | 07.05        | Implemented     | Done (with negative)    |
| Tally | 08.01        | Implemented     | Done (with negative)    |
| Tally | 08.02        | Implemented     | Done (with negative)    |
| Tally | 08.03        | Implemented     | Done (with negative)    |
| Tally | 08.04        | Implemented     | Done (with negative)    |
| Tally | 08.05        | Implemented     | Done (with negative)    |
| Tally | 08.06        | Implemented     | Done (with negative)    |
| Tally | 08.07        | Implemented     | Done (with negative)    |
| Tally | 08.08        | Implemented     | Done (with negative)    |
| Tally | 08.09        | Implemented     | Done (with negative)    |
| Tally | 08.10        | Implemented     | Done (with negative)    |
| Tally | 08.11        | Implemented     | Done (with negative)    |
| Tally | 09.01        | Implemented     | Done (with negative)    |
| Tally | 10.01        | Implemented     | Done (with negative)    |
| Tally | 10.02        | Implemented     | Done (with negative)    |