監査とセキュリティ

このページは、プラットフォームの現在のセキュリティと監査体制を要約しています。セキュリティ研究者、監査人、見込みユーザー、およびプラットフォームを通じて価値をデプロイする前にプラットフォームを評価する人を対象としています。

静的分析（Slither、Aderyn）は本番コードでクリーンです。シンボリック証明およびデュアルファザー実行はすべてパスし、未解決の高または中程度の重大度の問題はありません。Solanaステーキングプログラムは、4つのセキュリティプロパティにわたってステートフルファザースイート（Trident）を通過します。