Hot: authenticityproofs