我和這對最近融資2.32億美元的創業夫妻檔聊了聊……

新聞 10-20

矽谷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 億美元的比特幣和以太幣。