Tezos :自我进化的加密账本
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/
相关阅读
编译:无解叶
校对 & 编辑:一木 @ 币未来 biweilai.com
仅供参考
参与讨论(0)