关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最...
关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最…
CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验
CertCertora 通过智能合约的全自动精确验证技术,使可信区块链成为现实
CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为Certi...
Coinspect 回顾了新兴密码货币的设计与实现,以识别可能的攻击
派盾科技是面向全球的区块链安全公司,由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办
针对以太坊生态系统的安全服务及工具,帮助社区与生态系统保持安全状态