About Livy

Livy is a verifiable computation platform using trusted execution environments. Livy compiles your applications written in any language into a deterministic build to ensure reproducibility and verifiability. When this build runs inside an Intel TDX enclave, Livy generates attestations capturing the enclave’s identity, runtime integrity, and hashes binding together the binary, input, and output.

Every execution generates an individual attestation, so the output cryptographically proves exactly what code and data were executed, when, and in which enclave context.

Livy is built on Intel TDX (Trusted Execution Environment) and abstracts away the complexity of hardware-based attestations, making verifiable computing as simple as deploying a serverless function.

Start building