国家:美国
TAG: 区块链项目
更新日期:2019-01-05
Certik是一家用形式化验证技术保护智能合约和区块链生态的安全的验证平台,致力于应用形式化验证技术,为智能合约和区块链生态提供安全保护