金色观察 | StarkWare眼中的Layer2

由金色财经主办的「在世界中心呼唤Web3」活动举行了主题为「StarkWare眼中的Layer2」的AMA，嘉宾为Eli Ben-Sasson。

主持人：Eli教授您好，我们知道您之前是以色列理工学院的教授，在普林斯顿高等研究院、哈佛、MIT等著名学术机构都从事过科学研究，是什么驱动您离开学术界进入加密行业创业的？

Eli：简而言之，通过我的研究，我发现了一套工具，我意识到这些工具可以带来重大影响，对人类产生真正的帮助。我发现，没有人真正在推动这项技术的发展，更没有人推动这项技术在现实世界中的应用，我想努力一把。另一部分原因是因为我坚信这些工具是实用的，现在我看到他们在实践中使用。所以，如果你有一项你坚信的发明，你真的希望它能被应用和使用，为这世界做些有益的事情。我们能够在学术研究的背景下推动这项发明的发展，有些时候，你必须更加努力，建立一个更大的团队，获得更多的资金，而这些事情在学术界是做得不好的。

在2018年的时候，技术已经相对成熟。多亏了我在那之前参与了zCash，不仅仅是我，还有我的另一位创始人，埃利桑多·基尔扎·恩教授。当我们在区块链世界中接触到V季的玩家时，他们表现出了极大的热情。所以我们的种子轮实际上进展很快，我们非常重要的初始种子投资人是维塔利奇·布泰恩，还有很多很多投资人都强烈支持我们的项目，所以我们看到我们可以为此获得资金并组建一个团队。Starkware早期招募的很多人对区块链和baltist研究也很有热情，所以，我们看到了获得资金和组建一个非常强大的团队的机会，他们也很有热情把Starkware变成现实，并以最好的方式帮助区块链的扩展和隐私发展。这就是为什么我们建立了它。

主持人：能请您简短介绍一下StarkWare以及StarkWare旗下的产品比如StarkEx、StarkNET、Cairo吗？

Eli：让我来介绍一下StarkEx、StarkNET、Cairo。首先，让我退一步想想，我们的核心技术是什么？因为你提到的这个项目，StarkEx、StarkNET、Cairo都是围绕着法庭技术建立的，这就是Stark。那么什么是Stark系统呢？它们是一种通过数学提供完整性的技术。这也就意味着即使没有人监督也要做正确的事情。我们真的迫切的希望了解涉及我们资金的计算，我们的医疗信息，比如，法医和个人数据。

我们希望，当这些属于我们的数据被处理时它是完整地处理的，这意味着有人在做正确的事情，即使我没有看到，即使其他人可能想偷我的钱或用它做坏事，所以我们真的想要是诚实。现在，在我们都熟悉的银行和政府的传统世界中，我们基本上需要信任一些中央机构以整合的方式运作。我必须相信我的政府会诚实地处理我的医疗数据。我必须相信银行会如实地处理我的财务数据，没有其他选择。而现在，区块链的工作方式非常不同了。它们通过透明、包容和数字提供诚信。区块链会说：“嘿，把每个人都邀请过来，把他们的笔记本电脑连接到互联网上。”然后把系统的所有进化记录下来，基本上检查所有的交易是否正常。

因此，区块链通过依赖数字、包容性和透明度来提供完整性。然而，正因为如此，它们的规模非常有限，因为我性能较弱的笔记本电脑现在需要检查世界上所有的交易。你知道，如果你考虑像支付宝，或在微信支付，这是非常不可思议的，我的笔记本电脑可以检查所有这些交易。因此，区块链确实存在规模问题。那么我们从哪里开始呢？我们发明了一套数学工具通过数学来提供完整性，这意味着我们可以检查一个证明，一个明确的证明，一个庞大的计算是正确的，我们知道它是正确的，不是因为我们相信另一方，而是因为我们相信数学被证明可以提供这种完整性。

所以我们现在有了这项技术，让区块链，而不是运行所有的计算和做所有的繁重工作，它们可以作为验证，作为严格的检查，作为证明的检查。如果证明通过，区块链就知道这些交易，所有的交易，都被完整地处理了。这是核心技术，叫做Stark。它让你得到指数级的完整性，不是通过信任另一方，而是通过信任数学。

接下来，让我解释一下StarkEx、StarkNET和Cairo的意思。

StarkExStarkEx是一个系统，它的代码是由StarkWare编写的，一次为一个客户操作。例如，UM有一个starkex系统，不可变X处理N-Fts，还有一个Stark系统是为UM写的，用于交易的YDX。所以每一个都是不同的系统。他们将X划分为非常罕见的，不可变的X多样化，还有一些其他功能也将很快上线，在这个过程中，当他们使用这项技术时，基本上我们正在处理大量交易，比如支付，并向区块链提交一个非常短的星号证明来证明这些交易的有效性，然后你就得到了区块链的所有完整性和区块链的所有安全性，除了区块链，无任何信任假设。这就是StarkEx。

StarkNet就像以太坊。它是一个开放的平台，任何人都可以使用它来编写和部署智能合约到开发中。它是为开发人员准备的，所以开发人员可以开始部署和发送UMether来启动网络并开始在其上运行。随着时间的推移，我们UM提供了越来越多的工具，以便开发人员能够更容易地在starkNet上进行开发和部署，我们正在提高性能和吞吐量，我们希望为开发人员提供最好的体验。但是现在我们要为生产级做准备，这意味着我们要加快速度，增加产量。我们的目标是达到eTPS，即至少是以太坊吞吐量的十倍，成本至少比以太坊低十倍。这是我们的下一个目标，我们正在为此努力。除此之外，我们也开始致力于去中心化。

最后，Cairo是什么呢？就像在听证会上，你用一种特定的语言来编写你的智能合约，这种语言是最可靠的。

主持人：目前的L2扩容技术有Optimistic Rollup，ZK Rollup、Plasma、Sidechain等，但行业普遍更看好ZK Rollup，您的观点是怎样的呢？StarkWare的ZK Rollup技术相比其它ZK Rollup有何特点？

Eli：人们通常提到的是Optimistic和Arbitrum。然后在有效性Rollup中，有时被称为ZK Rollup，我们有StarkNET和Cairo。关于我们的Rollup，事实上它是目前唯一上线的Rollup并且使用了它所承诺的安全技术。我来解释一下，Optimisti没有欺诈的证据。欺诈证明是保证其安全的核心安全机制，它没有在Arbitrum上开放，我们都不能援引欺诈证据，只有一小部分人可以使用它们。他们提出了一个测试网。它没有ZK证明。目前唯一的L2是由本应具有安全性的技术先提供安全性的。所以这是我们真正引以为傲的地方，也是我们在竞争中脱颖而出的地方。在这方面，顺便说一下，我们现在正在经历市场的重大动荡，我们看到了让所有安全机制和所有技术正常工作的重要性。我们不仅开启了核心技术。我们还有最能证明未来的技术。

主持人：在目前众多的L2产品中，有不少项目比如dYdX、Immutable X、DeversiFi、Sorare都基于StarkEx，他们为什么选择了StarkEx呢？

Eli：答案其实很简单，它与我之前的问题的答案有关，当这些非常认真的团队，非常成功的团队，寻找可以建立稳固基础的技术，在这些技术的基础上建立一些东西，能够经受住市场的风风雨雨，并拥有用户需要的安全性。无论过去还是现在，只有一种技术可以实现这个目标，那就是我们的技术。

主持人：由于L2相关的技术和产品较多，这也导致可组合性优势难以发挥，您认为目前L2上可组合性遇到的最大挑战是什么？有哪些可能的解决方案？

Eli：我们最大的挑战是达到开发人员使用工具的水平。也就是说，开发人员习惯于在以太坊上进行开发。但我们在这方面进展很快。有一个惊人的开发生态系统，有几十个团队致力于提供这个工具。如果你是一名开发者，想要寻找一些快速发展的生态系统，那就一定要看看StackNet。

以太坊上有可复合性，你只要在第二层上有可复合性就可以免费获得它。另一个解决方案是，你可以使用一层来互连不同的层管。第三个解决方案是，在有效性机器人中，你实际上可以有非常快的可组合性，因为你可以在一个系统中证明在另一个系统中发生的事情是完整的。这些东西后来也被其他人使用，有一件事只能发生在有效性累积上，这也是我们发明的，是通过微风的层的概念，这意味着你它作为第三层工作。然后，当他们想要交谈和交流时，你可以用这一层来组合他们，让他们彼此交谈，就像你可以让两层人通过后面的一层人交谈一样。这是StarkWere发明的另一个新东西，我们希望并相信这也会成为StarNet的标准。

主持人：感谢Eli教授的发言，非常精彩。感谢本次AMA的合作媒体，DeFi之道、Foresight News、链捕手、MarsBit News、星球日报、Panews、深潮和0x499社区。

文章有删减，全部内容请查看Twitter Space直播回访。