CertiK Recognized Again in Apple's iOS 17 Security Update of three critical security vulnerabilities in Apple's iOS kernel.

CertiK has completed a security audit of LINE Blockchain, and CertiK will join the network as a governance member and node validator.

CertiK has successfully completed the formal verification of HyperEnclave’s core components. The paper accepted by ASPLOS'24.

CertiK has successful completed a comprehensive security audit for XLS-30d, an innovative AMM built on the XRP Ledger (XRPL).

Samsung has acknowledged CertiK's contributions to significantly enhancing the security of its mobile blockchain solutions.

CertiK's audits significantly enhanced TON's security, including formal verification of its consensus module, ensuring functionality and robustness.

CertiK’s comprehensive audit for SEI Protocol, identified and resolved critical issues, safeguarding the network before its mainnet launch.

CertiK was awarded Sui's highest bug bounty for the discovery of a critical vulnerability that could have shut down the network.