Skip to main content

Stateless Audit

Definition

A stateless audit is a method of verifying the correctness of a system or computation where the auditor does not need to maintain any persistent state information between verification steps. Each part of the audit can be performed independently, relying solely on the input provided for that specific step. This approach simplifies the auditing process, reduces storage requirements, and enhances scalability, as individual checks do not depend on prior audit history. It promotes efficiency and modularity in verification.