dcap-qvl 0.3.10

This crate implements the quote verification logic for DCAP (Data Center Attestation Primitives) in pure Rust.
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

#!/usr/bin/env python3
"""
Example usage of the DCAP QVL Python bindings.

This example demonstrates how to:
1. Load a quote from a file
2. Create quote collateral from JSON
3. Verify the quote
"""

import json
import time
from pathlib import Path

import dcap_qvl


def main():
    # Example paths - adjust these to your actual sample files
    this_file = Path(__file__)
    quote_file = this_file.parent.parent.parent / "sample/tdx_quote"
    collateral_file = (
        this_file.parent.parent.parent / "sample/tdx_quote_collateral.json"
    )

    if not quote_file.exists():
        print(f"Quote file not found: {quote_file}")
        print("Please ensure you have sample quote files available")
        return

    if not collateral_file.exists():
        print(f"Collateral file not found: {collateral_file}")
        print("Please ensure you have sample collateral files available")
        return

    # Load quote
    with open(quote_file, "rb") as f:
        quote_data = f.read()

    # Load collateral
    with open(collateral_file, "r") as f:
        collateral_json = f.read()

    # Create QuoteCollateralV3 object
    collateral = dcap_qvl.QuoteCollateralV3.from_json(collateral_json)

    # Get current timestamp
    now = 1750320802

    try:
        # Verify the quote
        result = dcap_qvl.verify(quote_data, collateral, now)

        print("Verification successful!")
        print(f"Status: {result.status}")
        print(f"Advisory IDs: {result.advisory_ids}")
        print("\nFull result:")
        print(result.to_json())

    except Exception as e:
        print(f"Verification failed: {e}")


if __name__ == "__main__":
    main()