Solidified
Solidified 创立于 2017 年初，已经成为以太坊上高质量的技术审核领导者。Solidified 拥有最大的验证审核员社区、专用 bug 赏金平台，并将技术尽职调查的所有阶段纳入防弹智能合约。
关于智能合约的首个代码审计平台，针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描，源于 Securify、ChainCode Scanner 创始者，基于苏黎世联邦理工学院 ICE 中心的最新研究。
相关导航
长亭科技
国内顶尖的网络信息安全公司，专注为企业级用户提供专业的网络信息安全解决方案。曾经与比特大陆、ConsenSys 联合发布区块链安全报告。全球首发基于人工智能语义分析的下一代 Web 应用防火墙，颠覆了传统依赖规则防护的工作原理，为企业用户带来更智能、更简单、更省心的安全产品及服务。
Certora
CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
派盾科技PeckShield
派盾科技是面向全球的区块链安全公司，由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办。派盾科技曾发现并命名了 BEC、SMT、EDU 等智能合约的安全漏洞。今年 5 月，派盾科技完成来自高榕资本的数千万元天使轮融资。
SolidStamp
SolidStamp 将智能合约用户与安全审核员连接在一起，以确保以太坊通证的安全性。SolidStamp 拥有智能合约审计的链上数据库，允许你聘请顶尖的安全专家，帮助审核计划用于验证其真实性和安全性的合约。
CertiK
CertiK是一家智能合同及区块链生态安全服务提供商，采用了形式化的验证，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，核心产品为CertiKOS防黑客操作系统。
HackerOne
HackerOne 是排名第一的黑客驱动安全平台，可帮助你在被利用之前发现并修复关键漏洞。
慢雾科技
厦门慢雾科技有限公司，专注区块链生态安全，由一支拥有十多年一线网络安全攻防实战的团队创建。通过独有的地下黑客风向标追踪引擎，持续为合作公司及国家相关部门提供威胁情报
暂无评论...