Аудит та безпека

Ця сторінка підсумовує поточну безпеку та статус аудиту платформи. Вона призначена для дослідників безпеки, аудиторів, потенційних користувачів та усіх, хто оцінює платформу перед розгортанням цінності через неї.

Статичний аналіз (Slither, Aderyn) чистий у виробничому коді. Пропозиційне доказування та тести дворазового розмиття всі проходять, без вищих видатків на проблеми з високим чи середнім рівнем тяжкості. Програма стейкінгу Solana проходить набір статефул-буззінгу (Trident) у чотирьох властивостях безпеки.