由金色财经主办的「在世界中心呼唤Web3」活动举行了主题为「StarkWare眼中的Layer2」的AMA,嘉宾为EliBen-Sasson。
主持人:Eli教授您好,我们知道您之前是以色列理工学院的教授,在普林斯顿高等研究院、哈佛、MIT等著名学术机构都从事过科学研究,是什么驱动您离开学术界进入加密行业创业的?
Eli:简而言之,通过我的研究,我发现了一套工具,我意识到这些工具可以带来重大影响,对人类产生真正的帮助。我发现,没有人真正在推动这项技术的发展,更没有人推动这项技术在现实世界中的应用,我想努力一把。另一部分原因是因为我坚信这些工具是实用的,现在我看到他们在实践中使用。所以,如果你有一项你坚信的发明,你真的希望它能被应用和使用,为这世界做些有益的事情。我们能够在学术研究的背景下推动这项发明的发展,有些时候,你必须更加努力,建立一个更大的团队,获得更多的资金,而这些事情在学术界是做得不好的。
UniSat Marketplace停机维护两小时:5月14日消息,据官方消息,BRC-20 交易市场 UniSat Marketplace 于北京时间 5 月 14 日 14 时 30 分至 16 时 30 分停机维护两小时,以执行必要的升级和修复。[2023/5/14 15:01:56]
在2018年的时候,技术已经相对成熟。多亏了我在那之前参与了zCash,不仅仅是我,还有我的另一位创始人,埃利桑多·基尔扎·恩教授。当我们在区块链世界中接触到V季的玩家时,他们表现出了极大的热情。所以我们的种子轮实际上进展很快,我们非常重要的初始种子投资人是维塔利奇·布泰恩,还有很多很多投资人都强烈支持我们的项目,所以我们看到我们可以为此获得资金并组建一个团队。Starkware早期招募的很多人对区块链和baltist研究也很有热情,所以,我们看到了获得资金和组建一个非常强大的团队的机会,他们也很有热情把Starkware变成现实,并以最好的方式帮助区块链的扩展和隐私发展。这就是为什么我们建立了它。
主持人:能请您简短介绍一下StarkWare以及StarkWare旗下的产品比如StarkEx、StarkNET、Cairo吗?
日本批准 Web3 白皮书以促进行业发展:金色财经报道,日本执政党自民党的Web3项目小组批准了一份白皮书,列出了发展日本互联网产业的建议。该党 Web3 项目团队秘书长 Akihisa Shiozaki 表示,日本的主要参与者已开始进入该市场。日本移动电话运营商 NTT Docomo 承诺向Web3 基础设施投资高达 6000 亿日元(40 亿美元),主要金融机构正在寻求发行稳定币。
该白皮书建议进一步修改税收法规,并指出已经批准了一项针对代币发行人的重大豁免。其中包括对持有其他公司发行的不会进行短期交易的代币的公司免税。它建议允许进行自我评估,以便投资者可以将损失结转三年,并且只有在将资产兑换为法定货币时才应对加密货币征税。它还建议根据日本的 godo kaisha (一种类似于有限责任公司的业务类型)制定 DAO 法。在 NFT 方面,白皮书提议公私合作,制定梦幻体育服务合法商业模式的指南。[2023/4/6 13:48:34]
Eli:让我来介绍一下StarkEx、StarkNET、Cairo。首先,让我退一步想想,我们的核心技术是什么?因为你提到的这个项目,StarkEx、StarkNET、Cairo都是围绕着法庭技术建立的,这就是Stark。那么什么是Stark系统呢?它们是一种通过数学提供完整性的技术。这也就意味着即使没有人监督也要做正确的事情。我们真的迫切的希望了解涉及我们资金的计算,我们的医疗信息,比如,法医和个人数据。
已有超9.5亿枚ARB空投被认领,占比约82%:金色财经报道,据 Nansen 数据显示,当前已有超 9.5 亿枚 Arbitrum 代币 ARB 被认领,占此次空投供应量的 82.37%。此次空投符合条件的地址数为 625,143 个,已认领地址数为 509335 个,占比约 81.47%。据行情软件显示,ARB 代币当前报价 1.26 美元。[2023/3/25 13:26:14]
我们希望,当这些属于我们的数据被处理时它是完整地处理的,这意味着有人在做正确的事情,即使我没有看到,即使其他人可能想偷我的钱或用它做坏事,所以我们真的想要是诚实。现在,在我们都熟悉的银行和政府的传统世界中,我们基本上需要信任一些中央机构以整合的方式运作。我必须相信我的政府会诚实地处理我的医疗数据。我必须相信银行会如实地处理我的财务数据,没有其他选择。而现在,区块链的工作方式非常不同了。它们通过透明、包容和数字提供诚信。区块链会说:“嘿,把每个人都邀请过来,把他们的笔记本电脑连接到互联网上。”然后把系统的所有进化记录下来,基本上检查所有的交易是否正常。
因此,区块链通过依赖数字、包容性和透明度来提供完整性。然而,正因为如此,它们的规模非常有限,因为我性能较弱的笔记本电脑现在需要检查世界上所有的交易。你知道,如果你考虑像支付宝,或在微信支付,这是非常不可思议的,我的笔记本电脑可以检查所有这些交易。因此,区块链确实存在规模问题。那么我们从哪里开始呢?我们发明了一套数学工具通过数学来提供完整性,这意味着我们可以检查一个证明,一个明确的证明,一个庞大的计算是正确的,我们知道它是正确的,不是因为我们相信另一方,而是因为我们相信数学被证明可以提供这种完整性。
现货黄金站上2000美元/盎司,为2022年3月来首次:金色财经报道,行情显示,现货黄金站上2000美元/盎司,为2022年3月来首次,较日低走高超30美元。[2023/3/20 13:14:41]
所以我们现在有了这项技术,让区块链,而不是运行所有的计算和做所有的繁重工作,它们可以作为验证,作为严格的检查,作为证明的检查。如果证明通过,区块链就知道这些交易,所有的交易,都被完整地处理了。这是核心技术,叫做Stark。它让你得到指数级的完整性,不是通过信任另一方,而是通过信任数学。
接下来,让我解释一下StarkEx、StarkNET和Cairo的意思。
StarkExStarkEx是一个系统,它的代码是由StarkWare编写的,一次为一个客户操作。例如,UM有一个starkex系统,不可变X处理N-Fts,还有一个Stark系统是为UM写的,用于交易的YDX。所以每一个都是不同的系统。他们将X划分为非常罕见的,不可变的X多样化,还有一些其他功能也将很快上线,在这个过程中,当他们使用这项技术时,基本上我们正在处理大量交易,比如支付,并向区块链提交一个非常短的星号证明来证明这些交易的有效性,然后你就得到了区块链的所有完整性和区块链的所有安全性,除了区块链,无任何信任假设。这就是StarkEx。
英国监管机构:加密公司不受严格监管的影响:金色财经报道,英国金融行为监管局(FCA)透露,尽管首次未能满足监管要求,但许多加密货币公司仍在寻求在英国经营的许可。他们知道我们有一个良好的监管体系,如果他们符合我们的标准,这对于他们在世界各地寻求申请的每个司法管辖区都很重要。在新首相Liz Truss的领导下,英国的加密监管可能正在发生变化。在她上任之前,曾参与该国加密政策的几位关键官员在她上任前辞去了政府职务,其中包括前财政大臣 Rishi Sunak 和财政部经济秘书 John Glen。英国政府上周在下议院提出了经济犯罪和企业透明度法案。[2022/10/3 18:37:57]
StarkNet就像以太坊。它是一个开放的平台,任何人都可以使用它来编写和部署智能合约到开发中。它是为开发人员准备的,所以开发人员可以开始部署和发送UMether来启动网络并开始在其上运行。随着时间的推移,我们UM提供了越来越多的工具,以便开发人员能够更容易地在starkNet上进行开发和部署,我们正在提高性能和吞吐量,我们希望为开发人员提供最好的体验。但是现在我们要为生产级做准备,这意味着我们要加快速度,增加产量。我们的目标是达到eTPS,即至少是以太坊吞吐量的十倍,成本至少比以太坊低十倍。这是我们的下一个目标,我们正在为此努力。除此之外,我们也开始致力于去中心化。
最后,Cairo是什么呢?就像在听证会上,你用一种特定的语言来编写你的智能合约,这种语言是最可靠的。
主持人:目前的L2扩容技术有OptimisticRollup,ZKRollup、Plasma、Sidechain等,但行业普遍更看好ZKRollup,您的观点是怎样的呢?StarkWare的ZKRollup技术相比其它ZKRollup有何特点?
Eli:人们通常提到的是Optimistic和Arbitrum。然后在有效性Rollup中,有时被称为ZKRollup,我们有StarkNET和Cairo。关于我们的Rollup,事实上它是目前唯一上线的Rollup并且使用了它所承诺的安全技术。我来解释一下,Optimisti没有欺诈的证据。欺诈证明是保证其安全的核心安全机制,它没有在Arbitrum上开放,我们都不能援引欺诈证据,只有一小部分人可以使用它们。他们提出了一个测试网。它没有ZK证明。目前唯一的L2是由本应具有安全性的技术先提供安全性的。所以这是我们真正引以为傲的地方,也是我们在竞争中脱颖而出的地方。在这方面,顺便说一下,我们现在正在经历市场的重大动荡,我们看到了让所有安全机制和所有技术正常工作的重要性。我们不仅开启了核心技术。我们还有最能证明未来的技术。
主持人:在目前众多的L2产品中,有不少项目比如dYdX、ImmutableX、DeversiFi、Sorare都基于StarkEx,他们为什么选择了StarkEx呢?
Eli:答案其实很简单,它与我之前的问题的答案有关,当这些非常认真的团队,非常成功的团队,寻找可以建立稳固基础的技术,在这些技术的基础上建立一些东西,能够经受住市场的风风雨雨,并拥有用户需要的安全性。无论过去还是现在,只有一种技术可以实现这个目标,那就是我们的技术。
主持人:由于L2相关的技术和产品较多,这也导致可组合性优势难以发挥,您认为目前L2上可组合性遇到的最大挑战是什么?有哪些可能的解决方案?
Eli:我们最大的挑战是达到开发人员使用工具的水平。也就是说,开发人员习惯于在以太坊上进行开发。但我们在这方面进展很快。有一个惊人的开发生态系统,有几十个团队致力于提供这个工具。如果你是一名开发者,想要寻找一些快速发展的生态系统,那就一定要看看StackNet。
以太坊上有可复合性,你只要在第二层上有可复合性就可以免费获得它。另一个解决方案是,你可以使用一层来互连不同的层管。第三个解决方案是,在有效性机器人中,你实际上可以有非常快的可组合性,因为你可以在一个系统中证明在另一个系统中发生的事情是完整的。这些东西后来也被其他人使用,有一件事只能发生在有效性累积上,这也是我们发明的,是通过微风的层的概念,这意味着你它作为第三层工作。然后,当他们想要交谈和交流时,你可以用这一层来组合他们,让他们彼此交谈,就像你可以让两层人通过后面的一层人交谈一样。这是StarkWere发明的另一个新东西,我们希望并相信这也会成为StarNet的标准。
主持人:感谢Eli教授的发言,非常精彩。感谢本次AMA的合作媒体,DeFi之道、ForesightNews、链捕手、MarsBitNews、星球日报、Panews、深潮和0x499社区。
文章有删减,全部内容请查看TwitterSpace直播回访。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。