CertiK今日正式宣布CertiK Chain测试网上线
今日,区块链安全公司CertiK正式宣布CertiK Chain测试网上线。CertiK Chain旨在以可访问、可兼容的方式利用CertiK独有的形式化验证平台,来从系统层面解决区块链安全问题。CertiK开发团队围绕安全进行了自下而上的整体构建,如在基础层上使用CertiK虚拟机(CVM),完整节点将运行在防黑客系统CertiKOS上,并开发了DeepSEA语言来创建安全智能合约等。CertiK由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授于2017年创立,专注于区块链安全领域,已成功保护累计超过45亿美元的加密资产。

调查:由于遭到当地银行拒绝,英国近3/4的加密资产公司被迫开设海外银行账户据Bitcoinmagazine消息,CryptoUK组织在2019年5月和6月对英国加密资产领域的40多家公司进行了调查。调查显示,在这些公司中,有55%的公司在申请国内银行账户时遭到银行拒绝,而银行却没有给出任何理由或解释。由于在本地开设银行账户困难,近3/4的加密资产公司被迫寻求更宽松的司法管辖,开设外国...
法官裁定电信巨头AT&T Mobility对加密投资者提起的诉讼作出回应据CoinDesk 7月23日消息,加密投资者Michael Terpin起诉电信巨头AT&T Mobility的行动取得了初步胜利。在周五公布的法庭文件中,洛杉矶联邦法官Otis Wright II裁定,AT&T必须对Terpin提起的诉讼做出回应,因为其允许黑客进入Terpin的SIM卡,从而导致黑客窃取了该用户价值数百万美元的加密货币。 虽然AT&T Mobili...