成都鏈安科技CEO &創始人楊霞：解決智能合約的安全問題，形式化驗證是個「利器」！

2018年6月3日，由中國IT技術社區CSDN和專一以太坊生態建設的領先企業靈鈦科技主辦，以太坊愛好者社區、柏鏈道捷、火星財經、金色財經、Unitimes、區塊鏈大本營協辦的「2018以太坊技術及應用大會·中國」在北京·悠唐皇冠假日酒店舉行，此時演講已過半，但精彩始終不停歇！web 本次大會圍繞以太坊生態、以太坊核心技術、以太坊優質應用展開，邀請了衆多國內外頂級開發者、以太坊團隊核心成員以及頂級項

>>阅读原文<<