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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

// Copyright © 2025 Denis Morel
//
// This program is free software: you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// Software Foundation, either version 3 of the License, or (at your option) any
// later version.
//
// This program is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
// FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
// details.
//
// You should have received a copy of the GNU General Public License and
// a copy of the GNU General Public License along with this program. If not, see
// <https://www.gnu.org/licenses/>.

//! # Library for all the functionalities of the E-Voting Verifier
//!
//! ## Introduction
//!
//! This crate is the main library for the E-Voting system of Swiss Post.
//!
//! It is based on the specifications of Swiss Post, according to the following document versions:
//!
//! - [Crypo-primitives Specifications](https://gitlab.com/swisspost-evoting/crypto-primitives/crypto-primitives/-/blob/master/Crypto-Primitives-Specification.pdf?ref_type=heads)
//! - [System Specifications](https://gitlab.com/swisspost-evoting/e-voting/e-voting-documentation/-/blob/master/System/System_Specification.pdf)
//! - [Verifier Specifications](https://gitlab.com/swisspost-evoting/e-voting/e-voting-documentation/-/blob/master/System/Verifier_Specification.pdf?ref_type=heads)
//!
//! The verifier is implemented for the version 1.4.4 of the E-Voting system of Swiss Post.
//!
//! This crate is used as basis for a GUI application.
//!
//! ##  Structure of the project
//!
//! The library contains the following modules:
//!
//! - `data_structures`: The implementation of structure of the data used for the Verifier. The data are reading from the files using [serde](https://docs.rs/serde/latest/serde/)
//! - [`file_structure`]: The necessary functions to implement the files and directories
//! - [`verification`]: The implementation of each verification.
//!
//! The library depends from the following crates
//! - [rust_ev_crypto_primitives](https://github.com/de-mo/rust_ev_crypto_primitives)
//! - [rust_ev_system_library](https://github.com/de-mo/rust_ev_system_library)
//!
//! ## Development guide
//!
//! Copy the directoy `/datasets/direct-trust` to the root.
//!
//! The build on Windows must be done with MSYS2 (see [Crypto Primitives](https://github.com/de-mo/rust_ev_crypto_primitives) for details)
//!
//! ## Integration Guide
//!
//! ### Environment Variables
//! The configuration used some environment variables, the can/must be integrated using the crate [dotenvy](https://crates.io/crates/dotenvy)
//! | Variable                  | Description                                            | Required | default |
//! | ------------------------- | ------------------------------------------------------ | :------: | ------- |
//! | VERIFIER_DATASET_PASSWORD | The password of the encrypted zip files                | X        | n/a |
//! | TXT_REPORT_TAB_SIZE       | The tab size for the text reports                      |          | 2 |
//! | REPORT_FORMAT_DATE        | The format of the date in the report                   |          | `%d.%m.%Y %H:%M:%S.%3f` |
//! | DIRECT_TRUST_DIR_PATH     | The path to the direct trust keystore for the verifier |          | The path `./direct-trust` where `.` is the installation directory |
//!
//! The environment variables are retrieved using the static instance of [`VerifierConfig`]
//!
//!

//pub mod application_runner;
mod config;
mod consts;
mod data_structures;
pub mod dataset;
pub mod direct_trust;
mod error_utils;
pub mod file_structure;
mod resources;
pub mod startup_checks;
pub mod verification;

pub use config::{VerifierConfig, VerifierConfigError};
pub use data_structures::{DatasetType, VerifierDataDecode, dataset::DatasetTypeKind};
pub mod election_event_configuration {
    pub use crate::data_structures::context::election_event_configuration::*;
}
pub mod ech_0222 {
    pub use crate::data_structures::tally::ech_0222::*;
}
pub use error_utils::{ErrorChain, Report};

pub mod rust_ev_system_library {
    pub use rust_ev_system_library::*;
}

pub mod rust_ev_crypto_primitives {
    pub use rust_ev_system_library::rust_ev_crypto_primitives::*;
}