审计与安全

此页面总结了平台当前的安全和审计态度。它适用于安全研究人员、审计人员、潜在用户以及在通过平台部署价值之前对平台进行评估的任何人。

静态分析（Slither、Aderyn）在生产代码中干净。符号证明和双重模糊运行全部通过，没有待处理的高或中等严重问题。Solana 质押程序通过四个安全属性的有状态模糊套件（Trident）。