Veridise 是一个专注于区块链与智能合约安全审计、形式化验证及漏洞检测的标签，用于标识与 Veridise 公司或其相关安全工具、服务、研究成果有关的内容（如(项目名称)、(审计报告)、(验证工具)、(漏洞类型)、(发布日期)等）。
