听数学家 Serguei Popov 畅谈分布式账本技术的过去、现在和未来

近日，IOTA 联合创始人同时也是 Cartesi 顾问的 Serguei Popov 聊了聊他对分布式账本技术（DLT）以及 Cartesi 项目的一些看法。Serguei 是一位从事概率论和随机过程研究的数学家，毕业于莫斯科国立大学并获得博士学位，目前是巴西坎皮纳斯州立大学（Unicamp）的教授。

Serguei 是如何与 DLT 技术结缘，又是如何遇见我们的首席科学家 Augusto Teixeira 的？他对 Cartesi 又有一些什么样的看法呢？阅读下文，揭晓答案。

大约 6 年前，我偶然发现了一篇关于比特币的文章（如果我没记错的话，是在 Computerra 上）。我发现这个想法很友好，于是我开始阅读这篇文章。然后，又在「知名」论坛 bitcointalk.org 上面读了很多其他资料。早在 2013 年，就已经出现了很多山寨币，只不过大多数都是比特币的克隆（主要对挖矿算法进行了一些改变）。不过，一个名为 Nxt 的新项目还是引起了我的注意：这是一个纯粹的权益证明（Proof-of-Stake）代币，在当时还是个很新颖的概念。于是我开始积极参与 Nxt 相关话题讨论，最开始在 bitcointalk 上，后来在 Nxt 论坛上。而那时，Nxt 的创始人 BCNext 已经很少发声了。但他的同事 CfB （又名 Sergey Ivancheglo）非常活跃并参与其中（嗯……sapienti sat😁）。我与 CfB 谈了很多，他很友好地向我详细介绍了 Nxt 协议。之后，我对 Nxt 区块链的概率属性进行了一些粗略计算，并将其发布。（注：区块链与一种名为泊松点过程的数学对象有很大关系。作为一名概率论者，我对此相当了解。另外，后来我在 《 Nxt 锻造算法的概率分析》 一文中扩展并修正了这些注释。）大家看到了我的计算，然后说「哇！ 看起来很棒！虽然什么都不懂，但是看起来很有说服力！」就是这样，我成为了一名「Nxt 社区数学家」。接着，在 2015 年初，David 和 CfB 启动了一个新项目，也就是后来的 IOTA，然后我受邀成为了这个项目的数学家。因此，我给这个项目的基础协议做出了一些贡献，并撰写了首个白皮书。在这之后发生了很多事情，但我就讲到这里了。

我认识他是在 2011 年，那时他与 Jiri Cerny 一起在巴西的 概率学院（Brazilian probability school） 开设了一门随机交错的课程。这门课程非常有趣（尽管他们成功吓跑了所有学生，但至少有一位教授熬了过来），他们激励了我，让我开始研究这个模型。第二年，我邀请 Augusto 到巴西的坎皮纳斯（Cantinas）讨论随机交错，也是在那时，我们有了「软本地时间（soft local time）」的想法，这就让交错轨迹在遥远的子集上留下的本地图像能够得到非常有效地解耦。结果就得出这篇文章 《软本地时间与随机交错的解耦（Soft local times and decoupling of random interlacements）》，我认为到目前为止这是我在数学上最棒的一个作品。与 Augusto 一起工作一只都是一种享受：他是一个思维敏捷的人，知识涉猎面很广并且拥有丰富的技能。 希望我们将来有机会能再次合作。

在前面我提到的那篇文章发表之后，我们进一步在里约热内卢和坎皮纳斯两地进行了很多次工作会议。我们尝试去解决一些非常具有挑战性的问题，但很遗憾都没有取得太大的成功。另一方面，当数学家陷入困境时，他们倾向于谈论其他事情以减轻压力。因此，我给 Augusto 讲述了我的区块链 / 纠缠 （Tangle）奇遇记。而我，又一次被他迅速掌握所有这些想法并提出自己的想法而震惊到。顺便说一句，Cartesi 的概念并不是我从 Augusto 那里听到的第一个与区块链相关的新想法。这样，你就知道他仍然有一些很有趣的牌可以拿出来。

Augusto 最初的想法是为数据科学家创建一个无需信任的市场。基本上，它可以使专家和公司签订服务协议，而无需彼此了解或建立一个信誉体系。为了实现这一点，他邀请 Diego Nehab 设计并实现可运行 Linux 的可复现虚拟机（VM）。借助此架构和 Augusto 所设想的协议，能够使通用计算可通过区块链进行验证。 更具体地说，区块链将能够在仿真器中启动例程，以验证专家完成工作后发送的结果。该系统将保护整个流程中所设计的两方，只有在结果被证明是正确的情况下才会释放资金。

后来，这个团队进行了很长时间的讨论，然后意识到他们正在开发一个更加广阔领域。在 Cartesi 这个名字还未出现之前，他们就知道他们能够真正创建一个多功能的 layer-2 ，以克服区块链应用程序的计算和基础架构的可扩展性问题。

最初将 Cartesi 团队聚集在一起的想法是建立一个去中心化的 AI 市场。尽管现在他们认为这个系统要比最初的想法更具通用性，并且能够产生很多其他类型的应用，我还是希望看到 AI 市场运行在 Cartesi 之上。构建这样一个系统离不开他们的努力，这将成为一个很好的例子去展现一个更加去中心化的世界。

Cartesi 将推动公有链的广泛采用，从而促进 DApps 的开发（甚至适用于非区块链开发者），并解决计算可扩展性问题。

Cartesi 可以吸引大量资深开发者轻松地编写 DApp，而无需接触区块链上的智能合约实施。Cartesi 还应该能够让 DApp 在最相关的区块链之间进行搬运。由于 DApp 逻辑是为 Linux 实施的，并部署在第二层，因此将在未来十年保护这些开发者免受一些区块链项目存在的弊端所影响。随着 Cartesi 实现这一愿景，应用程序便可以轻松地在不同的区块链之间进行搬运，从而使开发者无需负担重新实施代码的烦恼和成本。

加密生态系统面临的一大风险就是脱离了传统产业。由于主要是那些已经在加密环境中的人们开发并使用加密火币，因此其采用将受到限制。我认为 Cartesi 能够使 DApp 的开发和可用性接近人们已经习以为常的事务，从而在这一点上带来相当大的帮助。

IOTA 的基本原则之一就是自由（请参阅 IOTA：无畏与自由）。 特别是，IOTA 协议允许网络参与者在 Tangle （IOTA 分类帐本）中构造任何类型的「结构」。 我认为，这一点再加上 IOTA 无需手续费的基本性质，可以让 Cartesi 获益良多。

我只是一个「理论派」，并没有真正去联系现实世界。 但是，正如人们所说的，未来总会到来。 因此，让我们拭目以待吧。 :)