Memory-wiped AI auditors could verify that competing AI labs are adhering to safety commitments without leaking sensitive information