Files
papers/lux-zchain/sections/07-trusted-execution-environments-tee.tex
zeekay abf99d05fc papers: reorganize into per-paper dirs, add Antje Worring as co-author
Restructured from flat .tex/.pdf files into per-paper subdirectories.
Added Antje Worring as co-author on all papers.
Synced PDFs to pdfs/ for download site.
2026-04-18 21:50:07 -07:00

38 lines
1.3 KiB
TeX

\section{Trusted Execution Environments (TEE)}
\subsection{Tier 3 Privacy Model}
For regulated use cases, Z-Chain supports \textbf{TEE-based privacy}:
\begin{itemize}[leftmargin=1.1em]
\item Validators run Intel SGX or AMD SEV enclaves
\item Smart contracts execute inside secure enclave
\item Auditors receive encrypted attestations from TEE
\item Regulators access transaction data via auditor keys
\end{itemize}
\subsection{Attestation Protocol}
\begin{algorithm}[H]
\caption{TEE Transaction Attestation}
\begin{algorithmic}[1]
\State \textbf{Input:} Transaction $T$, auditor public key $pk_{\text{aud}}$
\State \textbf{Output:} Encrypted attestation $E$, TEE quote $Q$
\State
\State // Execute transaction in enclave
\State $\text{result} \leftarrow \text{ExecuteInEnclave}(T)$
\State
\State // Generate attestation
\State $A \leftarrow \{\text{sender}, \text{recipient}, \text{amount}, \text{timestamp}\}$
\State $E \leftarrow \text{Encrypt}(A, pk_{\text{aud}})$ \Comment{Auditor can decrypt}
\State
\State // Remote attestation quote
\State $Q \leftarrow \text{GenerateQuote}(\text{enclave\_measurement})$
\State \textbf{return} $(E, Q)$
\end{algorithmic}
\end{algorithm}
\textbf{Compliance Guarantee}: Regulators verify TEE quote $Q$ proves correct enclave execution, then decrypt $E$ to audit transaction.