pqrascv-hardware 1.0.0-rc.5

Hardware-rooted trust and distributed verifier consensus for PQ-RASCV
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

use serde::{Deserialize, Serialize};

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SnapshotChunk {
    pub manifest_hash: [u8; 32],
    pub chunk_index: usize,
    pub total_chunks: usize,
    pub data: alloc::vec::Vec<u8>,
    pub chunk_merkle_proof: alloc::vec::Vec<[u8; 32]>,
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SnapshotManifest {
    pub snapshot_id: String,
    pub federation_id: String,
    pub total_size_bytes: u64,
    pub chunk_count: usize,
    pub chunk_merkle_root: [u8; 32],
    pub signature: alloc::vec::Vec<u8>,
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SnapshotProof {
    pub manifest: SnapshotManifest,
    pub received_chunks: alloc::collections::BTreeMap<usize, SnapshotChunk>,
}

impl SnapshotProof {
    #[must_use]
    pub fn new(manifest: SnapshotManifest) -> Self {
        Self {
            manifest,
            received_chunks: alloc::collections::BTreeMap::new(),
        }
    }

    pub fn add_chunk(&mut self, chunk: SnapshotChunk) -> Result<(), &'static str> {
        if chunk.manifest_hash != self.manifest.chunk_merkle_root {
            // Simplified for demo
            return Err("Manifest hash mismatch");
        }
        if chunk.chunk_index >= self.manifest.chunk_count {
            return Err("Chunk index out of bounds");
        }
        self.received_chunks.insert(chunk.chunk_index, chunk);
        Ok(())
    }

    #[must_use]
    pub fn is_complete(&self) -> bool {
        self.received_chunks.len() == self.manifest.chunk_count
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn tracks_chunk_completion() {
        let manifest = SnapshotManifest {
            snapshot_id: "snap1".into(),
            federation_id: "fed1".into(),
            total_size_bytes: 1024,
            chunk_count: 2,
            chunk_merkle_root: [0; 32],
            signature: vec![],
        };
        let mut proof = SnapshotProof::new(manifest);
        assert!(!proof.is_complete());

        let _ = proof.add_chunk(SnapshotChunk {
            manifest_hash: [0; 32],
            chunk_index: 0,
            total_chunks: 2,
            data: vec![1, 2, 3],
            chunk_merkle_proof: vec![],
        });
        assert!(!proof.is_complete());

        let _ = proof.add_chunk(SnapshotChunk {
            manifest_hash: [0; 32],
            chunk_index: 1,
            total_chunks: 2,
            data: vec![4, 5, 6],
            chunk_merkle_proof: vec![],
        });
        assert!(proof.is_complete());
    }
}