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）技術來進一步增強其智能合約及協議代碼的安全性。形式化驗證是一種數學方法，可以精確地檢查程式碼是否符合預期行為，有助於避免潛在漏洞和錯誤。