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的挑战
交易性与区块链有限空间的矛盾
技术可复制与缺乏谢林点的冲突
协同交互与护城河体系的矛盾
网络安全性随着速度增加而相应减少
