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社区。

24小时热点

ibox数藏平台暴雷!彻底的凉凉了!

因为NFT的爆火,连着NFT相关平台也是热度高涨,可是越是爆 ... 置顶

129971

现在是投资加密货币的好时机吗?

最近加密市场不断下行,市场情绪低靡,大多数山寨币已显颓势,尽 ...

334

布洛克

Web3在遥远的未来?不 它已经来了

FaceBook更名MeTa,让元宇宙一词火爆出圈,一时风头 ...

4884

大币网

数藏平台的合规与利润博弈:藏品滞销、用户流失VS炒作不断、平台稳赚

在众多二级市场平台的围剿中,幻核、鲸探等大厂的用户正在流失。 ...

21455

汤姆猫元宇宙

X2earn: 最容易理解的Web3范式之一

目录: 1.    X2earn: 最容易理解的 ...

13266

Lootcakes免费游戏网络

区块链信息服务备案管理系统备案

区块链信息服务备案仅对备案主体所从事的区块链信息服务进行登记 ...

236983

NFTs代售

如何解决DAO内冲突?

本文深入探讨了正视 DAO 内冲突的重要性,并提供了解决 D ...

11030

阿瓦隆矿机

Web3 有7大颠覆性概念

要想在未来取得成功,你现在必须要学习 web3 了。 ...

6672

一棵树的声音

7 个板块的Web3 社交赛道蓬勃发展

Web3 社交赛道蓬勃发展,50 个入选项目来自社交通讯、社 ...

2890

宙核

Web3 领域开拓组织创意生产的新方式(之二)

受访者一致认为「人们现在最容易获得报酬的方式是通过资助」,这 ...

2167

大币网

Vitalik 上海峰会演讲全文:以太坊合并或将在 8 月开始

Vitalik Buterin 分享了以太坊合并等最新进展, ...

12563

CryptoRank

热点专题

以游戏带动引擎发展实现功能迭代与技术演进

游戏引擎作为游戏创作工具与游戏运行的底层控制器,着力于在虚拟 ... 置顶

14157

2021年打假总结:存活近3年 疯狂的“传销币”GEC是怎么苟延残喘至今?

币圈从来不缺乏资金盘或是传销币,但多数都不长久,一夜之间项目 ...

2744532

加密兔

2021年打假总结:Pi Network项目的传销性质Pi币

曾经,号称“走路就能赚钱”拥有大量用户和广泛影响的国内APP ...

1760770

加密兔

柴犬币SHIB来了

受狗狗币启发,柴犬币(SHIB)近两天被创造出来。

1181279

Luart

非常硬核的LP流动性挖矿的核算

2021年1月19日20:00MDX正式上线交易挖矿和流动性 ...

1044005

RMRK

什么是去中心化交易所(DEX)?

去中心化交易所是一个基于区块链的交易所,它不将用户资金和个人 ...

1033883

bitFlyer交易所

骗走了中国人5000亿MBI集团的“易物币”长什么样的

人性终究还是舍弃不掉自己贪婪的一面! 今年10月 ...

788961

a16z

在Mdex上挖矿教程

Mdex是火币生态链上的去中心化交易所,Mdex挖矿于1月1 ...

736117

大都会资本

国内460种传销币套路和骗子币名单大曝光

全员警惕!!!国内460种传销币套路和骗子币名单大曝光(附全 ...

657074

Coin Metrics

国家区块链相关政策汇总

据零壹智库不完全统计,截至2019年12月,国家层面共计出台 ...

625471

利得链

最近央行提出的DC/EP是什么?

2019年8月10日,央行结算司副司长穆长春发表演讲,介绍了 ...

617791

网络资源