详细内容
区快洞察消息，形式化验证服务商 CertiK 宣布上线 CertiK 公链测试网，旨在设计一个数学上可证安全的公链。CertiK 公链由 DeepSEA 语言开发，目标是让普通开发者也可以编写形式化验证的智能合约。该团队表示，将现有区块链和安全功能集成在一起是自身突围激烈公链竞争的优势，「只要有一些 DApp 有很高的安全性要求，即使它们已经在其他公链上运行，也有需求通过跨链技术部署 CertiK 公链 提供的安全功能。」CertiK 团队表示，其安全审计业务作为一个使用场景目前已经实现盈利，这对于一个处于测试网阶段的区块链项目公司尚属少见。据 Block123 com 信息，CertiK 由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授创立，曾获得光速中国和币安孵化器投资，通过形式化验证的方法为智能合约和区块链应用提供代码安全服务。
区快洞察消息，纽约检察长办公室针对 Bitfinex 诉讼的最新文件显示，Bitfinex 交易所反对纽约总检察长办公室对此案所属为纽约管辖的主张，声称其误导法院案件与纽约的关联。双方的分歧在于，总检察长办公室声称 Bitfinex 在纽约开展业务，包括将 Tether 借款给纽约的...
区快洞察消息，麦子钱包 CTO Eric 在跨链项目 Polkadot 中国行活动上宣布麦子钱包最新版本已支持波卡测试网 Kusama、Alexander，以及平行链 ChainX 。麦子钱包计划在未来一年时间里，完成 100 条波卡平行链的钱包支持，并开发 100 个基于波卡生态的 DApp ，通过跨链...
该企业最新头条微商机