Secure Proof in Non-Asymmetric Trusted Execution Environments (ASEE) Based on Quantum Key Distribution
Jincheng Zhang
Abstract
This paper proposes a novel approach to security proof within Non-Asymmetric Trusted Execution Environments (ASEE) leveraging Quantum Key Distribution (QKD). The core challenge in ASEE design is establishing trust in the execution of code, often relying on a central trusted party. We introduce a mechanism that utilizes QKD to generate a shared key, which is then employed to securely encrypt the quantum state representing the execution process of the code. Post-execution verification confirms the correctness of the results, followed by decryption using the same key. This process creates a fundamentally verifiable trust foundation, directly addressing the trust issues inherent in traditional ASEE models. The method offers a robust defense against potential attacks by providing a complete audit trail of the code's execution through the quantum key distribution process. We demonstrate the feasibility and potential security advantages of this approach.