专题演讲嘉宾:邹亮

360 区块链实验室高级研究员、虚拟机专家

参加智能合约语言 Solidity 的编译器项目,并作出了一定的贡献。例如,修复了一个类型检查错误,提供了一个栈优化方案。设计 360 区块链的公链共识和公链多语言智能合约支持方案。

by 邹亮

360
区块链实验室高级研究员、虚拟机专家

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

演讲提纲:

  1. 智能合约的执行原理
  2. 当前智能合约的缺陷
  3. 使用 go/通用编程语言作为区块链平台的智能合约语言
  4. 方案分析(性能和安全性分析)
  5. 智能合约平台的常见问题及其防护

听众受益点:

  • 智能合约的执行原理
  • 如何在区块链平台中支持通用语言作为合约语言
  • 设计一个智能合约语言的常见安全问题及其解决方案