技术工坊杭州分享实录
技术工坊杭州分享实录
80% 的区块链安全问题出现在上层业务,其中智能合约因为公开透明,并和资金息息相关,因此一个漏洞就能造成 64 亿损失! 如何保证智能合约的安全?形式验证是业界普遍认可的解决方案。形式验证可以证明智能合约的正确性和完备性,从而保证代码没有漏洞可钻!趣链科技安全团队带你用形式化验证的方法给智能合约程序提供军事级的安全验证,提高智能合约代码的安全性!
张丁文,趣链科技MeshSec平台负责人。
区块链如何落地?区块链如何赋能实体产业?CitaHub 负责人给你介绍秘猿科技在这些年落地实践中的心得体会。
孔庆阳,秘猿科技 CitaHub 负责人。
最后,非常感谢 Aaron (张亚龙,HiBlock杭州合伙人,一线技术社区发起人) 提供场地支持,两位大咖的精彩分享以及各位小伙伴们的支持! 感谢以下公司及社区支持。
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!