硅谷Live / 实地探访 / 热点探秘 / 深度探讨

自从以太坊火爆之后，人们就在寻找类似以太坊这样能够回报千倍的下一代区块链平台，毕竟大家都想赚钱，小本聪也理解大家的心情。

小本聪今天就来给大家介绍一个被认为是很有潜力的下一代区块链平台 Tezos，一个能够自我进化、强调形式化验证的区块链项目。

取名于古希腊语里的 “智能合约” 这个词，Tezos 这家公司自带很多话题热点：从融了当时最大的 ICO （融资 2 亿多美元），到融资后资金的用途，再到在区块链创业领域里鲜有的“夫妻店”... 围绕着这个公司的话题还真不少！真实的 Tezos 到底是什么样子？

小本聪我特意请来 Tezos 的联合创始人、创业夫妻档凯瑟琳•布雷特曼（Kathleen Breitman）和亚瑟•布雷特曼（Arthur Breitman）一起聊了聊。

从西服到连帽衫

在圣马特奥市的一间咖啡馆里，聪哥见到了衣着休闲的凯瑟琳和亚瑟。别看两人看上去很年轻，却都有很丰富的行业经验了。

Kathleen 和 Arthur Breitman 接受小本聪采访

在创办 Tezos 之前，凯瑟琳是分布式数据库技术初创公司 R3 的高级战略伙伴──由 R3 发起的区块链联盟吸引了很多家银行参与，包括花旗、德意志银行、汇丰银行等；她也曾在埃森哲和桥水基金（Bridgewater Associates）工作。

而亚瑟则有在 Google X 及高盛的高频交易部门工作的经历，同时他还曾在摩根士丹利担任期权营销员。亚瑟的高频交易背景使他对量化金融技术方面很感兴趣，从 2012 年他就开始关注区块链 ── 也是两人里首先关注区块链的人。

亚瑟对区块链的热情甚至蔓延到了两个人的蜜月。凯瑟琳说，当时两人正在非洲度蜜月，而亚瑟竟然连度蜜月都在研究以太坊的源代码！接下来的几个月，他都一直在试图说服凯瑟琳。两人对这个全新的领域和飞速发展的技术感到非常着迷，不久就从纽约搬到加州加入创业大军。

华尔街和硅谷最大的不同？“华尔街更加等级森严，而硅谷由于创业的人非常多，有种大家互相帮助的气氛，我非常喜欢，”亚瑟说，“还有就是...我不用再穿西服了，我现在只穿连帽衫。”

Tezos 是干嘛的？

Tezos 是基于区块链技术的智能合约平台。它有一个链上的管理机制，这种机制能够使其自我进化。Tezos 有这么几个特点：

能够自我进化 | Tezos 有一个种子协议，这个种子协议制定了一整套流程，持有代币的用户可以通过投票的方式对代码进行修正。也就是说，Tezos 可以在没有开发人员、矿工、或任何人为第三方的情况下更新。

Tezos 把共识协议（consensus protocol）、网络协议（network protocol）以及交易协议（ transaction protocol） 分开：共识协议负责形成针对唯一链的共识；网络协议负责发现并广播交易；交易协议描述什么使转账生效。

这三个协议每个协议层相对独立。利用这一点，Tezos 可以对现有协议进行升级。例如，如果币持有者决定要开始对协议进行更新，或者更改 Tezos 区块链的“规则”，那么 Tezos 区块链本身将在提案投票通过后，自动更新到测试网。经过一段时间的测试后举行投票确认，如果成功通过投票，将自动由测试网移到主网。

股权证明系统（Proof of Stake，POS）| 和比特币采用的工作量证明系统（Proof of Work，POW）不同， Tezos 的种子协议被放在一个纯粹的股权证明系统（POS）上，支持图灵完备的智能合约。换句话说，用户可以根据他们持有硬币的多少来挖掘新的区块。

为什么 Tezos 采用股权证明系统呢？因为当前 BTC 或 ETH 的工作量证明系统有不少缺点，例如挖矿算力越来越向少数掌握着电力资源的人集中、会有中心化的趋势；矿工和股东之间利益不一致；此外工作量证明系统浪费电、不环保。Tezos 的股权证明系统算法的设计，鼓励持币者创建区块，持币者随机接收奖励，与其持币量成比例，让股东成为矿工，维护系统的运行。

形式化验证 | Tezos 认为正确性和易用性远比高效性重要。想象一下，智能合约上跑的可都是真金白银，出了错可能就是上亿的损失。因此在智能合约的很多领域，“正确性” 有毫无争议的最高优先级。

因此选择 Michelson 这种功能型编程语言（functional programming lanaguage）作为智能合约的开发语言和运算模型，也围绕着 Michelson 引入了形式化证明来证明来保持合约的有效性，减少合约中出现的bug。

形式化验证一般被用在不允许有一点差错的工业领域，例如核聚变领域，飞机制造，医药领域等。事实证明形式化验能够证防止 The DAO 类似事件的发生。

以太坊的下一代？

不少人把 Tezos 看作以太坊的下一代。在被问及 Tezos 是否有可能取代以太坊时，亚瑟说他当然希望 Tezos 有一天能像以太坊一样成功，但首先希望 Tezos 能改进以太坊现有的不完美之处。

图片来源：Steemit

亚瑟认为，Tezos 和以太坊的共同点是：都承认保持协议活力和进化的重要性，但两者采取了不同方式：以太坊认为，让用户自己决定“是否跟随升级” 很重要，但亚瑟觉得这有点“不够正式” （”It’s a bit informal”），导致现在 Vitalik Buterin 一个人在以太坊的影响力就能左右以太坊的发展。

Tezos 想把这个投票过程正式化，这也就是我们刚才提到的“共识协议”。亚瑟说，理想的状态应该是：如果大家想做点新的东西，应该根据预设的治理规则，经由区块链上的正式提议，由持币者进行投票；测试且投票通过后再移到主网，被正式采纳。

夫妻创业

Tezos 自 2014 年成立到今天，虽然发展还算相对顺利，但一路走过来还是伴随着很多话题和争议，尤其是今年进行的令人瞩目的 ICO：它既是众筹最多的 ICO，由于亚瑟的工作背景，也被很多人认为是和高盛有千丝万缕关系的、来自华尔街 ICO。

图片来自 coindesk

而 Tezos 这家夫妻店也是被人津津乐道的话题之一。其实由夫妻组成的 power couple 也不少，但聪哥发现不少投资机构出于对稳定性的担心，基本不考虑投夫妻团队。投资人对于夫妻店的慎重，不仅是硅谷，国内也是如此：土豆王微离婚案、赶集网杨浩然离婚案，都是夫妻店损伤投资者利益的证明。

在这种情况下，Tezos 的融资过程还算相对顺利，而很重要的原因得益于凯瑟琳和亚瑟两人分工明确，且两人有互补优势。

Tezos 的夫妻团队

凯瑟琳作为 CEO 主要负责营运，而身为 CTO 的亚瑟则负责技术方面的开发。不过两人也承认，尽管分工明确，仍然会有彼此工作内容重合而两人产生分歧的情况，这时他们就会请团队顾问或者其他可以信赖的第三方帮他们拿主意。

今年早些时候，硅谷 DFJ 投资基金创始人、被誉为硅谷风投教父的 Tim Draper 宣布投资 Tezos。这也是 Tim Draper 首次涉足区块链投资领域。通常情况下，他们对投资创业夫妻档也会格外谨慎。Tezos 之所以成为特例，就是因为投资人非常认可凯瑟琳和亚瑟以及他们的团队，并且对这个市场非常看好。因此，尽管创业夫妻档风险有点大， Tim Draper 还是投了信任票。

超强吸金能力

今年 7 月，Tezos 进行了 ICO 并且还成为了近期融资规模最大的 ICO 之一 ── 他们筹集了总价值 2.32 亿美元的比特币和以太币。

绝大多数的 ICO 都是封顶的，然而向来就不走寻常路的 Tezos 决定，他们发的 Tezzie 代币是不封顶的。虽然很多人对此颇有微词，但另一方面，也有一些投资者认为这种不封顶的方式有利于 Tezos 筹集到更多的资金。

这家公司不仅筹资方式很有争议，就连筹资后资金的用途也很有意思。

8月10日，也就是 ICO 后仅仅一个月，Tezos 宣布成立 5000 万的风险基金，用来支持在其平台上建立的公司，而其他剩余的现金将投资在股票、债券和贵金属上面。

要知道，科技公司筹资通常是用来开发产品、开拓新市场，而不是用来投资股票或者贵金属，况且这也并不是他们的专业领域。那么他们为什么做出这样的决定呢？

亚瑟说，其实他们也控制不了基金会。成立风险基金主要还是两个目的：第一，用来建立社群并且推广 Tezos，丰富科技生态系统；第二，虽然投资股票、债券和贵金属是个特例，但同时也可以保证资金的弹性，对冲经济低迷的风险。

说了这么多，那 Tezos 到底能否成为区块链领域的下一匹黑马? 这还需要时间验证，不过毋庸置疑的是，Tezos 至少是一家值得关注的公司。

如果对 Tezos 还有什么问题，欢迎加微信公众号硅谷区块链（ID: svblock）后台留言，我们帮你发给 Tezos 的创始人，他们亲自解答你的问题。

p.s. 推荐一个小测试

推荐阅读

卫哲 | 王刚 | 姚劲波

胡海泉 | 朱啸虎

区块链报告 | 脑机接口报告

硅谷人工智能 | 斯坦福校长

王者荣耀 | 返老还童