知名元宇宙生态数字资产交易平台8V近期与区块链安全公司CertiK合作,委托其安全团队对平台Web和移动端应用进行安全代码审计,提升区块链安全防护等级,为项目平稳运营保驾护航。CertiK采用形式化验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性。CertiK在过去三年里为1000多个企业客户包括BNB、Terra、Crypto、TUSD和USDK等多个主要...
杭州网讯 “区块链最关键的就是在核心技术上我们能够走在前面,往前走。” 在11月23日举行的“2019网易未来大会”之“区块链+实体经济论坛”上,中国电子技术标准化研究院软件工程与评估中心主任周平表示...
与众多传统企业一样,航空公司对于IT的依赖性在2016年将越来越大。航旅IT圈参考了国外著名IT网站ComputerWorld对一些IT专业人士的调查结果,对2016年航空公司的IT投资重点进行了分析。重点投资点1:可推动业务变革的...
盘点2015,展望2016。岁末年初,ITValue用10个问题发问国内外数家来自不同领域的IT厂商和创业企业高管,试图从这些技术产业的领军人物品中获得对于企业级市场最新动向的洞察。来自19家公司的21位高管分别就产业宏观...
互联网金融火了,随之而来的是黑客们尾随的脚步。此前,众多P2P网贷平台集中被黑,而近日,以网贷之家为代表的多家P2P行业门户网站、论坛,再次成为黑客的攻击目标。黑客为何如