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 Mauny，Lars Haussmann，Olaf 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 法律服务
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
相关阅读：
Tezos 开发情况概览 (有相应代码链接 )
Tezos 社区QQ群 :109149807
原文：https://www.tezos.com/static/papers/Tezos_Overview.pdf
编译：泛舟 @币未来 biweilai.com
仅供参考
参与讨论(0)