Mechanism · Safeguard attestation

Selective attestation leaves traffic uncovered

On this page

← All known flaws

SignificantTheoretical argumentOpen

Attestations are issued per response. In the prototype, the agent offers them when it receives high-stakes questions, so nothing shows that unattested traffic went through the same path. PAL*M's authors note that a prover could cherry-pick favourable executions, and suggest verifier-published nonces or requesting only session-level proofs. A governance analysis notes that auditors also need assurance that all activity is accounted for, since a host could start a second confidential virtual machine that bypasses monitoring.

Sources: [1] · [4] · [8]

Search

Full search page