派盾科技PeckShield 派盾科技是面向全球的区块链安全公司,由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办。派盾科技曾发现并命名了 BEC、SMT、EDU 等智能合约的安全漏洞。今年 5 月,派盾科技完成来自高榕资本的数千万元天使轮融资。
CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
Secureware Secureware 位于美国的区块链安全、运营机构,致力于改善区块链生态系统安全,包括支持安全软件开发生命周期,执行安全评估,技术架构咨询,设计和构建区块链网络,以及开发用于区块链网络安全高效运行的工具。
ChainSecurity 关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最新研究。
Trail of Bits Trail of Bits 自 2012 年创立以来,将高端安全研究与现实世界的黑客心态相结合,以降低世界上最具针对性的一些组织和产品的风险,并在代码层面加固。目前,他们借助自己专长的密码学软件工程经验、基础的数学知识,涉足加密与区块链行业。
Buglab Buglab 基于以太坊,通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol,帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量,以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。