报告目录

  • 一 智能合约的由来及价值
    1. （一）智能合约的由来
    2. （二）智能合约的价值
  • 二 智能合约系统的组成
    1. （一）智能合约的编程语言
      1. 1.Solidity
      2. 2.Move
    2. （二）智能合约的运行环境
      1. 1.虚拟机
      2. 2.容器
      3. 3.WASM
  • 三 智能合约面临的挑战
    1. （一）可读性
    2. （二）安全性
    3. （三）部署正确性
    4. （四）隐私性
  • 四 打造安全可信的智能合约及运行环境
    1. （一）安全可信的智能合约语言
    2. （二）智能合约的形式化验证
    3. （三）基于可信硬件的智能合约运行环境
  • 五 总结