北大-区块链技术与应用24-反思

Gabrielle Lv5

一、智能合约

Is smart contract really smart?

Smart contract is anything but smart.

有人认为应该把智能合约叫做自动合约,ATM 就是一种自动合约,实际上来说,智能合约是一种代码合同

二、不可篡改性

Irrevocability is a double edged sword(区块链的不可篡改性是一把双刃剑)

三、真的不可篡改不存在

Nothing is irrevocable.

四、Sodility 语言

Is sodility the right programming language?

有人建议使用函数式编程语言,杜绝 fallback() 函数的问题

五、开源

Many eyeball fallacy(错误认识),表示开源代码仍然存在安全漏洞

六、去中心化

What does decentralization mean?

以太坊的硬分叉能够实现,不是因为团队强迫,而是因为绝大多数矿工升级了软件;并且还有少部分矿工留在旧链,这也是他们的自由

所以去中心化不是全自动化,也不是说制定的规则不能修改,而是说对规则的修改要用去中心化的方法来完成,在区块链的世界里是用挖矿进行投票

七、分叉

分叉不一定是坏事,分叉是去中心化和民主的一种体现

八、

decentralized ≠ distributed

一个去中心化的系统一定是分布式的,但是分布式的系统不一定是去中心化的,比如:Google 的 search engine 背后有几十万台服务器。在一个分布式的平台上,可以运行中心化的应用,也可以运行去中心化的应用

比特币和以太坊都是交易驱动的状态机(state machine),其特点是,让系统中几千台机器重复做同一套动作、付出很大的代价,来维持状态的一致性

这并不是分布式系统常用的工作模式,大多数分布式系统是让每台机器做不同的事情,再把各台机器的工作结果汇总、得到最后的结果,目的是使处理速度更快

而 state machine 的目的不是为了处理速度快,而是为了容错。状态机最早的应用场景是 mission critical application(关键任务应用,比如:airtraffic control, stock exchange, space shuttle),代价是效率很低

不要把以太坊上的智能合约、EVM 平台 当作是大规模计算或存储的服务,这么做不仅速度很慢,而且汽油费很贵。智能合约是编写控制逻辑的,只有那些需要在互不信任的实体中间建立共识的操作,才需要写在智能合约里

  • Title: 北大-区块链技术与应用24-反思
  • Author: Gabrielle
  • Created at : 2025-01-21 14:46:31
  • Updated at : 2025-05-20 10:47:28
  • Link: https://zoella-w.github.io/2025/01/21/53-北大区块链-反思/
  • License: This work is licensed under CC BY-NC-SA 4.0.