资金分歧、团队内讧，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 团队该好好思考这个问题了。