TDX Cairo Verifier [WIP]

A quote verifier smart contract for Intel's TDX, implemented in Cairo. It enables trust-minimized validation of TEE quotes without relying on attestation authority services.

⚠️ SECURITY WARNING: This is experimental software and under development. Do not use in production.

Prerequise

• Rust
• Scarb 2.8.4
• Starknet Foundry

Run tests

$ cd contract
$ snforge test

TDX Validations

Validation	Status
Verify attestation signature	✅
Validate enclave entity	✅
Validate enclave entity	✅
Verify TDX module identity	✅
Verify TCB status	✅
Verify certificate	⏳
Verify QEReport	⏳
Verify certificate chain	⏳
Verify the signature for qe report data	⏳

Credits

Thanks to Automata for the dcap-rs library 🫶.