分析和研究高低阶的应用。
SmartDec 分析和研究高低阶的应用,开发软件应用,并提供智能合同安全审计服务。
前 QUANTSTAMP 安全审计负责人 Jonathan Haas 参与创办的安全服务机构。
智能合约的安全审计与开发。
专注区块链生态安全。
挑战当前对于区块链安全的定义。
通过形式化验证,确保智能合约及区块链系统的安全性。
2012 年创立的安全团队,从事高端安全研究与黑客心态解读。
Δ