ChainSecurity 关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最新研究。 01,0640 安全机构
BUGX BUGX.IO生态系统是一个分布式专业安全服务平台,致力于通过人机结合的方式,为区块链生态厂商提供安全解决方案。平台通过安全社区与区块链之间的连接,鼓励安全专家对区块链生态应用合法安全测试,自动化审计协议依赖于去中心化的区块链网络,缓解整个流程中可能的恶意行为,为人工和自动化安全检测提供所需的算力和可靠的信用保障。 09370 安全机构
安比实验室SECBIT 安比实验室目前着重于研究区块链智能合约的安全问题,助力区块链团队提高智能合约的可靠性与安全性,开展构建智能合约安全框架的理论探索与技术研发,参与共建共识、可信、有序的区块链经济体。 08510 安全机构
Authio Authio 提供全方位服务的智能合约安全公司,将项目从白皮书转移到生产开发。其重点在内部研发上,以此作为理解快速发展的生态系统的手段,并努力为客户提供最佳的解决方案,以减轻以太坊网络上构建去中心化应用时候的技术安全风险。 其服务涵盖最初的设计咨询、开发和代码审核,验证项目的智能合约是否按预期运行。 01,0240 安全机构
CoinFabrik CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验。自比特币出现以来,他们在加密领域一直保持活跃,曾经设计过新的加密协议并发现过数百个安全漏洞。 09610 安全机构
降维安全实验室 降维安全实验室秉承“降维思考 知攻善防”理念,专注构建区块链安全生态,核心成员由来自乌云、百度安全、360企业安全、看雪研究院等国内著名安全团队组成,成员均十年以上安全从业经验。 08920 安全机构