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

Sat, 22 Jun 2019 13:30:00 GMT ~ Sat, 22 Jun 2019 16:30:00 GMT
Limited 50
HiBlock区块链社区

Show

Please select the order price

第三方登录:

More Details

Event DetailsHide...

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








Event Tags

Recent Participation

Perhaps you'd be interested in

Question

All Questions

Haven't posted any questions yet, grab a sofa!

Location...(Map Detail)

OrganizersMore

HiBlock区块链社区

HiBlock区块链社区

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

WeChat Scan

Share to WeChat→

Event Calendar   Jul
M T W Th F Sat Sun
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 1 2 3 4