CertiK

CertiK is een blockchain-beveiligingsbedrijf dat in 2017 werd opgericht door twee informaticaprofessoren van Yale en Columbia University. Het bedrijf past formele verificatie, AI-gedreven gereedschap en audits door specialisten toe om slimme contracten en blockchainprotocollen op grote schaal te beveiligen. De wiskundige precisie van formele verificatie vormt daarbij de kern: een eigen Formele Verificatie Engine bewijst mathematisch de correctheid van slimme contracten.

Het productaanbod omvat verder Skynet, een beveiligingsmonitor voor blockchain- en Web3-projecten, naast penetratietesten, KYC-verificatie en aanvullende beveiligingsdiensten. CertiK combineert daarmee geautomatiseerde AI-tools met menselijke expertise in de domeinen formal verification, smart contract auditing, penetration testing en security monitoring.

Naar eigen zeggen heeft het bedrijf meer dan 600 miljard dollar aan digitale activa beveiligd, ruim 180.000 kwetsbaarheden gedetecteerd en meer dan 5.000 enterpriseklanten bediend, waaronder Binance, Ripple, Tether, Samsung en Aptos. CertiK is gevestigd in New York en heeft een waardering van meer dan 2 miljard dollar. Investeerders zijn onder meer Sequoia, Coatue, Goldman Sachs, Tiger Global en SoftBank.