Frequently Asked Questions (FAQ) about the TDX Prover MCP Server

Q: What is the TDX Prover?

A: The TDX Prover is a Rust-based API template built with the Axum framework for providing Intel TDX DCAP attestation verification capabilities, including zero-knowledge proofs (Groth16) using sp1 zkvm.

Q: What is TDX DCAP attestation?

A: TDX DCAP attestation is a process of verifying the integrity and authenticity of an Intel Trust Domain Extension (TDX) environment. It ensures that the environment is running in a secure and trusted state.

Q: What is a zero-knowledge proof?

A: A zero-knowledge proof is a cryptographic method that allows one party to prove to another party that a statement is true without revealing any information beyond the validity of the statement itself.

Q: What is sp1 zkvm?

A: sp1 zkvm is a zero-knowledge virtual machine used to generate cryptographic proofs of verification.

Q: What are the prerequisites for using the TDX Prover?

A: The prerequisites include the Rust toolchain, Cargo Lambda, PostgreSQL, and sqlx-cli.

Q: What are the key features of the TDX Prover?

A: Key features include Rust-based implementation, Axum framework, SQLx for database access, TDX DCAP attestation verification, zero-knowledge proof generation, and agent, request, and attestation management.

Q: How do I integrate the TDX Prover with my application?

A: You can integrate the TDX Prover by using the provided API endpoints to register agents, manage requests, and verify attestations.

Q: What are the benefits of using the TDX Prover?

A: The benefits include enhanced data security, verifiable data processing, and integration with secure computing environments like Intel TDX.

Q: How does the TDX Prover relate to MCP (Model Context Protocol)?

A: The TDX Prover acts as an MCP server by providing a secure and standardized way for AI models to access and interact with attestation data, enriching their understanding of data integrity.

Q: Can I use the TDX Prover with the UBOS platform?

A: Yes, the TDX Prover seamlessly integrates with the UBOS platform, allowing you to orchestrate secure AI workflows and build custom AI Agents with secure attestation capabilities.

Q: What kind of database does the TDX Prover use?

A: The TDX Prover uses a PostgreSQL database.

Q: What routes are available in the TDX Prover?

A: The TDX Prover includes routes for managing agents (/agent), requests (/request), and attestations (/attestation).

Q: Where can I find more information about the TDX Prover?

A: You can find more information and detailed documentation on the UBOS Asset Marketplace.