CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. To scale the verification, CertiK developed a layer-based approach to decompose such an otherwise prohibitive proof task into smaller ones. These smaller proof obligations can be encoded in the CertiK transactions and will then be proved and validated by the participants in a decentralized style.
ICO TOKEN PRICE:
CertiK was founded in Silicon Valley & NYC and is a formal verification framework for building fully trustworthy smart contracts and blockchain ecosystems. They are aimed to help people construct bug-free and hacker-resistant smart contracts and blockchain ecosystems which is a real problem in the crypto sphere. CertiK was founded by world-class formal verification experts – professors from Yale University and Columbia University, with senior software engineers from Google, Facebook, and FreeWheel. If they can execute their roadmap they will be massive competition for the likes of Quantstamp and Zeppelin. The only thing missing is more visible information on advisors (although there could be a strategic reason for this) and although they have a strong following on Telegram, we’d like to see a Twitter presence too. All in all it’s a very promising ICO!
All information including our "Grading system" rating, is provided merely for informational purposes. ICO DOG does not provide investment advice (read more).