智能合约

  • 智能合约是用来编写控制逻辑的
  • 智能合约并不智能，而是自动
  • 不可篡改性是双刃剑
    • 一方面增添了公信力
    • 修补漏洞非常困难
  • 没有什么是不可篡改的
  • solidity设计上是否正确
    • 更好的应该是一个表达能力适中的语言
      • 但很难设计出来
  • Many eyeball fallacy
    • 不要认为开源软件要比不开源的软件安全
      • 遇见关键性应用，尽量自己检查

去中心化

去中心化不说都是自动的，没有人为干预
规则的修改要由去中心化的方法决定

分叉

  • 分叉其实是去中心化的体现

分布式系统不等于去中心化

  • 一个去中心化的系统必然是分布式的
  • 但是分布式不一定是去中心化的
  • 在一个分布式的平台上可以运行一个中心化或非中心化的应用

state machine

  • 最早应用：
    • mission critical application（无间断提供服务的应用）
      • 效率低