aprender-core 0.29.1

Next-generation machine learning library in pure Rust
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

//! Signing property tests.

#![allow(unused_imports)]

use super::super::*;
pub(crate) use proptest::prelude::*;

pub(crate) use super::*;
pub(crate) use proptest::prelude::*;

/// Strategy for generating test model data
pub(super) fn arb_model_data() -> impl Strategy<Value = Vec<f32>> {
    proptest::collection::vec(-100.0f32..100.0, 1..50)
}

proptest! {
    /// Property: Signing roundtrip preserves data and verifies
    #[test]
    fn prop_signing_roundtrip(data in arb_model_data()) {
        use tempfile::tempdir;

        #[derive(Debug, serde::Serialize, serde::Deserialize, PartialEq)]
        struct Model { weights: Vec<f32> }

        let model = Model { weights: data.clone() };

        // Generate signing keypair
        let signing_key = SigningKey::generate(&mut rand::rng());
        let verifying_key = signing_key.verifying_key();

        let dir = tempdir().expect("tempdir");
        let path = dir.path().join("test.apr");

        save_signed(&model, ModelType::Custom, &path, SaveOptions::default(), &signing_key)
            .expect("save");
        let loaded: Model = load_verified(&path, ModelType::Custom, Some(&verifying_key))
            .expect("load");

        prop_assert_eq!(loaded.weights, data);
    }

    /// Property: Wrong verification key fails
    #[test]
    fn prop_signing_wrong_key_fails(data in arb_model_data()) {
        use tempfile::tempdir;

        #[derive(Debug, serde::Serialize, serde::Deserialize)]
        struct Model { weights: Vec<f32> }

        let model = Model { weights: data };

        // Generate two different keypairs
        let signing_key = SigningKey::generate(&mut rand::rng());
        let wrong_key = SigningKey::generate(&mut rand::rng());
        let wrong_verifying = wrong_key.verifying_key();

        let dir = tempdir().expect("tempdir");
        let path = dir.path().join("test.apr");

        save_signed(&model, ModelType::Custom, &path, SaveOptions::default(), &signing_key)
            .expect("save");
        let result: Result<Model> = load_verified(&path, ModelType::Custom, Some(&wrong_verifying));

        prop_assert!(result.is_err(), "Wrong key should fail verification");
    }

    /// Property: Signed files have SIGNED flag set
    #[test]
    fn prop_signed_flag_set(_seed in any::<u8>()) {
        use tempfile::tempdir;

        #[derive(Debug, serde::Serialize, serde::Deserialize)]
        struct Model { v: i32 }

        let model = Model { v: 1 };
        let signing_key = SigningKey::generate(&mut rand::rng());

        let dir = tempdir().expect("tempdir");
        let path = dir.path().join("test.apr");

        save_signed(&model, ModelType::Custom, &path, SaveOptions::default(), &signing_key)
            .expect("save");
        let info = inspect(&path).expect("inspect");

        prop_assert!(info.signed, "SIGNED flag must be set");
    }

    /// Property: Tampering with signed file is detected
    #[test]
    fn prop_tampering_detected(data in arb_model_data()) {
        use tempfile::tempdir;

        #[derive(Debug, serde::Serialize, serde::Deserialize)]
        struct Model { weights: Vec<f32> }

        let model = Model { weights: data };

        let signing_key = SigningKey::generate(&mut rand::rng());
        let verifying_key = signing_key.verifying_key();

        let dir = tempdir().expect("tempdir");
        let path = dir.path().join("test.apr");

        save_signed(&model, ModelType::Custom, &path, SaveOptions::default(), &signing_key)
            .expect("save");

        // Tamper with the file (modify a byte in the middle)
        let mut content = std::fs::read(&path).expect("read");
        if content.len() > 50 {
            content[50] ^= 0xFF; // Flip bits
            std::fs::write(&path, content).expect("write");

            let result: Result<Model> = load_verified(&path, ModelType::Custom, Some(&verifying_key));
            prop_assert!(result.is_err(), "Tampered file should fail verification");
        }
    }
}