資金分歧、團隊內訌，Tezos「硬分叉」之謎

繼創始團隊內訌、代幣陷入非法證券風波之後，PoS 明星項目 Tezos 近期迎來了新的危機。

Tezos 生態中的開發團隊之一 OcamlPro 宣布將在今年 9 月對 Tezos 進行硬分叉，生成新鏈條「Dune chain」，如果硬分叉成功，這將是整個 POS 共識機制發展歷史上的第一次產生第二條新鏈的硬分叉。

如果不了解 Tezos 生態，也許並不清楚這一硬分叉主角「OcamlPro」是誰，但他們為 Tezos 開發的產品的確比團隊更為人所知，包括 Tezos 上使用最為普遍的瀏覽器 Tzscan、以及 Tezos 智能合約開發語言之一 Liquidity（Tezos 目前的智能合約包括 Michealson 和 Liquidity 語言）。

可以說 OcamlPro 是 Tezos 生態中的強壯臂膀，OcamlPro 甚至在「Dune chain」的新聲明中表示為 Tezos 做出了 90% 以上的貢獻，但為何本是共同進退的兩位合作夥伴，如今隔空對嗆，走上分岔路？

資金成為導火索

分歧在 1 個月之前就已經顯露。

5 月 2 日，Tezos 基金會在官網上發布一篇關於《支持生態開源智能合約開發計劃》的文章，決定將資金支持更多在 Tezos 生態中開發智能合約及區塊瀏覽器的開發團隊。文中有一句話提到了：Tezos 正在與 TzScan 的開發商 OCamlPro 進行談判，以決定是否在第二季度末資助到期後提供後續維護資金。

對於此次談判的原因及經過，文章中再無提及。

但之後基金會在 Reddit 上專門開貼，說明此次談判的內容：基金會對 TzScan 的資助將於第二季度末到期。目前兩方正在對 TzScan 的後續資金申請進行誠摯的談話。Tezos 基金會作為資金提供方，要求所有受助者將代碼庫完全開源，只有實現這一目標，才能考慮任何額外的，合理的資金申請；也只有在達到上述開源要求時，才會考慮其他工具（如 liquidity 語言）的資金申請。

言下之意，是兩者對於後續的資金資助，卡殼在 TzScan 是否全部開源上。

隨後 OcamlPro 創始人 Fabrice Le Fessant 回帖，反駁稱自 2017 年以來，OCamlPro 為 TzScan 和 Liquidity 投身的金額，是 Tezos Foundation 提供的贈款金額的兩倍多。利用他們的開發工具，Tezos 社區開發了許多獨立項目（錢包，節點，網站，dapps）。

如果按照基金會的意思，OcamlPro 不計成本地開發，才能申請後續的小額捐贈。他說：「我（雖然）是一名軟體開發人員，一名計算機科學家，不是商人，但它聽起來都並不像是一個雙贏的提案。」

資助款項成為了兩者矛盾公開化的一個導火索，也在社區中埋下了分裂的種子。

事實上，資金分歧並非第一次出現。

5 月初，有開發者發現 OCamlPro 開發的一個名叫「irontez」項目代碼被從 gitlab 庫中全部刪除，該項目致力於 Tezos 節點的存儲優化。

這位開發者的困惑很快得到了 OcamlPro 創始人 Fabrice Le Fessant 的回答，他表示，由於缺乏預算，該項目被取消了，資金申請過去 4 個月並無回應，目前進行類似優化的另一開發團隊 Tarides 已被贊助。

提案風波

資金談判還未破裂，OcamlPro 新的提案又引來了爭議。

5 月 30 日，PoS 公鏈項目 Tezos 宣布通過鏈上投票，成功激活「雅典 A」提案，且完成了主網升級。

這表示 Tezos 在去中心化治理上邁出了重要的一步，但同時也意味著，新的提案將進入投票周期。

最初的計劃是，為了充分利用 3 個月的周期，三個主要的開發團隊：Nomadic Labs、Cryptium Labs、Marigold 與其他開發人員合作，協調開發即將推出的提案。且準備在 6 月底提交提案，在接下來的 24 天給予社區充足的時間來審查討論。

而並未參與合作的 OcamlPro，在 6 月 10 日率先提出了一個名為 Brest A 的新修正案，包括了一個安全問題與工具問題的修復。

但這類做法遭到了開發者的質疑。

在 Tezos 的治理過程中，一個提案需要經歷 Proposal（提案）、Exploration（探測）、Testing（測試）和 Promotion（推廣應用）四個階段，持續 3 個月。OcamlPro 提案的率先提出或將使前者提案的通過被推遲。

質疑聲音認為，OcamlPro 的提案更像是一個附加其他改進的「漏洞補丁」，在 Tezos 生命的這個早期階段，這個小建議並不能很好地利用整個 3 個月的投票周期，如果這個補丁與其他更有益的建議一起被納入，它將更好地為社區服務；此外，Ocamlpro 提交的時間不符合社區的需要，社區沒有足夠的時間進行教育、討論。

而到目前為止，Ocamlpro 給出的唯一解釋是，bug 賞金程序忽略了他們建議中的漏洞修復，他們沒有時間進行溝通，因為他們忙於其他工作，出於關心，決定最好只提交一個建議。但這種解釋並不令人滿意，因為僅僅進行這種更改就需要經過整個 3 個月的過程，這既不是時間的最佳利用，也不是處理重要漏洞的有效方法。

兩方對嗆

最新的消息是，一封來自名為 Starchain Capital 的加密基金髮送的電子郵件將兩方分歧推向了高潮。

郵件中稱，Starchain Capital 將與 OcamlPro 合作，於 2019 年 9 月分叉 Tezos 區塊鏈並聲稱新的公鏈，在此之前，他們將融資 100 萬美元組建團隊，完成開發工作。並稱硬分叉之後，在特殊情況下分叉鏈可以超越母鏈，成為主鏈項目。

信中不忘提及了 Tezos 創始人 Arthur Breitman 的爭議史，還表示 OcamlPro 創始人 Fabrice Le Fessant 是 Arthur Breitman 的老師；此外，OcamlPro 已經為 Tezos 做出了 90% 以上的貢獻。由於缺乏資金支持，願景不同和治理方案上與 Tezos 基金會存在分歧，OCamlPro 決定離開 Tezos。

雖然這份郵件真偽有待驗證，但仍然得到了 Tezos Commons 執行董事 Shaun Belcher 的長篇反擊。

文首強調，問題不在於他們打算分叉 Tezos，任何人都可以使用開源的 Tezos 軟體；問題在於 OCamlPro 領導層「惡意和歪曲歷史行為」。

為了證明 OCamlPro 分叉意圖確有其事，Shaun Belcher 在文中列出了 4 張文件圖片。包括一份 2019 年 5 月 27 日在法國創建一家新公司 「Origin Labs」 的商業登記文件，該文件任命 OCamlPro 創始人 Fabrice Le Fessant 為總裁；

一份由 Starchain Capital 為「Dune chain」編寫的籌款要求；

一份由 Starchain Capital 於 2019 年 5 月 20 日成立的 Spoon SPV，LLC 特拉華州成立證書；

以及一份 Spoon SPV，LLC 主要目標是 「通過投資「Dune chain」及其基金會來實現資本增值」 的概述文件。

左圖：Origin Labs 商業登記文件/右圖：Spoon SPV，LLC 特拉華州成立證書

檄文認為，一個月前 OCamlPro 公開指責並拉攏支持人群以分裂社區，不過是為其新的分叉鏈造勢。

文章的第二部分則澄清了一些說法：1、OCamlPro 不是 OCaml 語言背後的工程團隊；2、Tezos 是一個去中心化項目，創始人不是領導者；3、OcamlPro 創始人 Fabrice Le Fessant 並非是 Arthur Breitman 的老師，OCamlPro 是其他人推薦的；4、90% 貢獻一說太過誇張，參與開發的還有 Nomadic Labs、Obsidian Systems、日本團隊 DaiLambda 以及台灣團隊 Nine Chapters。

最後文章還分條列出 OCamlPro 與 Tezos 談判期間提出的諸多不合理要求，包括 Tezos 基金會的通信必須經過 OCamlPro 領導層批准、資金支持項目開發且不要求開發結果與截止日期、長假 4 周以上等等，如果要求得不到滿足，他們有義務提供刪除知識產權的威脅。

最後文章稱，仍然感謝 OCamlPro 工程師的辛勤工作，並希望儘管如此，他們仍然可以活躍參與 Tezos 社區。

這篇反擊文章在昨日（6 月 17 日）發表，目前 OcamlPro 並未回應。

Tezos 的硬分叉在社區引來了激烈的討論：有人看好，認為 Tezos 並不完美，基金會在推廣 Tezos 方面進展緩慢，OCP 不可低估；有人不看好，稱硬分叉一定失敗；更多人惋惜的是，OCamlPro 是一群才華橫溢的人，他們為 Tezos 做了很棒的事情，如果溝通順利，Tezos 生態會更好。

不過團隊內訌似乎不是 Tezos 遇到的第一次。 2017 年 ICO 之後，Tezos 創始人夫婦與其指派的基金會董事長 Johann Gevers 也產生了合作破裂。不禁讓人感嘆，到底是 Tezos 點背還是管理不善呢？或許 Tezos 團隊該好好思考這個問題了。