التدقيق والأمان

تلخص هذه الصفحة موقف الأمان والتدقيق الحالي للمنصة. وهي مخصصة لباحثي الأمان والمدققين والمستخدمين المتوقعين وأي شخص يقيم المنصة قبل نشر القيمة من خلالها.

التحليل الثابت (Slither و Aderyn) نظيف على كود الإنتاج. تمريرات الإثبات الرمزي و fuzzer مزدوج الجري كل المسار بدون مشاكل عالية أو متوسطة الخطورة. يمر برنامج Solana staking في مجموعة stateful-fuzz (Trident) عبر أربع خصائص السلامة.