SECBIT Labs is a first-class organization in China that provides security audit services, including Solidity smart contracts, formal verification, and inspection of codes related to Zero-Knowledge Proofs (ZKP) and other cryptographic algorithms.