Crate rust_ev_verifier_lib

Expand description

§Library for all the functionalities of the E-Voting Verifier

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:

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.

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
file_structure: The necessary functions to implement the files and directories
verification: The implementation of each verification.

The library depends from the following crates

Copy the directoy /datasets/direct-trust to the root.

The build on Windows must be done with MSYS2 (see Crypto Primitives for details)

The configuration used some environment variables, the can/must be integrated using the crate 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

dataset
direct_trust
file_structure: Module implementing the structure of files and directories to collect data for the verifications
startup_checks
verification: Module implementing all the verifications

ErrorChain: An iterator over an Error and its sources.
Report
VerifierConfig: Structuring getting all the configuration information relevant for the verifier
VerifierConfigError: Error with the configuration of Verifier