哥大教授携军用级别安全技术加入DCC,分布式银行安防全面升级

IT练习选达内,亿元级外企IT练习企业

2018-05-06

    “传球侧翼,挡拆,无球跑动吸引防守,拉开空间给内线优势位创造单打机会……”很难想象这一连串的战术动作指挥,出自一位77岁高龄的老人。叶琼英跨越半个世纪,坚守在篮球教育岗位,传承篮球精神。  海师女教授结缘篮球60载  奶奶名叫叶琼英,1942年出生于海口,是海南师范大学体育学院退休篮球教授,与篮球结缘已经半个世纪。

  任何未与国广国际在线网络(北京)有限公司签订相关协议或未取得授权书的公司、媒体、网站和个人均无权销售、使用“国际在线”网站的自有版权信息产品。否则,国广国际在线网络(北京)有限公司将采取法律手段维护合法权益,因此产生的损失及为此所花费的全部费用(包括但不限于律师费、诉讼费、差旅费、公证费等)全部由侵权方承担。4、凡本网注明“来源:XXX(非国际在线)”的作品,均转载自其它媒体,转载目的在于传递更多信息,丰富网络文化,此类稿件并不代表本网赞同其观点和对其真实性负责。哥大教授携军用级别安全技术加入DCC,分布式银行安防全面升级

  他回忆,2015数博会的成功举行,让世人看到了大数据产业的巨大潜力与广阔前景,他决定到中国大数据之窗——贵阳走访调查。

  3月12日,主题为“我为创森添份绿”的义务植树活动在南朗镇岭南路和翠亨快线交汇处空地上举行。南朗镇党委书记刘锐濠,党委副书记、镇长丁凯,以及党委副书记钟向宗等党政班子留家成员、机关事业单位干部职工、中小学生、“学雷锋”志愿者等200多人参加了活动。

    【用法用量】取鲜汁适量,滴入鼻腔,蚂蝗可自行掉出。  【摘录】《全国中草药汇编》(责任编辑:醉笔)  【来源】蓼科桃叶蓼PolygonumpersicariaL.,以全草入药。  【生境分布】西藏。  【性味】辛,温。

消费日报网讯据美国CNBC消息,全球领先的形式化验证技术CertiK项目联合创始人、哥伦比亚大学顾荣辉教授近日以顾问身份加入全球首个分布式银行公链DCC(DistributedCreditChain)。 他将为DCC生态注入最新的形式化验证技术,为DCC的安全运行进一步保驾护航。 据悉,形式化验证技术是由顾荣辉教授与邵中教授(耶鲁大学计算机系主任,终身教授)历时多年领导团队联合开发的逻辑验证技术,其针对区块链所打造的CertiK项目能够有效解决当前区块链系统安全性脆弱的痛点。

DCC作为全球首个分布式银行公共链,其公链是基于分散的用户ID建立的一个用户账户系统,以确保交易和信用数据不会被篡改或拒绝。 个人信用数据存储在云端,整个传输过程被安全加密,保护信息不被截获。 DCC以其智能的契约互动框架为基础,将个人数据系统由集中式向分布式转变。

通过建立这一分布式数据系统,DCC将会为各种不同的分布式金融业务建立业务标准、达成账本共识、部署业务合约、执行清结算等服务。

DCC将以推动金融行业向去中心化发展的顶层策略,建设适应新时代需求的分布式银行生态系统,推动实现全球化普惠金融的愿景。

由于DCC团队切入的是和用户财产账户直接关联的金融场景,出于对用户财产安全的绝对重视,DCC一直在寻找、比较、研究、吸收最新的区块链安全技术,从而最大化地避免黑客攻击引发的经济损失。

而此次重磅加入的哥伦比亚大学顾荣辉教授,正是目前全球顶级区块链安全防范技术形式化验证技术的领军人之一。

顾荣辉教授2011年于清华大学本科毕业后,前往世界计算机名校耶鲁大学攻读博士,并于2016年就获得了博士学位。

他的博士毕业论文获得了耶鲁大学杰出论文奖,并获ACM学位论文奖提名。

毕业后,顾荣辉获聘哥伦比亚大学,成为该校计算机系终身轨助理教授。

在美国深造期间,顾荣辉教授师从于验证技术方面的学术专家邵中教授,经过研究团队多年的不懈研究,将这一技术应用在了区块链安全领域,创立了CertiK项目。 目前,CertiK已与Neo、量子链等机构达成战略合作,并获得了耶鲁大学、丹华资本、光速中国等机构种子轮融资,同时美国国防部高级研究计划局(DARPA)也曾采用CertiK的相关验证技术,其安全技术的前沿性和可靠性不言而喻。 传统的区块链安全性测试中,往往需要开发者预先设想哪些情况下系统会遭攻击,再针对这些情景进行测试。 这一方法的缺陷在于,黑客往往是从程序员想象之外的路径下手。

而顾荣辉教授联合领导开发CertiK项目的形式化验证(formalverification)技术,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性。 其实形式化验证早在2016年以太坊开发者大会(Devcon2)上就已经是热门话题,但对于其学术研究,一直因为难度过大而停滞不前。

而顾荣辉教授和邵中教授的坚持不懈,终于获得了突破性的进展。 他们就CertiK形式化验证相关方向累计发表了5篇顶级会议论文(OSDI16,POPL15,PLDI18,两篇PLDI16),入选顶级期刊CACM的年度研究亮点,被广泛认为是重要技术突破。

顾荣辉教授的加入,将会为DCC贡献目前世界最前沿的形式化验证技术,通过CertiK将DCC的合约转化为科学严谨的数学模型,从逻辑层面寻找模型的漏洞,从而最大化地保证DCC网络的安全性。

因为整个演算过程符合严谨缜密的数学逻辑,所以被形式化检验过的结果很难被黑客攻克。

依据数学原理的自动化推演,不仅能够避免人为检测的思维局限,而自动化验证也让智能合约验证的费用降到了最低。 同时,DCC分布式银行生态所涉及的丰富业务形态,能够为CertiK的技术优化提供大量的验证模型,从而进一步地迭代、提升其形式化验证技术的精准性。

在顾荣辉教授和CertiK这一世界顶级区块链安全技术的加持下,DCC将有更大的空间和更成熟的安全体系来实现其全球化普惠金融的终极目标。 责任编辑:。