KKT:CertiK完成对Trias智能合约的安全审计_TRI

据CertiK官方消息,Trias智能合约已经顺利通过CertiK的安全审计,在此期间,Trias智能合约接受了CertiK全面、严格的形式化验证审计,并确认合约安全无漏洞。作为KuCoinSpotlight的第二期项目,Trias将于5月14日上线。Trias旨在定义支持通用应用程序的新一代公链体系,构建可信赖的智能自主运算设备,构筑普世可信赖计算机生态,潜心研发面向未知威胁的持续免疫技术,可有效提升企业信息系统应对未知威胁的能力。CertiK作为全球领先的区块链安全公司,利用其独有的形式化验证技术,已成功保护累计超43亿美元的资产免受损失。本次安全审计可以有效帮助Trias团队更好的规避风险。

动态 | 俄罗斯暗网市场Hydra正在计划进行首次代币发行筹集1.46亿美元:据news.bitcoin报道,俄罗斯暗网市场Hydra正在计划进行首次代币发行(ICO),Hydra管理员希望从代币销售中筹集1.46亿美元。[2019/12/15]

动态 | 印度IT巨头Tech Mahindra在美密苏里州新建技术中心 开发区块链等尖端技术:据Economic Times消息,印度IT巨头Tech Mahindra宣布在美国密苏里州圣路易斯新建了一个技术中心,该中心将开发区块链、微服务、自动化、人工智能、安全、机器学习、云计算、大数据、数据分析等领域的尖端技术,同时还将为当地创造就业机会,并利用该公司的学习和发展平台,帮助培养当地人才的关键数字技能。[2019/6/4]

声音 | Tim Draper:IPO市场缺乏“令人兴奋的”波动性,或致投资者涌入加密市场:据btcmanager消息,风险投资家Tim Draper近期接受采访时表示,IPO市场缺乏“令人兴奋的”波动性,可能会导致大量投资者涌入比特币和其他加密货币市场。Draper还将加密货币和区块链技术与互联网早期的常见情绪做类比。Draper表示,公众市场充斥着过多的监管规定,有时甚至会抑制增长,因此投资者对此感到厌倦。[2019/5/24]

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:15ms0-1:857ms