邹亮,360 区块链实验室高级研究员、虚拟机专家
首先,报告会分析现有的主流区块链平台的智能合约语言,并指出他们的问题。其次,以 go 为例说明如何在平台中支持使用现有语言写智能合约。最后,根据智能合约设计要点分析做一个完善的智能合约语言需要考虑的安全问题,并以编译优化(可能导致安全性问题)、并行执行(可能导致安全性问题)、和平台安全性等方面为切入点分析使用通用语言做智能合约平台的优势和弊端。