rust_ev_verifier_lib
| Crates.io | rust_ev_verifier_lib |
| lib.rs | rust_ev_verifier_lib |
| version | |
| source | src |
| created_at | 2024-10-25 15:58:08.787679 |
| updated_at | 2025-01-02 09:58:19.574432 |
| description | Main library for the E-Voting system of Swiss Post. |
| homepage | |
| repository | https://github.com/de-mo/rust_ev_verifier_lib |
| max_upload_size | |
| id | 1422670 |
| Cargo.toml error: | TOML parse error at line 27, column 1 | 27 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
(de-mo)
documentation
README
E-Voting Verifier in Rust
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:
The verifier is implemented for the version 1.4.3 of the E-Voting system of Swiss Post.
This crate is used as basis for a GUI application.
Following application are implemented:
- A console application rust_ev_verifier_console
- A GUI application based on tauri (backend / frontend)
Information about the project
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
- file_structure: The necessary functions to implement the files and directories
- verification: The implementation of each verification.
- application_runner: The runner that can be used by a gui or an application to run all the verifications. It contains also some helpers
The library depends from the following crates
Difference to the Swiss Post implementation
The implementation not used any code of Swiss Post. It is only based on the published documentation.
A major difference with the Swiss Post Verifier is that the verifications does not return true or false, but return all the errors and failures found, with the necessary information in regard to the position of the element, which generates the error. In this case it helps a better granularity for the analysis of the errors and failures.
Future works
The Verifier is not ready for production.
- The verification of the signature of XML files is missing
- The verification of the data in the file eCH-0222 is missing
- For most of the verifications, the negative unit tests are not implemented. A mechanisms of mocks is implemented
- The report of the verifications is not generated
Development guide
Copy the directoy /datasets/direct-trust to the root.
The build on Windows must be done with MSYS2 (see Crypto Primitives for details)
Licence
Open source License Apache 2.0
See LICENSE