Engineering blog

From the security engineers building verifiable compute.

STEVE: Attesting the session, not just the enclave

STEVE v2 binds fresh attestation to each session, proving the enclave holds its traffic keys.

Aug 25, 2026 Read release

Post-Mythos security: the case for confidential compute

For critical workloads handling sensitive data, credentials, or valuable assets, a more rigorous defence-in-depth approach is now a basic requirement, not a nice-to-have.

Aug 12, 2026 Read analysis

TEE.fail does not make confidential computing security theatre

Those results should change how some systems are designed and how the technology is marketed. They do not make confidential computing security theater.

Aug 6, 2026 Read analysis

The Taiko bridge exploit is a trust-model failure, not a TEE failure

The Taiko bridge exploit was not a failure of Intel SGX. It was an architectural failure caused by making a leaked application signing key the...

Jun 30, 2026 Read analysis

Verify, don't trust

Every vendor promises their software is secure. Almost none can prove it. Verifiable compute gives you cryptographic proof instead of blind trust.

Mar 10, 2026 Read insight

First fully verifiable AI/LLM deployment

We deployed an LLM to a secure enclave and verified exactly what code is running: an industry first for fully verifiable, end-to-end encrypted AI inference....

Feb 4, 2026 Read demo

Caution: Verifiable compute made simple

Caution is the generalized verifiable compute platform. Deploy enclaves with two commands and let anyone independently verify exactly what's running.

Dec 1, 2025 Read announcement

The case for verifiable compute

What if the software running your systems isn't what you think? If you had to prove what software is on a system, how would you...

Sep 29, 2025 Read insight

Join the live discussion

Join our Matrix community for live discussions about verifiable compute.

Talk to our engineers on Matrix