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.