HYPR HYPR 分布式身份验证方法,将凭证安全地存储在用户的设备上,避免了集中存储单点故障的客户凭证。企业可以大大减少他们的攻击面,更好地防欺诈、更少的密码重置、更低的客户服务成本。以这种方式聚合生物识别数据,且可大规模使用,帮助 HYPR 能够在新兴但不断增长的类别中建立具有竞争性的护城河。
派盾科技PeckShield 派盾科技是面向全球的区块链安全公司,由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办。派盾科技曾发现并命名了 BEC、SMT、EDU 等智能合约的安全漏洞。今年 5 月,派盾科技完成来自高榕资本的数千万元天使轮融资。
CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
Authio Authio 提供全方位服务的智能合约安全公司,将项目从白皮书转移到生产开发。其重点在内部研发上,以此作为理解快速发展的生态系统的手段,并努力为客户提供最佳的解决方案,以减轻以太坊网络上构建去中心化应用时候的技术安全风险。 其服务涵盖最初的设计咨询、开发和代码审核,验证项目的智能合约是否按预期运行。
SolidStamp SolidStamp 将智能合约用户与安全审核员连接在一起,以确保以太坊通证的安全性。SolidStamp 拥有智能合约审计的链上数据库,允许你聘请顶尖的安全专家,帮助审核计划用于验证其真实性和安全性的合约。