参加智能合约语言 Solidity 的编译器项目,并作出了一定的贡献。例如,修复了一个类型检查错误,提供了一个栈优化方案。设计 360 区块链的公链共识和公链多语言智能合约支持方案。
参加智能合约语言 Solidity 的编译器项目,并作出了一定的贡献。例如,修复了一个类型检查错误,提供了一个栈优化方案。设计 360 区块链的公链共识和公链多语言智能合约支持方案。
首先,报告会分析现有的主流区块链平台的智能合约语言,并指出他们的问题。其次,以 go 为例说明如何在平台中支持使用现有语言写智能合约。最后,根据智能合约设计要点分析做一个完善的智能合约语言需要考虑的安全问题,并以编译优化(可能导致安全性问题)、并行执行(可能导致安全性问题)、和平台安全性等方面为切入点分析使用通用语言做智能合约平台的优势和弊端。
演讲提纲:
听众受益点: