rvm-types 0.1.1

Core types for the RVM coherence-native microhypervisor (ADR-132)
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

//! Proof-system types.

/// Proof tier (P1, P2, P3).
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
#[repr(u8)]
pub enum ProofTier {
    /// P1: Capability check (< 1 us).
    P1 = 1,
    /// P2: Policy validation (< 100 us).
    P2 = 2,
    /// P3: Deep proof (< 10 ms).
    P3 = 3,
}

/// Result of a proof verification.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ProofResult {
    /// Proof passed.
    Passed,
    /// Proof failed.
    Failed,
    /// Proof was escalated to a higher tier.
    Escalated,
}

/// A proof token that attests to a verified proof.
#[derive(Debug, Clone, Copy)]
pub struct ProofToken {
    /// The tier that was verified.
    pub tier: ProofTier,
    /// Epoch when the proof was generated.
    pub epoch: u32,
    /// Truncated hash of the proof payload.
    pub hash: u32,
}