블로그
회사 소식
CertiK의 제품 출시, 공지 및 서비스 업데이트 소식.
공지사항 CertiK and OKChain’s Official Ecosystem PartnershipAs the premier blockchain security experts and developers of the CertiK Chain, CertiK is excited to join OKChain’s Commercial Alliance.
공지사항Kava’s Comprehensive Audit for the Validator Vesting ModuleKava selected CertiK, out of all the other leading formal verification and audit firms, to perform their audit because we at CertiK are the most diligent in the industry.
제품 및 서비스Penetration Testing Services For Blockchains and CryptoSecure your Web3 protocol. Master 5 blockchain pentesting types (external to double-blind) & how CertiK's experts uncover zero-day threats first.
공지사항CertiK’s Audit Synopsis of Taxa Network’s Smart Contracts[Taxa Network](https://taxa.network) is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure.
공지사항CertiK's Amaten AMAToken AuditCertiK was excited to review Amaten’s source code, guided and facilitated by aelf, their technical partner -- specifically the AMAToken smart contracts.
공지사항CertiK and Liquid’s Official PartnershipCertiK is excited to partner with Liquid to provide the cybersecurity expertise they seek.
공지사항CertiK’s Completion of Mineral Hub’s Mineral (MNR) Smart ContractsWith such an ambitious and innovative project, Skypeople chose to work with CertiK to build a secure framework moving forward.
제품 및 서비스An Introduction to DeepSEAIn the blockchain world, security is paramount, but writing certifiably correct system software is quite labor-intensive. Current programming languages are not well-suited for the task—let alone compatible—with Formal Verification.
공지사항CertiK Verifies The Sandbox’s SAND and LAND Token ContractsCertiK applied different types of approaches to audit Sandbox’s smart contracts and ensure that they’re free of vulnerabilities.
공지사항Crypto Commonwealth’s Token & Vesting AuditCrypto Commonwealth chose to work with CertiK to ensure the security of their token and vesting smart contracts.
공지사항5 Things CertiK is Grateful ForFor Thanksgiving this year, we have a lot to be thankful for!
공지사항CertiK’s Audit of Fetch AI’s High Performing Next Generation Smart ContractsWith the introduction of Internet of Things, communities found that our technologies were, ironically, disconnected.