回到顶部

HiBlock区块链开发者社区线下技术沙龙(杭州站)

2019年6月22日 13:30 ~ 2019年6月22日 16:30

收起

活动票种
    付费活动,请选择票种
    展开活动详情

    活动内容收起

    6月22日,HiBlock区块链开发者社区在杭州举办开发者分享交流线下沙龙。


    时间:2019年6月22日 13:30-16:30

    地点:浙江省杭州市余杭区仓前街道景兴路999号梦想小镇天使村7幢303室


    分享主题1:  智能合约安全问题与形式化验证方法

    80%的区块链安全问题出现在上层业务,其中智能合约因为公开透明,并和资金息息相关,因此一个漏洞就能造成64亿损失!如何保证智能合约的安全?形式验证是业界普遍认可的解决方案。形式验证可以证明智能合约的正确性和完备性,从而保证代码没有漏洞可钻!趣链科技安全团队带你用形式化验证的方法给智能合约程序提供军事级的安全验证,提高智能合约代码的安全性!


    分享嘉宾

    zdw.jpg

    趣链科技MeshSec平台负责人



    分享主题2: 区块链产业端落地实践

    区块链如何落地?区块链如何赋能实体产业?CitaHub负责人给你介绍秘猿科技在这些年落地实践中的心得体会。


    分享嘉宾

    kqy.jpg

    秘猿科技CitaHub负责人


    活动议程:


    13:30~14:00  签到

    14:00~15:00  张丁文:智能合约安全问题与形式化验证方法

    15:00~16:00  孔庆阳:  区块链产业端落地实践

    16:00~16:30  自由交流



    联合主办方

    hiblock.png       


    创空间.png        


    一线_白_logo.png





    合作伙伴


    QTech.png  


        秘猿科技.png    


    nervos1.png    


    公信宝1.png     


      区分白.png


    topnetwork-01.png



    ​    chainx.png


    MOCHAIntouming.png


    bitrun_white.png


        区块链兄弟logo黑色.png   


    bg_2000.png


    猫头logo.png


    go语言中文网.png

    浙大区块链协会.png



    图灵教育Logo-pdf.png 


    dzgy.png


    hz.png 


     bhcbs.png








    举报活动

    活动标签

    最近参与

    • 你陪伴多年的小SIR
      报名

      (5年前)

    • zwtforward
      报名

      (5年前)

    • 浩屹
      报名

      (5年前)

    • ccDad
      报名

      (5年前)

    • 秋水
      报名

      (5年前)

    • 闪送科技@赵荣迪
      报名

      (5年前)

    您还可能感兴趣

    您有任何问题,在这里提问!

    为营造良好网络环境,评价信息将在审核通过后显示,请规范用语。

    全部讨论

    还木有人评论,赶快抢个沙发!

    活动主办方更多

    HiBlock区块链社区

    HiBlock区块链社区

    HiBlock区块链开发者社区 价值观:开放、协作、透明、链接、分享 描述: HiBlock秉承开放、协作、透明、链接、分享的价值观,致力打造一个专注于区块链的开发者社区,我们不仅在开发者中宣传推广区块链,还会帮助开发者真正掌握区块链技术和应用。

    微信扫一扫

    分享此活动到朋友圈

    免费发布