Automata TDX Attestation SDK is a feature-complete SDK for Intel TDX development. It helps developers to generate the Intel TDX Quote in different cloud service providers (CSP).

Refer to the TDX package to set up the Intel TDX CVM in different cloud service providers (CSP).

Use TDX package to generate the Intel TDX Quote, you can find an example in tdx_attestation.

In Automata DCAP Attestation, we provide the following way to verify the Intel TDX quote on-chain:

function verifyAndAttestOnChain(bytes calldata rawQuote)

It accepts the raw quote hex string to perform the on-chain verification, all collaterals will be fetched from the Automata on-chain PCCS.

The on-chain verification contract has been deployed to Automata Testnet at 0x95175096a9B74165BE0ac84260cc14Fc1c0EF5FF.

Note: For ZK proof-based DCAP verification (Risc0 / SP1), please refer to Automata DCAP Attestation.

Please follow the Intel official DCAP repo SGXDataCenterAttestationPrimitives to perform the off-chain verification.

This project is under development. All source code and features are not production-ready.