Formal Verification in Blockchain Technology: CertiK Company’s Secret to Success