Tezos ：自我进化的加密账本

一木 8年前 (2017-04-12) 4784浏览

Tezos，专注安全，未来证明（future-proof ）智能合约系统的网络协议，已获得Polychain Capital投资。该基金limited partner 包括Andreessen Horowitz 和Union Square Ventures；其同时也是MakerDAO和 Golem的支持者。

Tezos 创始人 Arthur Breitman， Kathleen Breitman

Tezos 由Arthur Breitman 和 Kathleen Breitman 创立，是一个独立的智能合约平台。专注于通过内置共识机制达成透明，安全和管理（governance ）的设计目标。其所有代码都是独立可证（verifiable）, 还包括集成机制——用户可进行透明决策，将执行升级到Tezos。当需要进行协议更改时, Tezos 通过其内置的共识机制实现投票权。这使得升级可无缝集成到协议中, 并完全透明。

据Kathleen Breitman,

“ Tezos 已经开发了自己的智能合约语言，Michelson, 它是静态类型（statically typed）, 纯函数（purely functional），致力促进形式验证。形式验证是在数学上保证计算机代码某些方面的正确性的过程。它在航空航天工业中得到了显著应用, 在那里bugs代价特别高。”

Polychain Capital创始人及CEO Olaf Carlson-Wee表示，

“Tezos 拥有支持形式验证，用于智能合约的安全语言。这意味着有可能在数学上证明一个合约的安全性。同时，它也是自动修正的, 允许通过编程投票来进行调整和适应用户需求。Tezos 是第一个在协议级别进行形式化管理（formalize governance）的区块链, 我们认为这是一个令人着迷的实验和潜在的巨大突破。”

Tezos白皮书摘要：

“ Tezos, 一个通用的且能够自我进化的加密数字账本。 Tezos 的最大优势是可以吸收任何一种基于区块链的账本好的方面，其将常规区块链上的各种操作以单纯的功能模块的方式实现。通过网络壳（Shell）利用这些操作处理网络层任务。比特币，以太坊，Cryptonote 等都可以在 Tezos 内通过网络层接口实现，进而被表征。更重要的是，Tezos 支持元数据升级：即可以通过自我修正代码进化协议。为此，Tezos 从一个种子协议开始定义一整套流程来让持币的用户来对代码进行修正，以及修正这套流程所必须的投票体系本身。这和哲学家 Peter Suber 的 Nomic博弈观点不谋而和，该观点的博弈构建主要围绕一整套内省规则。除此之外，Tezos 的种子协议被放在一个纯粹的股权证明系统（POS）上，支持图灵完备的智能合约。Tezos 通过 OCaml 语言进行实现，该语言是一套功能强大的函数式编程语言，提供高速，非歧义语义和语法以及整个生态系统。所有的这一切让 Tezos 成为一个形式化正确性证明的很好的候选者。”

Tezos官网：https://tezos.com/