Infrastructure · Verification
SpotAudit
Random sampling of internal state
Definition
Mechanism
A probabilistic audit where a verifier requests a random sample of an agent's internal memory or logs. The agent must provide a Merkle proof for that specific slice. Keeps agents honest without full audits. Utilizes StateAudit.
Risks
Failure modes
Privacy leakage from the sample.
Relationships
Builds on
References
Verification of conformance
Verifying system state after an operation
Used by
References
Pre-commitment to penalties
Society
Recursive trust dependencies modeled as a DAG
Reference
Parameters
response_deadlineDuration, unspecified- How long the auditee has to return a proof. Referenced by the second invariant, which previously named a T_max nothing defined.
sample_sizeInteger, [1, 1000]- Slices requested per audit.