Skip to content
DeHeart Docs

Nautilus Attestations

Nautilus lets a keeper run private logic inside a TEE and submit an attestation plus signed result.

DeHeart should verify:

  • Accepted code identity.
  • Input hash.
  • Output hash.
  • Task binding.
  • Expiry and nonce.
  • Seal policy binding when encrypted inputs are involved.