技术工坊杭州一期 – 智能合约安全问题与形式化验证方法

区块链技术 14 4 月 22, 2024 0 区块链315

技术工坊杭州分享实录

技术工坊杭州分享实录 ## 分享主题一：智能合约安全问题与形式化验证方法 80% 的[区块链安全](https://learnblockchain.cn/categories/security/)问题出现在上层业务，其中智能合约因为公开透明，并和资金息息相关，因此一个漏洞就能造成 64 亿损失！如何保证[智能合约](https://learnblockchain.cn/2018/01/04/understanding-smart-contracts/)的安全？形式验证是业界普遍认可的解决方案。形式验证可以证明智能合约的正确性和完备性，从而保证代码没有漏洞可钻！趣链科技安全团队带你用形式化验证的方法给智能合约程序提供军事级的安全验证，提高智能合约代码的安全性！ ### 分享嘉宾 ![](https://img.learnblockchain.cn/2019/06/27_384510782.jpg) **张丁文**，趣链科技MeshSec平台负责人。 ### 分享实录 ![](https://img.learnblockchain.cn/2019/06/27_242789738.png) ![](https://img.learnblockchain.cn/2019/06/27_773863377.png) ![](https://img.learnblockchain.cn/2019/06/27_604277770.png) ![](https://img.learnblockchain.cn/2019/06/27_906154331.png) ![](https://img.learnblockchain.cn/2019/06/27_657132484.png) ![](https://img.learnblockchain.cn/2019/06/27_806089603.png) ## 分享主题二：区块链产业端落地实践区块链如何落地？区块链如何赋能实体产业？CitaHub 负责人给你介绍秘猿科技在这些年落地实践中的心得体会。 ### 分享嘉宾 ![](https://img.learnblockchain.cn/2019/06/27_915887862.jpg) **孔庆阳**，秘猿科技 CitaHub 负责人。 ### 分享实录 ![](https://img.learnblockchain.cn/2019/06/27_485356890.png) ![](https://img.learnblockchain.cn/2019/06/27_12000120.png) ![](https://img.learnblockchain.cn/2019/06/27_780589788.png) ![](https://img.learnblockchain.cn/2019/06/27_56685407.png) ![](https://img.learnblockchain.cn/2019/06/27_316625016.png) ![](https://img.learnblockchain.cn/2019/06/27_903251618.png) 最后，非常感谢 Aaron (张亚龙，HiBlock杭州合伙人，一线技术社区发起人) 提供场地支持，两位大咖的精彩分享以及各位小伙伴们的支持！感谢以下公司及社区支持。 ![](https://img.learnblockchain.cn/2019/06/27_845011198.png) [深入浅出区块链](https://learnblockchain.cn/) - 打造高质量区块链技术博客，[学区块链](https://learnblockchain.cn/2018/01/11/guide/)都来这里，关注[知乎](https://www.zhihu.com/people/xiong-li-bing/activities)、[微博](https://weibo.com/517623789) 掌握区块链技术动态。

技术工坊杭州分享实录

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

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