ऑडिट और सुरक्षा

यह पृष्ठ प्लेटफॉर्म की वर्तमान सुरक्षा और ऑडिट स्थिति को सारांशित करता है। यह सुरक्षा शोधकर्ताओं, ऑडिटर, संभावित उपयोगकर्ताओं और इसके माध्यम से मूल्य तैनात करने से पहले प्लेटफॉर्म का मूल्यांकन करने वाले किसी के लिए अभिप्रेत है।

स्टेटिक विश्लेषण (Slither, Aderyn) उत्पादन कोड पर स्वच्छ है। प्रतीकात्मक-प्रमाण और दोहरी-fuzzer चलता सब पास, कोई लंबित उच्च या मध्यम-गंभीरता समस्याएं। Solana स्टेकिंग प्रोग्राम एक stateful-fuzz सूट (Trident) चार सुरक्षा गुणों में पास।