区块链开发与智能合约审计。

QuillHash 的智能合约安全审计平台。

前 QUANTSTAMP 安全审计负责人 Jonathan Haas 参与创办的安全服务机构。

智能合约安全联盟。

分析和研究高低阶的应用。

智能合约的安全审计与开发。

隶属于华顺信安，网络空间测绘的领跑者。

支持 EOS、以太坊的区块链形式化验证平台。

区块链安全公司。

专注区块链生态安全。

挑战当前对于区块链安全的定义。

通过形式化验证，确保智能合约及区块链系统的安全性。

关于智能合约的首个代码审计平台。

2012 年创立的安全团队，从事高端安全研究与黑客心态解读。

由数位国际顶尖安全专家创办，也在转型区块链领域的网络安全公司。