wiki/theory/audit-algorithms.md history