乌镇区块链峰会：当我们谈安全的时候，该谈些
原标题：乌镇区块链峰会：当我们谈安全的时候，该谈些什么？
从区块链技术诞生之日期，安全问题就像一对双生子，跟技术演进过程性相伴相生：
2010年8月，整数溢出漏洞凭空造出1840亿个比特币；
2017年7月，Parity钱包出现安全漏洞，被黑客盗取15万ETH；
今年1月，日本大型数字货币交易所Coincheck系统被黑，5.3亿美元新经币被盗。
尤其在今年4—5月，安全事故更是频繁爆发：
4月22日，BEC出现异常交易，黑客转出的代币数量超过发行数量，BEC市值瞬间几乎归零；
5月23日，EDU（EduCoin）被爆出现合约漏洞，任意账户的 EDU Token可被随意转走，多达数十亿代币被盗。
就在6月初，360更是发现EOS“史诗级漏洞”，市场一度震荡，此后发现的一系列漏洞导致EOS主网上线一再延期。
安全事件已经区块链领域的各个环节，尤其是智能合约、数字钱包成为了区块链安全事件频发“重灾区。每一次的安全事件，都对整个数字货币市场行情带来了巨大的影响。
交易所如何成为了黑客攻击的“头号目标”？
如何提高区块链技术的抗风险能力？
如何在开发阶段发现和消灭漏洞？
如何保护好自己的数字资产
开发者、钱包、交易所、使用者等区块链领域的各个参与主体该怎样协同构建一个安全的使用环境？
世界区块链大会（乌镇）将开设专场《数字资产与用户隐私——区块链应用与安全论坛》，关注区块链安全这个“一号工程”。
0
届时，链安科技创始人兼CEO杨霞将带来《自动化的智能合约形式化验证平台vaas》的主题分享。作为区块链底层协议重要组成部分—“智能合约”，在任何一个区块链平台都担当着“电子合同”的重要角色。链安科技的“一键式”形式化验证工具，可自动 定位到有安全漏洞的合约代码位置，有效避免BEC等合约安全漏洞。
比特派创始人文浩也将参加该专场的圆桌论坛《区块链技术的安全隐患》，作为在数字货币钱包领域中知名的开发团队，比特派的比太钱包是国内 一个被Bitcoin.org官方推荐的钱包，帮助用户和企业安全的保管了成千上万个比特币的资产，他们开发的 chaincloud.com 区块链云平台，为很多企业提供了区块链资产的 API 云服务。
除此之外，该专场还有众多区块链专业和技术领域的专业人士参与：
《关于下一代数字资产交易所安全技术标准的思考》ThinkBit创始人王桂杰
《基于社区共识的交易所》BKEX创始人兼CEO纪京言
《区块链在分布式计算市场的应用》Rrchain CEO刘爽
《数字资产的金融生态》溢唐数据CEO曾熙
《区块链技术在食物供应链行业的应用》DropChain创始人陈显达