sigil

Double-click anywhere. I know everything about Sigil.

or I can help you find anything

Ask about Sigil — or anything in the ecosystem

Enter to askEsc to close
spec::tee · 4 vendors · 6 verification steps · all fail-closed

TEE Verification Spec.

Four vendor verifiers (AMD SEV-SNP, Intel SGX DCAP, Intel TDX, Arm CCA). Six verification steps each: trust anchors, strict parse, allowlist, freshness, receipt binding, settle. Twenty-four typed cells of verification logic; every cell fails closed.

TEE overviewCompute spec →
sigil · liverunning
TEE VERIFIER MATRIX · 4 vendors × 6 verification stepsidleTRUST ANCHORSSTRICT PARSEALLOWLISTFRESHNESSRECEIPT BINDSETTLESEV-SNPSGX-DCAPTDXCCAall four vendors · all six steps · all fail-closed by default

Twenty-four cells. All implemented. All fail-closed.

Each vendor verifier in its own crate · cargo features per vendor · production binaries pin the matrix.

TEEOperator docs →