审计徽标是项目最常用的信任素材，但审计不盖章、不背书。本文讲审计与形式化验证的差别、时效与范围边界，并给普通用户四项链上自查：代码版本、升级权限、特权函数与报告可回溯性。