ChainSecurity

简介

**运营主体 Decentralized Security AG（商号 ChainSecurity，亦称 ChainSecurity AG）**。**注册地 Thurgauerstrasse 40, 8050 Zürich, Switzerland**。**2017-10 创立**，**ETH Zürich（瑞士联邦理工学院）spin-off**。**创始人 Prof. Martin Vechev、Matthias Egli、Dr. Hubert Ritzdorf、Dr. Petar Tsankov**。**M&A 历史（关键事实修正）**：**2020-01-10**（**非 2020-08，是 2020-01**），ChainSecurity 团队加入 PwC Switzerland。各路报道措辞不一：CoinDesk / Yahoo 用 "incorporates"，ETH Zurich 官方页用 "taken over"，Cointelegraph 用 "partners"，crypto.news 用 "acquires"。**ETH Zurich 官方原话："joined PricewaterhouseCoopers (PwC) Switzerland"**。**部分团队（含 COO Egli、CTO Ritzdorf）转入 PwC**，但 ChainSecurity AG 实体名称延续，官网仍独立运营、独立品牌。加入前已完成 75+ 区块链审计；曾发现 Constantinople / Istanbul 硬分叉问题。**当前产品形态**：**主营智能合约审计**（DeFi 协议 / 桥 / 稳定币 / DEX/AMM / 借贷 / 衍生品）；历史工具 Securify（开源安全扫描器，securify.chainsecurity.com / GitHub eth-sri/securify 标 **DEPRECATED**；继任者 securify2 也在 ETH SRI Lab 仓库，非主推产品）；历史工具 VerX（Ethereum 形式化验证器，verx.ch）—— 学术项目，无明显商业 SaaS 入口。官网当前导航仅暴露：Audits / Testimonials / Why Us / Institutional / Blog / Contact / Request Audit。**没有自助 SaaS 入口**。当前定价未公开（企业咨询模式 Request Audit）。

核心功能

• 智能合约审计（DeFi / 桥 / 稳定币 / DEX）
• Securify（已 DEPRECATED）
• VerX（学术形式化验证器）
• Request Audit 企业咨询模式

优缺点

详细介绍

这是什么

公司主体

• **运营主体**：**Decentralized Security AG**（商号 ChainSecurity，亦称 ChainSecurity AG）
• **注册地**：Thurgauerstrasse 40, 8050 Zürich, Switzerland

创立年份

• **2017-10**
• **ETH Zürich（瑞士联邦理工学院）spin-off**

创始人

• **Prof. Martin Vechev**
• **Matthias Egli**
• **Dr. Hubert Ritzdorf**
• **Dr. Petar Tsankov**

M&A 历史（关键事实修正）

• **2020-01-10**（**非 2020-08，是 2020-01**），ChainSecurity 团队加入 PwC Switzerland
• 各路报道措辞不一：
• - CoinDesk / Yahoo 用 "incorporates"
• - ETH Zurich 官方页用 "taken over"
• - Cointelegraph 用 "partners"
• - crypto.news 用 "acquires"
• **ETH Zurich 官方原话："joined PricewaterhouseCoopers (PwC) Switzerland"**
• **部分团队（含 COO Egli、CTO Ritzdorf）转入 PwC**
• 但 ChainSecurity AG 实体名称延续，官网仍独立运营、独立品牌
• 加入前已完成 **75+ 区块链审计**
• 曾发现 **Constantinople / Istanbul 硬分叉问题**

当前产品形态

### 主营：智能合约审计

• DeFi 协议 / 桥 / 稳定币 / DEX/AMM / 借贷 / 衍生品

### 历史工具

• **Securify**（开源安全扫描器）
• - securify.chainsecurity.com
• - GitHub eth-sri/securify 标 **DEPRECATED**
• - 继任者 securify2 也在 ETH SRI Lab 仓库，非主推产品
• **VerX**（Ethereum 形式化验证器，verx.ch）
• - 学术项目，无明显商业 SaaS 入口

官网当前导航

仅暴露：Audits / Testimonials / Why Us / Institutional / Blog / Contact / Request Audit。**没有自助 SaaS 入口**。

当前定价

• 未公开（企业咨询模式 Request Audit）

信息来源

• chainsecurity.com/
• inf.ethz.ch/news-and-events/spotlights/2020/01/chainsecurity-pwc-switzerland.html
• coindesk.com/markets/2020/01/10/pwc-switzerland-incorporates-chainsecurity-team-to-expand-blockchain-audit-tools
• github.com/eth-sri/securify
• verx.ch/

常见问题