# Welcome to Vorta

**What is Vorta?**

Vorta is a cutting-edge distributed system designed for orchestrating secure, containerized workloads, with a primary focus on verifiable AI computations. It leverages the power of **Intel SGX (Software Guard Extensions)** enclaves, a type of **Trusted Execution Environment (TEE)**, in conjunction with the **Gramine LibOS**. This powerful combination allows unmodified Linux applications, such as complex AI models or Zero-Knowledge (ZK) proof verifiers, to run seamlessly within hardware-isolated secure enclaves.

Vorta's core mission is to provide **end-to-end computational integrity and confidentiality**. By running sensitive tasks inside SGX enclaves, Vorta shields code and data from the host operating system, the hypervisor, and even physical attacks. Furthermore, Vorta integrates a robust **remote attestation** mechanism, enabling any third party to cryptographically verify that a specific workload ran correctly on genuine SGX hardware with the intended software configuration.

Vorta orchestrates the deployment, management, and attestation of these secure, Gramine-shielded containers across a dynamic cluster of SGX-enabled nodes, ensuring that AI computations are not only powerful but also provably trustworthy.

**Why Vorta?**

In an era where AI models are becoming increasingly powerful and influential, the need for trust and transparency in their computations is paramount. Vorta addresses critical challenges:

* **Verifiable Computation:** Guarantees that AI models and other critical computations execute exactly as intended, without tampering.
* **Data Confidentiality:** Protects sensitive data (e.g., training datasets, model parameters, inference inputs) even when processed on untrusted infrastructure.
* **Decentralized Trust:** Removes reliance on a central trusted party for verifying computation, fostering a more democratized and secure AI ecosystem.
* **Secure Orchestration:** Provides a robust framework for managing and scaling secure workloads, analogous to Kubernetes for conventional applications.

**Key Features**

* **SGX Enclave Execution:** Utilizes Intel SGX for hardware-level isolation and protection of code and data.
* **Gramine LibOS Integration:** Allows running unmodified Linux applications within SGX enclaves with minimal friction.
* **Zero-Knowledge Proof Verification:** Natively supports and orchestrates ZK-proof verification tasks within secure enclaves.
* **Remote Attestation:** Enables cryptographic verification of enclave integrity and the executed software.
* **Decentralized Orchestration:** Manages a cluster of worker nodes for scalable and resilient secure computation.
* **Advanced Scheduling:** Intelligently allocates workloads based on TEE capabilities, resource availability, and performance metrics.
* **Extensible API:** Provides comprehensive APIs for job submission, monitoring, and attestation retrieval.