Secbit Labs, Çin'de güvenlik denetim hizmetleri sunan birinci sınıf bir kuruluştur; Solidity akıllı sözleşmeleri, formel doğrulama ve sıfır bilgi kanıtları (ZKP) ile diğer kriptografik algoritmalarla ilgili kodların denetimini içermektedir.