您好,您正在访问的是 矿机回收网 !如有疑问请拨打热线:18994010355 设为首页 | 收藏本站 | 联系我们
15950498960
    联系我们
    矿机回收网
    联系人:王经理
    手机:18994010355 18108888591
    微信号:  642849534
    电话:025-58763550
    网址:http://www.haifakeji.com
    区块链资讯 您现在的位置: 网站首页  >>  币圈 矿机 区块链新闻中心  >>  区块链资讯

    北大-睿智金融科技公益公开课,北大教授孙猛开讲《区块链形式化验证》

    作者矿机回收网_回收出售显卡矿机_回收IPFS蜗牛星际LTG矿机-回收蚂蚁挖矿二手矿机_矿机托管点击次数:712发布时间:2020-08-28 17:16:27

        {买卖矿机矿机托管上矿机收回网联系电话18108888591}
        8月27日晚,由北京大学大数据分析与使用技能国家工程实验室和睿智合创(北京)科技有限公司(简称“睿智科技”)联合举办的金融科技公益公开课第三期线上开课。北京大学数学科学学院信息与计算科学系教授、博士生导师孙猛为大家带来的《区块链形式化验证》课程,受到了广阔网友的热烈欢迎。
        该系列公开课于5月7日面向全网免费开课,首期课程为睿智科技首席战略官、摩根大通银行原董事总经理、美国运通公司原首席信贷官林晴带来的《美国金融危机布景下的我国启示录》;第二期课程为北京大学数字金融研究中心副主任,北京大学国家开展研究院副教授、博士生导师,斯坦福大学经济学博士黄卓带来的《金融科技时代的我国财富管理》。
        区块链技能为人类树立信赖根底
        “许多人以为比特币与区块链两者是一个东西,实际上比特币仅仅第一个成功的区块链使用。你能够把区块链了解成智能手机,那么比特币仅仅手机上一个做的非常好的App。”孙猛表明,区块链是一种分布式账本技能,经过一致机制发动节点一起记账,为了避免一致信息被篡改,一般采用链式数据结构,运用密码学技能进行数据存储。
        众所周知,信用是所有金融活动的根基。传统金融职业里的所有组织(包含金融组织、金融科技公司、监管组织、中介组织等)的所有金融活动都是为了处理信赖问题。在孙猛看来,区块链最大的创新是第一次用技能处理了人类的一致问题,把密码学、分布式体系、博弈论、P2P协议等许多技能有机组合到一块,经过理性的技能为人类树立信赖供给了方法,为咱们供给了一个很好的处理信赖问题的途径,也构成了现在金融科技范畴最中心的技能之一。
        “经过区块链,人们能够不需要借助第三方的信赖背书,就能进行点到点的买卖、付出等金融活动,区块链在金融职业现已得到了非常广泛的使用。”孙猛表明,另一方面,一行小的代码过错或可能导致巨大损失,一起金融范畴巨大的经济利益也吸引着许多黑客进犯。“怎么保证区块链的安全性问题也变得越来越重要。”
        (图片来历:孙猛教授演讲PPT)
        “区块链技能现在也面临着一些应战,首要包含可扩展性、安全性、隐私维护和监管等问题。”孙猛以为,“形式化验证技能对于保证复杂的区块链体系的安全性、可信性至关重要。为了应对这方面的应战,咱们现已做了一些作业,当然间隔真实使用还有一定的间隔。”
        区块链+形式化验证怎么完成1+1>2
        当在区块链体系中使用形式化验证技能,会产生什么事情?
        “咱们前两天刚刚过了七夕节,有一句非常应景的诗来形容这个状况,便是‘金风玉露一相逢,便胜却人间无数’。当区块链和形式化技能两者碰到一块,这个1+1得到的结果绝对是远远大于2的。”孙猛对此很有决心。
        孙猛介绍道,现在市场上做区块链形式化验证的项目相对较少,已知的项目有UIUC的GrigoreRosu教授团队供给智能合约形式化验证的渠道——RuntimeVerification;耶鲁大学的邵中教授和哥伦比亚大学顾荣辉教授创立的Certik验证结构;成都链安科技的VerificationasaService(VaaS)是一个一起支撑EOS和以太坊区块链的形式化验证渠道。
        “这些大部分还处于早期阶段,在区块链验证里头还有许多能够做的作业。”孙猛表明,他的团队现在在做的作业,首要的主意是把形式化验证和测验结合起来,用在安全的以太坊虚拟机完成的开发上,并且能够在字节码的层次上对智能合约进行验证。
        “咱们的界说包含类型、指令和解说器界说。”孙猛介绍道,“然后能够对经过验证的EVM进行部署。咱们界说一系列的driver来从WhyML程序中抽取Ocaml程序,抽取之后,EVM的OCaml完成被封装成一个静态库,能够被Rust中的虚拟机调用。在咱们的结构里,Rust和Why3能够进行交互,经过验证的模型能够直接在productionenvironment中执行,并且能够被进一步测验。”
        孙猛团队还在做一些区块链形式化验证的作业,包含对块同步协议、一致协议的形式化建模、以及对相关的性质在模型查看东西UPPAAL里边做的形式化验证等。
        在课程的后一阶段,孙猛就网友关心的几个问题进行了回复。这些问题有:为什么形式化验证对金融范畴特别重要?现在在区块链验证方面也现已有一些相关的东西和渠道,你们的作业和他们比较有什么优点或许不同之处?现在的人工智能、大数据、深度学习等技能对区块链的安全性保证方面有没有什么帮助?
        如果你对区块链相关内容感兴趣,欢迎重视公众号【睿智科技Wiseco】,点击【课程回放】观看课程。
        {备注本文章转载:本站回收托管显卡矿机回收以太坊矿机LTG辣条哥FILECOIN矿机IPFS等矿机}

    上一篇:链向科技:以川大、财大等为载体的区块链研究院所、机构陆续成立

    下一篇:用上区块链等技术,全市首台“减材料+智慧审批”自助服务终端投用

    Copyright © 2019-2020 矿机回收网 版权所有  苏ICP备16023198号-2
    在线咨询
    微信二维码
    服务热线
    18994010355
    返回顶部