Australian not-for-profit · ACN 699 651 771Open research · Open software · Public benefitPublic record

Research topic · VirtEngine + DSEMA

Confidential computing

How can tenants run sensitive workloads on hardware owned by strangers — with confidentiality and integrity they can verify rather than assume?

Research on trusted execution, attestation, and encrypted data paths in a decentralized cloud: the VirtEngine enclave and encryption modules, provider attestation, and the sandboxing substrate DSEMA agents inherit.

Explore the mechanism

Trace the processVirtEngine protocol design • not a live purchase

Follow a compute agreement.

Select a stage to see who acts, what changes, and what evidence remains.

Tenant or agent

Specify a workload, resource needs, and budget.

A request makes demand explicit; it does not create capacity.

Stage 1 of 5
Stages explain a design and its evidence; a highlighted stage is not proof of real execution. Sources: underlying documentation.

Explore the learning library →How this connects to the wider research

01 research

The question

A decentralized cloud marketplace inverts the usual trust model: instead of one audited hyperscaler, compute comes from many independent providers with heterogeneous hardware and unknown intentions. The research question is what combination of trusted execution environments, remote attestation, encryption, and protocol-level verification lets a tenant treat that fleet as trustworthy-by-verification rather than trustworthy-by-brand.

02 research

Approach in the protocol

The open VirtEngine repository carries dedicated on-chain modules for this stream: x/enclave (trusted-execution and attestation integration), x/encryption (protocol encryption and key fingerprinting), x/cert (certificates), and x/audit (provider auditing). Device and hardware attestation likewise anchors the VEID identity pipeline — the same verify-the-hardware discipline applied to a different asset.

Around the modules sit operational research questions documented in the repository's HPC and provider-operations guides: how attestation evidence enters provider auditing, how encrypted payloads traverse the deployment pipeline, and how benchmark and fraud modules (x/benchmark, x/fraud) detect providers that misrepresent capacity.

03 research

Shared substrate with DSEMA

DSEMA's containment research and VirtEngine's confidential-computing research address complementary threats. Sandboxes and egress policies restrict what a workload can do; confidential execution and attestation address a different question about protecting workloads on provider-owned hardware. A gVisor-style sandbox does not by itself establish confidentiality against its host. Verified model loading, containment, and hardware evidence each need their own enforcement and testing. The proposed relationship is for DSEMA collectives to acquire resources through VirtEngine, with these controls composing across the boundary rather than substituting for one another.

Artifacts — verify, don't trust

  • x/enclave, x/encryption, x/cert, x/audit on-chain modules in the open repository
  • HPC operations documentation docs/hpc-provider-operations.md, docs/hpc-node-agent.md, docs/hpc-workload-publishing.md
  • DSEMA containment specification secure execution environments and syscall policy, spec §2.2.3
  • gVisor security architecture workload isolation and its limits; distinct from a confidential-computing guarantee