secbit labsは中国の一流組織で、セキュリティ監査サービスを提供しています。これには、Solidityスマートコントラクト、形式検証、ゼロ知識証明（zkp）およびその他の暗号アルゴリズムに関連するコードの検査が含まれます。