Tezos核心理念

一、网络货币机制

1、什么是分布式账本

免疫审查

最小信任

数字稀缺性

2、可能方式

完全由社区共识产生资产价值

域名也是一种流通机制

3、未来体系构想

网络规模的协作：去中心化规则、文化运动、社区自治（DAOs）

生态系统开放的承诺：相比较而言网络公司与其社区的连接弱、利益竞争不利于资深参与者

二、体系架构

1、POS（proof-of-stake）共识机制

公平：每持有0.001%的股权可以产生0.001%的区块，分享0.001%的收益

资产效率：收益分享不需要预先资产锁定

2、产出方式

非摊薄通胀：审查成本最小化、审查代价高昂

去中心化：采矿有经济规模限制（一定时间后采矿不经济）、持有股份有规模非经济性（股份量越大收益未必更多）、超过400个开发者参与

3、智能合约语言机制

可读性：区块链中的有效表达

安全性：避免常见缺陷（重定向、溢出等）

有效性：燃料gas成本容易检测、易于快速部署

4、高水平的智能合约虚拟机

Typesafe数据库：虚拟机有效实现随机预测、整合、列表、集合、时间戳、数量等

准确性：语言富有表现力，限制在区块链的存储空间

功能性：智能合约简洁、功能单一

5、虚拟货币机制

不只是一个网络协议、一个算法、一个账本片段、一系列规则集、一个谢林点

一个围绕总账的谢林点和一系列不断更新的规则

6、进化的两难

易于改变的协议：难以预测、不可靠、社会攻击向量

难以改变的协议：停滞、更新减少、同样存在社会攻击向量问题

7、目前的Tezos治理结构

无关参与/民主

无关热修复（Hot Fixes）或者分类账本

主要关注社会攻击向量

8、社区宪法：强化代码的元治理结构

通过Ocaml的封装模式实现有限发布、软分叉

通过共识检查在Coq中直接提供Ocaml方程

9、模块化机制

网络层：信息传输和中继

内容存储层：

共识逻辑层：确定最佳链

交易逻辑层：

三、Tezos的挑战

交易性与区块链有限空间的矛盾

技术可复制与缺乏谢林点的冲突

协同交互与护城河体系的矛盾

网络安全性随着速度增加而相应减少

原视频链：https://www.youtube.com/watch?v=iiZoUJ4Rg2U