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

// 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/>.

//! Module implementing the verifications for setup
mod authenticity;
mod completness;
mod consistency;
mod evidence;
mod integrity;

use super::{
    meta_data::VerificationMetaDataList, suite::VerificationList, VerificationError,
    VerificationErrorImpl,
};
use crate::config::VerifierConfig;

/// Collect the verifications of the submodules
pub fn get_verifications<'a>(
    metadata_list: &'a VerificationMetaDataList,
    config: &'static VerifierConfig,
) -> Result<VerificationList<'a>, VerificationError> {
    let mut res = VerificationList(vec![]);
    res.0.append(
        &mut authenticity::get_verifications(metadata_list, config)
            .map_err(|e| VerificationErrorImpl::GetCategory {
                category: "Authenticity",
                source: Box::new(e),
            })?
            .0,
    );
    res.0.append(
        &mut completness::get_verifications(metadata_list, config)
            .map_err(|e| VerificationErrorImpl::GetCategory {
                category: "Completness",
                source: Box::new(e),
            })?
            .0,
    );
    res.0.append(
        &mut consistency::get_verifications(metadata_list, config)
            .map_err(|e| VerificationErrorImpl::GetCategory {
                category: "Consistency",
                source: Box::new(e),
            })?
            .0,
    );
    res.0.append(
        &mut evidence::get_verifications(metadata_list, config)
            .map_err(|e| VerificationErrorImpl::GetCategory {
                category: "Evidence",
                source: Box::new(e),
            })?
            .0,
    );
    res.0.append(
        &mut integrity::get_verifications(metadata_list, config)
            .map_err(|e| VerificationErrorImpl::GetCategory {
                category: "Integrity",
                source: Box::new(e),
            })?
            .0,
    );
    Ok(res)
}