2020-10-20 比特币挖矿软件|Evaluape：CertiK 技术模式清晰，团队学术背景扎实，实际落地情况良好 2019 年 7 月 23 日，形式化验证服务商 CertiK 的公链测试网络正式上线。区块链研究平台 Evaluape 表示：CertiK 以智能合约和区块链
