风险提示:防范以“虚拟货币”“区块链”名义进⾏⾮法集资,切实提⾼⻛险意识

StarkWare眼中的Layer2

金色财经 2022-06-20 11:13:44
在世界中心呼唤Web3:StarkWare眼中的Layer2。

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

q4lgsmf4TEnpmGunFXzZ1hOGMzK8zKz98Be2lb6b.jpeg

主持人: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直播回访

免责声明: 作为信息平台,本站所提供的资讯信息不代表任何投资暗示, 本站所发布⽂章仅代表个⼈观点,与深潮官⽅⽴场⽆关。如信息中侵犯知识产权, 请及时来电或致函告之,本站将第⼀时间删除⽂章。
评论