CertiK 研究

CertiK由哥伦比亚大学和耶鲁大学的教授于2018年创立，站在区块链和Web3安全的最前沿，开创了形式验证和人工智能驱动技术的进步，以保护区块链、智能合约和去中心化应用程序的安全。作为该领域公认的领导者，CertiK 的使命是在快速发展的 Web3 领域建立弹性标准，确保新兴技术安全可靠，供全球采用。 CertiK 研究部门由一支高度专业化的研究人员和工程师团队组成，他们既有耶鲁大学、佐治亚理工学院、清华大学和北京大学等著名学术机构的专家，也有来自微软、三星和英特尔的行业资深人士。

推动安全领域的创新

Action Item - Advancing Security Innovation

推进安全创新

这个敬业的团队处于安全研究的最前沿，推动着形式验证、密码完整性和零知识证明系统等核心领域的发展。

综合研究

研究部门的工作涉及区块链安全、智能合约验证和系统安全，涵盖移动系统、可信执行环境和去中心化物理基础设施网络等关键领域。

Action Item - Practical Security Solutions

实用的安全解决方案

团队的工作重点不仅在于理论上的进步，还在于实施切实可行的解决方案，以提高这些高风险领域的安全标准。

学术贡献

Our team members are highly active in academia, contributing over 230 peer-reviewed publications to premier venues

S&P

EEE 安全与隐私专题讨论会

CCS

ACM 计算机与通信安全会议

TIFS

电气和电子工程师学会信息取证与安全论文集

NDSS

网络和分布式系统安全研讨会

ASPLOS

为编程语言和操作系统提供架构支持

PACMPL

ACM 程序设计语言论文集

With a citation count surpassing 8,600, their research contributions are widely recognized and cited, demonstrating the impact on advancing knowledge in computer security.

行业影响

Beyond academic contributions, our team members have a profound influence in the technology and blockchain industries. They have identified over 200 critical vulnerabilities, which have been acknowledged by major tech leaders, including Google, Apple, Microsoft, Samsung, Qualcomm, and Adobe, as well as prominent blockchain ecosystems such as OKX, SUI, and Wormhole. These findings have set new standards in security, reinforcing our commitment to creating safer, more resilient systems across industries.

我们的研究人员还在 BlackHat、DEFCON、HITB、POC 和 CanSecWest 等主要行业会议上展示他们的专业知识和见解，与全球安全社区分享突破性发现。这种参与不仅彰显了 CertiK 作为思想领袖的地位，还加强了其在塑造未来网络安全标准方面的作用。

CertiK 因发现 iOS、iPadOS、macOS 和 watchOS 中的关键漏洞而五次获得苹果公司的认可。

三星认可 CertiK 为显著提高其移动区块链解决方案的安全性所做的贡献。

CertiK 和 OKX 合作加强整个 OKX 生态系统的安全性，提高信任度并制定新的安全标准。

CertiK 发现了一个有可能导致网络瘫痪的关键漏洞，因此获得了 Sui 60 万美元的最高漏洞悬赏奖金。

引领 Web3 及以后的安全研究发展

通过学术严谨性和行业敏锐性的有力结合，CertiK 的研究部门不断推动变革性解决方案，以应对区块链和新兴技术带来的复杂安全挑战。CertiK的研究团队专注于应用研究，并拥有极具影响力的发现记录，是推动Web3及其他网络安全发展的领导力量。