CertiK is a formal check system to scientifically demonstrate that shrewd contracts and blockchain biological communities are sans bug and programmer safe. To scale the check, CertiK built up a layer-based way to deal with break down such a generally restrictive confirmation errand into littler ones. These littler evidence commitments can be encoded in the CertiK exchanges and will then be demonstrated and approved by the members in a decentralized style. Accordingly, the CertiK records function as endorsements to show the conclusion to-end rightness and security of the checked savvy contracts and confirmed blockchain biological communities, making them completely dependable.