HiBlock区块链开发者社区线下技术沙龙（杭州站）
Hide
6月22日，HiBlock区块链开发者社区在杭州举办开发者分享交流线下沙龙。
时间：2019年6月22日 13:30-16:30
地点：浙江省杭州市余杭区仓前街道景兴路999号梦想小镇天使村7幢303室
分享主题1: 智能合约安全问题与形式化验证方法
80%的区块链安全问题出现在上层业务，其中智能合约因为公开透明，并和资金息息相关，因此一个漏洞就能造成64亿损失！如何保证智能合约的安全？形式验证是业界普遍认可的解决方案。形式验证可以证明智能合约的正确性和完备性，从而保证代码没有漏洞可钻！趣链科技安全团队带你用形式化验证的方法给智能合约程序提供军事级的安全验证，提高智能合约代码的安全性！
分享嘉宾
趣链科技MeshSec平台负责人
分享主题2: 区块链产业端落地实践
区块链如何落地？区块链如何赋能实体产业？CitaHub负责人给你介绍秘猿科技在这些年落地实践中的心得体会。
分享嘉宾
秘猿科技CitaHub负责人
活动议程：
13:30～14:00 签到
14:00～15:00 张丁文：智能合约安全问题与形式化验证方法
15:00～16:00 孔庆阳: 区块链产业端落地实践
16:00～16:30 自由交流
联合主办方
合作伙伴
(5年前)
(5年前)
(5年前)
(5年前)
(5年前)
(5年前)
HiBlock区块链开发者社区 价值观：开放、协作、透明、链接、分享 描述： HiBlock秉承开放、协作、透明、链接、分享的价值观，致力打造一个专注于区块链的开发者社区，我们不仅在开发者中宣传推广区块链，还会帮助开发者真正掌握区块链技术和应用。
