Tezos

Tezos是由Arthur Breitman和Kathleen Breitman夫妇创立的。他们在2014年开始构思这个专案，随后在2017年透过初始代币发行（ICO）筹集资金，以实现他们的愿景。 Arthur Breitman是一名具有深厚金融与数学背景的工程师，而Kathleen Breitman则有丰富的管理经验。 Tezos旨在提供一个自我修正、自我治理且高效能的区块链平台，使其能更好地支援智慧合约和去中心化应用（dApps）。

Tezos 在众多区块链平台中，以其独特的治理机制和创新的技术特点脱颖而出。持有该网路原生代币XTZ 的参与者，只需拥有8,000 枚以上，即可透过「烘焙」这一特殊机制直接参与网路治理。这种设计有效地运用财务激励来促进诚实和积极的行为。 在 Tezos 中，烘焙者负责审议并表决关于区块链程式码更动的提案。该过程分为四个阶段，总时长约为 23 天。若提案获得大多数参与者同意，将首先在测试网上进行为期 48 小时的测试；随后，在取得绝大多数支援后，才会正式部署到主网上。 除了创新的治理模式外，Tezos 也吸引了知名企业的采用。例如，2020 年 9 月，法国金融巨头 Societe Generale 宣布将使用 Tezos 协助中央银行数字货币（CBDC）实验。这不仅展示了其技术实力，也提升了其市场信誉。 此外，多家大型加密货币交易所，如币安和 Coinbase，都宣布支援 Tezos 持有功能，使使用者能根据其持有的 XTZ 赚取报酬。在当今数位资产领域中，这样的特性并不常见，更增强了 Tezos 对投资者的吸引力。

Tezos 网路使用权益证明（Proof of Stake, PoS）共识机制。在Tezos 网路中，任何人只要支付一定数量的保证金，都可以成为验证者，这些验证者被称为「烘焙者」（bakers ）。他们负责记录新的交易、打包区块并添加到区块链上。这一机制不仅提升了网路处理速度和效率，同时也降低了能源消耗，对环境更为友好。 为了维护网路的安全性和完整性，Tezos 设计了一套激励与惩罚制度。诚实履行职责并正确运作网路的烘焙者将会得到相应的 XTZ 代币作为报酬；反之，不诚实或试图进行攻击行为的验证者则可能失去其抵押担保（slashing），面临经济损失。这样的设计有效地鼓励参与者保持正直，促进整体系统的稳定运行。 此外，Tezos 还通过形式化验证（formal verification）技术来进一步增强其智能合约及协议代码的安全性。形式化验证是一种数学方法，可以精确地检查程式码是否符合预期行为，有助于避免潜在漏洞和错误。