ChainSecurity

2个月前发布 3,360 0 0

**运营主体 Decentralized Security AG（商号 ChainSecurity，亦称 ChainSecurity AG）**。**注册地 Thurgauerstrasse 40, 8050 Zürich, Switzerland**。**2017-10 创立**，**ETH Zürich（瑞士联邦理工学院）spin-o...

语言：
zh
收录时间：
2026-09-01
打开网站手机查看
ChainSecurityChainSecurity
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）。编辑评分 4.0/5。

数据统计

相关导航

Cielo

Cielo

**运营主体 Cielo S.A.（Sociedade Anônima）**，原名 **Companhia Brasileira de Meios de Pagamento**。**1995 年作为 Visa International 与巴西大行的合资公司创立**；2009 年品牌更名 Cielo；2010 年 IPO。**总部 Barueri, São Paulo, Brazil**。**已退市股票代码 B3:CIEL3**，原属 Novo Mercado 板块；2010 年 IPO 募资约 $4.4B（Bovespa 史上第三大 IPO）。**私有化时间线**：2024-02 Bradesco + Banco do Brasil（通过持股公司 Grupo Elopar）启动 OPA，初始报价 R$5.35/股；2024-04 股东会通过；最终成交价 R$5.82/股（CDI 调整后）；OPA 期间（2024-07-10 至 2024-08-14）收购额外 27.1% 股份；**2024-08-15 股票退出 Novo Mercado**，迁至 Basic 板块；报价方持股达 93.4%，完成私有化；**2025 年初转入由 Bradesco + Banco do Brasil 通过 Elopar 全资控制的私营结构**。**OPA 报价方**：Quixaba、BB Elo Cartões、Elo Participações、Alelo、Livelo（联合 Elopar 控股结构）。**核心业务**：巴西最大信用卡 / 借记卡收单机构；受理网络 Visa / Mastercard / Elo / Hipercard 等；拉美按收入和市值最大支付公司。**2018 年财务数据**：营收 $3.0B / 净利润 $923M / 员工 1,174。编辑评分 4.0/5。
BMI计算器

BMI计算器

BMI指数（即 身体质量指数 ，简称体质指数又称体重指数，英文为Body Mass Index，简称BMI），BMI指数是根据身高、体重两个数据快速计算出一个人的胖瘦情况。 如何计算BMI： aux 选择性别；输入身高体重；点击「计算BMI」即可。 右边的彩图的意思就是， 如果你的计算结果是在18.5~23.9区间，你的体型则是属于正常； 如果你的计算结果是在24.0~27.9区间，你的体型则是属于超重；如果你的计算结果是≥28.0，你的体型则是属于肥胖。