CertiK
CertiK 是一家总部位于纽约的 Web3 安全平台，由哥伦比亚大学和耶鲁大学的教授于 2017 年创立。
最近更新 2026年9月11日
AI 爬虫读取
1次请求
1家公司- Anthropic1
- 词条页
- 1
- 争议页
- 0
- JSON · MD
- 0
- 首次读取
- 2026年11月4日
- 最近读取
- 2026年11月4日
统计自 2026年10月28日 · 数据来自本站服务器日志
概览
CertiK 是一家总部位于纽约的 Web3 安全平台，由哥伦比亚大学和耶鲁大学的教授于 2017 年创立。它自称是最大的 Web3 安全平台，将形式化验证与审计及全面的安全解决方案相结合。其领导层包括耶鲁大学的联合创始人邵中教授和哥伦比亚大学的联合创始人兼首席执行官顾荣辉。该公司提供包括 KYC 验证和 VARA 合规解决方案在内的安全与合规服务。
沿革
CertiK 由哥伦比亚大学和耶鲁大学的教授于 2017 年创立，是一家总部位于纽约的 Web3 安全领导者。它源于哥伦比亚大学和耶鲁大学的突破性研究。其领导层包括联合创始人邵中教授（耶鲁大学计算机科学系 Thomas L. Kempner 教授兼系主任）以及联合创始人兼首席执行官顾荣辉（哥伦比亚大学计算机科学副教授）。邵中及其耶鲁 FLINT 团队开发了世界上第一个抗黑客的并发操作系统 CertiKOS。顾荣辉是 CertiKOS 和 SeKVM 的主要设计者和开发者。
产品与定位
最大的 Web3 安全平台，将形式化验证与审计及全面的安全解决方案相结合。
KYC 验证
面向 Web3 的隐私优先 KYC 验证，提供符合 ISO 27001 和 SOC 2 的严格保密审查流程。
VARA 合规解决方案
针对 VARA 要求量身定制的全面安全与合规服务，包括智能合约与 L1 链审计以及应用渗透测试。
近期事件
报道日期：
来源6 个来源
引用本词条: 请引用规范词条页。 /brand-wiki/certik · 编辑方针 · 词条如何编纂