Denetim ve Güvenlik

Bu sayfa, platformun mevcut güvenlik ve denetim duruşunu özetlemektedir. Güvenlik araştırmacıları, denetçiler, muhtemel kullanıcılar ve platformu değerleme yoluyla değer dağıtmadan önce değerlendiren herkes için tasarlanmıştır.

Statik analiz (Slither, Aderyn) üretim kodunda temizdir. Sembolik ispat ve çift bulanıklık çalışmaları tümü geçer, bekleyen yüksek veya orta düzeyde sorun yoktur. Solana staking programı, dört güvenlik özelliğinde stateful-bulanıklık paketini (Trident) geçer.