CertiK est une startup de sécurité web3 et blockchain qui exploite la technologie de vérification formelle pour assurer mathématiquement la sécurité des logiciels système. Les innovations de la société sont appliquées du milieu universitaire à l'entreprise, permettant ainsi aux applications critiques d'être construites avec sécurité et exactitude.
Le cycle de financement a été mené par Insight Partners, Tiger Global et Advent International. Parmi les autres participants se trouvaient Goldman Sachs, Sequoia Capital et Lightspeed Venture Partners. L'argent récolté sera utilisé pour le développement de nouveaux produits et le développement "d'une plate-forme de sécurité unique pour l'ensemble du monde web3".
CertiK, New York, a été fondée par Ronghui Gu, Zhong Shao en 2018. On dit que la demande de sécurité de la blockchain ne fait qu'augmenter à mesure que les exploits et la fraude dans le secteur de la cryptographie sont répandus. L'entreprise ne touche toujours pas l'argent levé au cours des quatre derniers tours, car elle est elle-même rentable. « Cette industrie est encore jeune et différente du Web 2.0. Le monde du web3 compte un petit groupe de développeurs qui ne sont peut-être pas toujours en mesure de sécuriser le logiciel ou le code et c'est pourquoi l'industrie est confrontée à des cyber-risques », Ronghui Gu. À ce jour, CertiK a déjà protégé plus de 300 millions de dollars d'actifs cryptographiques pour 2500 clients, en utilisant des services d'audit et d'enquête sur les fraudes.
