一、網(wǎng)絡貨幣機制
1、什么是分布式賬本
免疫審查
最小信任
數(shù)字稀缺性
2、可能方式
完全由社區(qū)共識產(chǎn)生資產(chǎn)價值
域名也是一種流通機制
3、未來體系構想
網(wǎng)絡規(guī)模的協(xié)作:去中心化規(guī)則、文化運動、社區(qū)自治(DAOs)
生態(tài)系統(tǒng)開放的承諾:相比較而言網(wǎng)絡公司與其社區(qū)的連接弱、利益競爭不利于資深參與者
二、體系架構
1、POS(proof-of-stake)共識機制
公平:每持有0.001%的股權可以產(chǎn)生0.001%的區(qū)塊,分享0.001%的收益
資產(chǎn)效率:收益分享不需要預先資產(chǎn)鎖定
2、產(chǎn)出方式
非攤薄通脹:審查成本最小化、審查代價高昂
去中心化:采礦有經(jīng)濟規(guī)模限制(一定時間后采礦不經(jīng)濟)、持有股份有規(guī)模非經(jīng)濟性(股份量越大收益未必更多)、超過400個開發(fā)者參與
3、智能合約語言機制
可讀性:區(qū)塊鏈中的有效表達
安全性:避免常見缺陷(重定向、溢出等)
有效性:燃料gas成本容易檢測、易于快速部署
4、高水平的智能合約虛擬機
Typesafe數(shù)據(jù)庫:虛擬機有效實現(xiàn)隨機預測、整合、列表、集合、時間戳、數(shù)量等
準確性:語言富有表現(xiàn)力,限制在區(qū)塊鏈的存儲空間
功能性:智能合約簡潔、功能單一
5、虛擬貨幣機制
不只是一個網(wǎng)絡協(xié)議、一個算法、一個賬本片段、一系列規(guī)則集、一個謝林點
一個圍繞總賬的謝林點和一系列不斷更新的規(guī)則
6、進化的兩難
易于改變的協(xié)議:難以預測、不可靠、社會攻擊向量
難以改變的協(xié)議:停滯、更新減少、同樣存在社會攻擊向量問題
7、目前的Tezos治理結構
無關參與/民主
無關熱修復(Hot Fixes)或者分類賬本
主要關注社會攻擊向量
8、社區(qū)憲法:強化代碼的元治理結構
通過Ocaml的封裝模式實現(xiàn)有限發(fā)布、軟分叉
通過共識檢查在Coq中直接提供Ocaml方程
9、模塊化機制
網(wǎng)絡層:信息傳輸和中繼
內(nèi)容存儲層:
共識邏輯層:確定最佳鏈
交易邏輯層:
三、Tezos的挑戰(zhàn)
交易性與區(qū)塊鏈有限空間的矛盾
技術可復制與缺乏謝林點的沖突
協(xié)同交互與護城河體系的矛盾
網(wǎng)絡安全性隨著速度增加而相應減少