ARK:金色观察 | StarkWare眼中的Layer2

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

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

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

金色晨讯 | 4月26日隔夜重要动态一览:21:00-7:00关键词:基建法案、央行数字货币、韩国

1.格雷厄姆:需要完成基建法案,或考虑同意规模在8000-9000亿美元之间的基建法案;

2.蚂蚁集团与央行数字货币研究所合作协议不涉及具体产品选择;

3.Coinbase移动应用上周下载量及日活跃用户数创下纪录;

4.模特Emily Ratajkowski将出售NFT以收回其数字身份控制权;

5.前Coinbase首席技术官为印度新冠援救运动捐赠超5万美元加密货币;

6.韩媒:第一季度韩国四大加密货币交易所交易额达1.33万亿美元;

7.韩国金融委员会正调查相关职员的加密货币投资现状;

8.中国地方金融研究院莫开伟:法定数字货币将重构世界金融。[2021/4/26 20:58:22]

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

金色财经挖矿数据播报 | BTC今日全网算力下降4.51%:金色财经报道,据蜘蛛矿池数据显示:

BTC全网算力113.064EH/s,挖矿难度19.99T,目前区块高度655066,理论收益0.00000767/T/天。

ETH全网算力267.162TH/s,挖矿难度3319.49T,目前区块高度11174806,理论收益0.00595503/100MH/天。

BSV全网算力1.307EH/s,挖矿难度0.20T,目前区块高度659480,理论收益0.00068885/T/天。

BCH全网算力2.234EH/s,挖矿难度0.32T,目前区块高度659722,理论收益0.00040277/T/天。[2020/11/2 11:24:39]

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

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

分析|金色盘面:XLM/USDT突破0.23阻力:金色盘面综合分析:XLM/USDT在1小时上突破0.23阻力,上方阻力先看前高0.24,其主要成交来自币安交易所的XLM/USDT和XLM/BTC交易对,注意关注市场人气延续情况。[2018/8/13]

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

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

分析 | 金色盘面:BTC/USDT 出现反弹走势:金色盘面综合分析:BTC/USDT15分钟K线图在中午形成背离反弹后,并未快速拉升,而是横盘震荡,目前受限于MA36压力,而从30分钟K线图的DMI看,这里同样出现了背离走势,所以不排除多头在这里组织抵抗,密切关注15分钟的MA36能否突破。[2018/8/8]

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

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

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

金色财经现场报道 中工软件区块链事业部CTO刘阳 :跨链技术十分重要:金色财经6月3日现场报道,在今天的以太坊技术及应用大会上,中工软件区块链事业部CTO刘阳做了题为“跨链技术在数字经济中的应用”主题演讲。刘阳说:目前白皮书套路都差不多,而每一个主链都是一个信息孤岛,所以跨链十分重要。很多人声称要做自己的主链,都想做“一链统天下”,但目前很多想法都只是在“白皮书中”。刘阳在会上介绍了公证人技术、侧链/中继、哈希锁定等几种主要的跨链方式。[2018/6/3]

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直播回访。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:0ms0-0:949ms