Solidified Solidified 创立于 2017 年初,已经成为以太坊上高质量的技术审核领导者。Solidified 拥有最大的验证审核员社区、专用 bug 赏金平台,并将技术尽职调查的所有阶段纳入防弹智能合约。
Buglab Buglab 基于以太坊,通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol,帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量,以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。
Secureware Secureware 位于美国的区块链安全、运营机构,致力于改善区块链生态系统安全,包括支持安全软件开发生命周期,执行安全评估,技术架构咨询,设计和构建区块链网络,以及开发用于区块链网络安全高效运行的工具。
CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
Authio Authio 提供全方位服务的智能合约安全公司,将项目从白皮书转移到生产开发。其重点在内部研发上,以此作为理解快速发展的生态系统的手段,并努力为客户提供最佳的解决方案,以减轻以太坊网络上构建去中心化应用时候的技术安全风险。 其服务涵盖最初的设计咨询、开发和代码审核,验证项目的智能合约是否按预期运行。
Coinspect Coinspect 回顾了新兴密码货币的设计与实现,以识别可能的攻击。具体包括:网络与 Web 应用的渗透测试,通过模拟熟练的攻击者试图攻击区块链网络,以获取敏感信息并窃取所有数字资产;源代码安全检查,以识别安全漏洞,分析其影响,并提供建议,以立即提升产品的安全性;漏洞管理服务立即向安全团队发出警报,为快速解决问题提供帮助。