Tezos ICO 细则,Tezos 项目概览


更新:Tezos ICO 已结束。相关数据(总量,通胀及初始代币分配情况)详见 Tezos ICO 数据概述及通胀相关。( 初始供应总量:763306929.69 XTZ;ICO 参与者持有总量:607489040.89 XTZ;初始成本:0.000167 ~0.0002 BTC/XTZ(或按当天当时 BTC 市价,换算成 CNY 成本,约为 2.9~3.5 CNY/XTZ,通胀率约为每年 5.5 %,为非稀释性通胀))

风险提示:请综合考虑各种风险及成本,决定是否参与及参与额。

Tezos ICO 常见问答及教程:https://biweilai.com/tezosico

以下编译自 Tezos ICO 文档,包括团队背景,代币分配计划等。

Tezos 相信,安全,形式化正确证明,将协议决策权交给持币者(stakeholders)的治理机制,是在区块链上赢取信任和广泛接受度的准则。

1 历史

Tezos 创始开发团队的工作开始于2014年,其学术经历从哲学(philosophy)到物理,数学和计算机科学,职业经历包括Goldman Sachs,Morgan Stanley,The Wall Street Journal,Accenture。

他们意识到去中心化区块链面临一些共同挑战,尤其是治理和维护,往往走向停滞,短缺和政治僵局。

如比特币或以太坊这样的先行者,将太多权力置于核心开发者团队或矿工手中。换言之,第一代区块链已经在遭受某种中心化趋势,而这是其开发者曾经所试图避免的。

Tezos 团队试图解决协议设计上的去中心化创新,强调其软件设计哲学中形式化正确性证明的重要性。

2 原则

2.1 治理

尽管所有区块链都为维护其相应账本共识,提供金融激励,但没有一个区块链拥有稳健的链上机制,来无缝修正协议治理规则,明确资助协议开发。

因此,第一代区块链事实上是倾向了将“设计制定”的权力授予了中心化核心开发团队或矿工。

Tezos 采取一种根本不同的方式来创建治理规则,让持币者(stakeholders)来对协议升级进行批准,然后将升级自动部署在网络上。当开发者提出一个协议升级,如果该提议经批准,并列入升级,他们可将待支付的费用清单(invoice)附加到他们的地址中。

以此提供一种强激励来资助 Tezos 区块链核心开发及更进一步的网络去中心化维护工作。它通过有直接价值的代币补偿开发人员,而非强迫他们去寻求企业赞助,基金会补贴,或只为互联网名声而工作。

通过允许持币者(stakeholders)在链上进行协调,该网络也允许创建赏金用于执行特定功能,或发现bugs。

总体而言,该网络保持区块链去中心化方面的同时,引入了一种集体决策机制。Tezos代币不仅驱动该网络的智能合约,还允许对协议修正进行投票。

Tezos初始展示,设计简单,但其自我修正性,意味着该网络治理规则能够随时间而得到改善。

2.2 正确性

形式化正确证明,使用数学方法证明计算机程序正确性的一种技术。形式化证明已应用于航空航天业,医疗设备等因涉及利益太高,而无法容忍失败的领域。

2.2.1 OCAML 执行

Tezos 通过 OCaml 语言进行实现,该语言是一套功能强大的函数式编程语言,提供高速,非歧义语义和语法以及整个生态系统。

此外,核查证明软件工具Coq,能够提取OCaml证明码。随着Tezos的成熟,它将可自动从正确性的数学证明中,提取协议代码的关键部分

2.2.2 MICHELSON

运行于Tezos区块链的智能合约的正确性,几乎同其核心协议一样重要。智能合约bugs会玷污其所运行平台的声誉。为了减轻这种风险,开发团队以正确性和形式化证明理念设计了我们的智能合约语言。

Michelson是静态类型,纯函数(statically typed and purely functional)。此设计很大程度上消除了大类bugs,如the DAO的reentrancy bug,或发现于Golem项目的Solidity ABI vulnerability。

更多有关设计决策的相关信息,可阅读Tezos的目的声明(PDF)及白皮书

2.3 权益证明(PROOF OF STAKE)

在最初版本,Tezos使用 delegated proof-of-stake 共识算法。对于这一共识算法,持币人可对其进行修正,然后上链。原则上,PoW共识或甚至是联合共识依然有自己的位置。但开发团队希望PoS成为Tezos文化的一个重要部分,认为其仍然是主要的共识方式。

虽然Tezos系统是代表制,但每个代币持有者都可参与作为代表,不管持有数额多少。

网络发行新挖出的币,作为给予验证者的奖励,这些奖励会产生微小(nominal)通胀。

持有人如果想,可自由成为自己的代表,从而避免任何稀释。很可能,大代表为了吸引更多支持票数(stakes),将会分享一部分利益。

成为一个验证者,对其计算力要求是相对轻量级的,但一个稳健,高速的互联网连接是必需的。

运行一个 PoS 节点,也需要更多的安全操作,因为涉及在连上互联网的机器上使用私钥签署区块。这个风险可通过使用安全的硬件组件,如 Trezor 或 Ledger Nano S 得以缓解。

3 团队

3.1 DLS 及创始人背景

Tezos 区块链主要由 Dynamic Ledger Solutions, Inc. (“DLS”) 所开发,一家由 Kathleen 和 Arthur Breitman 所创立的位于美国(US-based )的公司。

Tezos 创始人 Arthur Breitman, Kathleen Breitman

Arthur 生于法国,在巴黎综合理工大学(École Polytechnique)受过数学,物理,计算机科学的教育,职业为定量金融(quantitative finance),曾在Goldman Sachs 和 Morgan Stanley任职。

Kathleen 持有康奈尔大学(Cornell University )学士学位(BA),在Tezos之前,任职于 The Wall Street Journal, Bridgewater Associates, Accenture 和 R3。

Kathleen 和 Arthur 识于2010年纽约的一次crypto-anarchist meetup。

3.2 开发团队

Tezos 是一个小团队。Tezos项目背后的理念决定了核心团队不应成为Tezos项目的唯一贡献者。也即,原始团队将显然在项目初期,在网络的成长和改进上,发挥关键作用。

目前有个核心开发者(更新:开发团队已扩展):Arthur Breitman, Benjamin Canou, Çağdaş Bozman, Pierre Chambart, Grégoire Henry, Mohamed Iguernlala, Fabrice Le Fessant, Alain Mebsout, Vincent Bernardoff, Guillem Rieu.

我们的开发团队主要位于法国巴黎,一直在和OCamlPro (Fabrice Le Fessant创立,具备深厚OCaml专业的一家软件公司)合作,进行Tezos账本的工作。我们的大多数开发者拥有计算机科学博士学位,在编程语言理论方面具备专业。

3.3 Tezos 基金会

Tezos 创始人认为,应由非营利性基金会引导Tezos早期步骤,对Tezos 治理模式的去中心化本质进行补充。Tezos基金会是一个独立的位于瑞士的实体,其目标是促进和培育Tezos区块链及其技术的使用和持续发展。

因为Tezos 网络的早期阶段很关键,从挖到创世区块起的第一年期间,Tezos基金会保留关于协议升级的否决权(更新:新基金会放弃一票否决权)。但是,对于协议升级的提议,基金会并不会,也将不会有任何特权。基金会所提出的任何协议升级,如其他任何提案一样,都需要经过持币者(stakeholders)的审核和协定。

基金会总监(directors)包括Johann Gevers, Diego Ponz, Guido Schmitz-Krummacher。Johann Gevers是瑞士楚格州Cryptovalley生态系统的创始人之一,也是Monetas(位于楚格州的数字支付公司)的CEO;Diego Ponz 是一位计算机科学家和企业家,在组合优化方面具备专业;Guido Schmitz-Krummacher是楚格地区的一名商人。 更新:基金会成员变更为:Ryan Jesperson(主席), Michel MaunyLars HaussmannOlaf Carlson-Wee, Pascal Cléré, Marylène Micheloud ,Hubertus Thonhauser

3.4 顾问

Zooko Wilcox:计算机科学家,ZCash项目负责人

Emin Gün Sirer:康纳尔大学副教授(Associate Professor)

Andrew Miller:Illinois大学助理教授(Assistant Professor )

3.5 早期支持者

2016年9月~2017年3月期间,DLS团队接受了来自10个实体的资助,以支持Tezos开发。其中之三,是特定目标在于代币的对冲基金;其余之七,是高净值个人或联合体。早期资助总额为61.2万美元。

为了对这些早期支持者进行代币化估值,Tezos 基金会将会建议分发价值89.3201万美元的XTZ代币给他们(相当于31.48%的折扣)。没有一个单一支持者拥有超过以上总额的33%。

DLS从战略上考虑,选择了这些支持者,强调其人和实体,其理念与我们一致——无上限的融资结构,Tezos 协议的长期信徒,或者基于他们的技术专业,或与创始团队相熟。

4 融资

位于瑞士的Tezos基金会将监督开始于2017.7.1 6 AM UTC(北京时间 7月1日下午2点)的资金筹集活动。

Tezos 代币 (单数:“Tez”;复数:“Tezzies”;代号: “XTZ”)将会基于对Tezos基金会的贡献(以比特币或ETH的形式)进行分配。

基金会将会在 https://crowdfund.tezos.com 或 https://www.bitcoinsuisse.ch/tezos  接受所有捐助(contributions)。

4.1 融资计划(SCHEDULE)

融资无上限,这样做是为了确保参与者不局限于内业人士或“快手指”,Tezos开发团队相信,一个无上限的融资活动,将会促进代币的广泛分发,这是一个健壮网络的必要前提。( ICO 后更新:初始供应总量:763306929.69 XTZ;ICO 参与者持有总量:607489040.89 XTZ;初始成本:0.000167 ~0.0002 BTC/XTZ(或按当天当时 BTC 市价,换算成 CNY 成本,约为 2.9~3.5 CNY/XTZ,通胀率约为每年 5.5 %,为非稀释性通胀))

虽然代币分配以比特币计价,有些贡献者可能会用以太币,到时会有一个汇率转换。

筹资活动将持续2000个比特币区块(比特币每两区块间隔时间约10分钟,即共持续约2周),1 BTC将分得5000XTZ,以及随时间递减的额外奖励。奖励梯度共分五个阶段,第一阶段(每个阶段持续400个比特币区块,即每个阶段约持续2天18个小时,以比特币区块高度为准)奖金额度为20%,意味着,第一阶段,1BTC 将分得5000*(1+20%)=6000XTZ,第二阶段奖励为15%,直到最后阶段奖励为0%。(最小参与额:0.1BTC或等值其他货币

奖励梯度

4.2 代币总体分配

A 池 :来自筹资活动。分配汇率为5,000 XTZ / BTC +奖励(奖励最高20%,随时间递减)。详见4.1融资计划。

B 池 :早期支持者。如上所述,DLS接受过小额开发资助,计89.3201万美元,这些支持者将按初始价格获得相应代币(+20%奖励),非按总发行代币的百分比。

C 池:顾问,PR,及开发团队奖励(共计价值42.2万美元的代币+20%奖励)。将分配价值31.7万美元的代币给开发团队作为定期补偿;另外7.5万美元分配给顾问;3万美元分配给一家公关咨询(communications consulting)公司。

D 池:10%给基金会,兑现期(vesting)为四年。等量A+B+C总额的八分之一将分配给基金会,为筹资活动期间所发行代币总量的10%;兑现期为四年。

E 池:10%用于收购DLS,兑现期(vesting)为四年。等量A+B+C总额的八分之一将由基金会保管,作为收购DLS股权所用。本部分为筹资活动期间所发行代币总量的10%;兑现期为四年。

5 预算计划

Tezos 基金会将根据其既定目标管理这些捐赠(contributions)。最初,基金会将会根据所筹金额,制定4~6年的预算计划。此阶段过后,基金会将会自我结束,除非社区投票,通过代币资助,将其保留。

基金会将拥有对有益于Tezos协议的相关服务进行支付的自由裁量权,以代币或其他货币的形式。

本节概述了初始团队认为基金会应重视的方面及预估成本。

5.1 工程

最低限度是基金会保留原有开发团队,目前年成本为90万美元,包括维护,一些整合和提案成本。基金会在这方面的四年成本为360万美元。

DLS与OCamlPro合作,这是一家位于巴黎,在OCaml方面拥有深厚专业的公司。服务于Tezos的大多数开发者在形式化证明和编程语言理论方面,拥有博士学位。

5.2 研究

Tezos从对形式化证明和编程语言方面的研究获益良多,目前无相关成本,但Tezos初始开发团队对形式化证明有强烈的理念承诺,对研究新的区块链共识算法有浓厚兴趣。基金会将会资助相关方面的研究。

5.3 法律服务

Doug BarnesMME

5.4 公关和营销

推动围绕Tezos协议的生态系统,社区,将会举办纽约, 东京, 巴黎等地的活动和 meetup。

5.5 市场拓展(BUSINESS DEVELOPMENT)

6 长期目标

6.1社区目标

因为 Tezos 拥有一个内置治理机制,其协议可随时间进化,并吸收新的创新。创始团队认为,该治理机制的核心目标是保护每一个代币持有者的利益,不论其持币多少,换言之,治理决策倾向于提升代币价值。

理想的 Tezos 社区将是理智缜密,无需牺牲实用主义;包容,而无需容忍好战;将专注于实验,测试,为社区提供最有用和创新的技术工具,供其使用。

基金会不支持为任何不道德行为提供便利,如欺诈或暴力煽动。

Tezos 应该是一个由严肃思想家组成的社群,专注于为最有效的升级,提升Tezos代币效用作准备。网络会给予许可提案相应代币奖励,以创建一个健壮的货币激励机制。

6.2 开发目标

安全,扩展性,隐私,可用性(适用性),功能(由协议上去中心化应用所提供,如预测市场,DNS 系统,链上节点身份等)

6.3研究目标

6.3.1 零知识证明(zero-knowledge proofs)

6.3.2 权益证明(PoS,PROOF-OF-STAKE)

6.3.3 去中心化治理和激励结构

达成各个假设融资额后的相应成本预估及计划

Tezos 发展历史:

2013.11 - Gordon Mohr suggests NomicCoin on Twitter

January 2014 - Independent formulation of this idea by L.M. Goodman

March 2014 - Tezos development begins self-funded

August 2014 - Tezos Position Paper is released

September 2014 - Tezos 白皮书发布

January 2015 - Zooko 成为Tezos顾问

August 2015 - Bitcoin XT proposed, the “block-size debate” begins putting governance on the front stage

June 2016 - The DAO is hacked, a hard-fork of Ethereum is soon decided by the Ethereum Foundation

June 2016 - The pre-fork Ethereum chain becomes Ethereum Classic and splits the network

June 2016 - Andrew Miller joins as an advisor

September 2016 - Arthur Breitman presents Tezos as StrangeLoop

September 2016 - Polychain Capital and several individuals back Tezos to help scale up development

February 2017 - Emin Gün Sirer joins as a technical advisor in an official capacity

May 2017 - Tezos Foundation launches in Switzerland

ico结束后四个月,或更长(更新:改为2018年第三季度)--Tezos network launches

相关阅读:

官网:https://tezos.com/

Tezos 白皮书 中文版

Tezos 白皮书 英文版

Tezos 目的声明

Tezos 和以太坊的不同点

Tezos 开发情况概览 (有相应代码链接 )

Tezos ICO 常见问答及教程

Tezos ICO 数据概述及通胀相关

Tezos @ reddit

Tezos 社区QQ群 :109149807

原文:https://www.tezos.com/static/papers/Tezos_Overview.pdf

编译:泛舟 @币未来 biweilai.com

仅供参考