WARE:从官方视角理解Layer2明星项目StarkWare_CAIRO

注:本文为ForesightNews对StarkWare联创及业务负责人的三篇专访汇总文章。

2月5日至6日,StarkWare在以色列特拉维夫举办为期两天的StarkWareSessions2023活动。在活动现场,StarkWare官方团队成员、以太坊基金会研究员以及社区项目团队成员,聚焦StarkNet治理和去中心化进展、StarkNetDeFi、账户抽象、Layer3、EIP-4844和分片、AppChain、zkEVM等热点议题,通过演讲、小组讨论和演示的形式,探讨了以太坊和StarkWare中多个热门主题和赛道的发展状况、构建方式以及潜力。

ForesightNews亲临StarkWare生态顶级盛会现场,并向核心开发者们提出了一些大家都在关注的问题。我们采访了StarkWare联合创始人兼总裁EliBen-Sasson、StarkWare生态负责人LouisGuthmann、StarWare探索负责人AbdelhamidBakhta、Kakarot联合创始人EliasTazartes和Kakarot技术负责人ClémentWalter?以及以太坊基金会研究员DankradFeist。

以下部分针对StarkWare联合创始人兼总裁EliBen-Sasson的采访中,我们可以了解到StarkNet的竞争优势、去中心化程度、未来愿景以及钱包优化细节等。

第一部分:StarkWare联合创始人兼总裁EliBen-Sasson专访

ForesightNews:StarkNet未来的愿景是什么?你希望其成长为一个独立的生态系,还是EVM兼容生态系统的一部分专注于跨链互操作性?

EliBen-Sasson:它肯定会基于以太坊生态开始,但由于StarkNet提供了很强的可扩展性,我认为它将发展成为独立的东西,但其目的还是对以太坊进行扩容。

AI Meta Club(AMC)的治理代币AMC即将上线Gate. io交易所:据官方公告,聚合AI与元宇宙Web3项目的AI Meta Club(AMC)的治理代币AMC将在新加坡时间:7月7日20:00 上线GATE.IO。其代币已在MEXC、Poloniex、CoinTR上交易。

AMC是以AIGC赋能元宇宙Web3项目的DAO平台。先前因以聚合AI工具生成马斯克前女友Grimes明星歌手的说唱而出名。[2023/7/4 22:17:47]

ForesightNews:目前Layer2网络都在蓬勃发展,而StarkNet的特点是什么?

EliBen-Sasson:特点有很多,它有最好的智能合约编程语言、最好的可扩展性以及通过StarkWare发明的分形扩展和Layer3进行进一步扩容的能力。这也是StarkWare在众多Rollup中最先提出的,所以可能这也会带来一定的网络效应。

ForesightNews:你认为StarkNet有怎样的竞争优势来支持Layer3的开发?在StarkNet上进行开发和在其他L2上有何区别?

EliBen-Sasson:StarkWare的不同之处在于它有自己的语言,而不是使用Solidity。许多其他L2是兼容Solidity语言的。StarkWare的编程语言是Cairo。这是一种更新的语言,这意味着在许多方面它更新颖,另外,StarkNet已经有账户抽象功能了,目前已有Visa等机构在使用,并为终端用户带来了更好的UI以及更高的安全性。这只是Cairo语言优势的冰山一角,而这就是我们的竞争优势。?

ForesightNews:作为一种新语言,Cairo为加密货币引入了新的可能性。你是否想吸引新的开发者加入Web3,计划是什么?

EliBen-Sasson:是的,我们正在吸引新的开发者加入Web3,我们正在吸引对只有StarkNet能提供的可扩展性感兴趣的开发者,以及目前还在Web2领域但看到了这个新生态潜力的开发者。StarkWare正在从多个领域吸引开发者,并且生态中也有许多非常重要的帮助开发者加入的组织,如OnlyDust和NodeGuardians,他们正在努力扩展开发者基数。

NFT项目Kanpai Pandas启动KARATE代币空投,拟于5月15日快照:金色财经报道,NFT项目Kanpai Pandas在社交媒体宣布启动KARATE代币空投,据悉Kanpai Pandas总计获得了已分配的12.5亿枚KARATE代币,第一批次空投数量将为2. 亿枚,占比约20%,空投对象是至少持有1枚Kanpai Pandas NFT并参与相关游戏交易的用户,快照时间拟定于5月15日拍摄。[2023/5/11 14:56:36]

ForesightNews:大规模采用是StarkNet的目标之一吗?如何做到这一点?

?EliBen-Sasson:大规模采用当然是StarkNet的目标。区块链是一种可用于社会用例的技术。它需要达到社会网络和社会应用所需的可扩展性。我们尝试做到这一点的方式不是通过宣传,而是通过提供非常实用的开发工具,然后开发者会将StarkWare带向世界各地。?

ForesightNews:StarkNet现在的去中心化程度,特别是在定序器方面是怎样的,当网络增长和规模扩大时,如何保持去中心化?

EliBen-Sasson:这是一个很棒的问题。如果衡量协议和和工具核心开发者数量的话,可以说现在网络在某些方面已经非常去中心化,还有很多其他团队在建设基础设施的重要部分。就定序器的改进而言,我们宣布了验证者和定序器的开源。我们目前正处于寻找将定序器改良并去中心化的协议的研究过程中,一旦确定了要使用的协议,我们将进行实施并将定序器去中心化。

ForesightNews:StarkNet的钱包体验优化备受关注,钱包在哪些方面会进行改进?

EliBen-Sasson:通过帐户抽象,目前已经有了更好的用户体验,同时也有很高的安全性。除了信任智能手机中一些非常标准的安全措施,其他都将通过账户抽象实现。像Cartridge,钱包Argent和Braavos目前处于领先地位。终端用户可以通过更安全的方式使用钱包,这实际上要比之前的区块链使用体验要好。

OpenAI CEO:公司已不用API付费客户数据训练大语言模型:金色财经报道,ChatGPT开发公司OpenAI首席执行官Sam Altman表示,公司已经有一段时间没有使用付费客户的数据来训练人工智能大语言模型了;用户们显然希望我们不要使用他们的数据进行训练,所以我们已经改变了我们的计划,未来我们也不会这样做了。网络记录也显示,今年3月1日,OpenAI悄然更新了其服务条款,不会使用通过其API提交的任何数据来服务改进,包括AI模型训练,除非客户或组织选择加入。但OpenAI的新隐私和数据保护仅适用于使用该公司API服务的客户。[2023/5/6 14:46:49]

ForesightNews:StarkWare已经推出了代币,但还未开始分发,在这方面有什么计划?

EliBen-Sasson:代币相关事宜正在进行中,但是的除了博客文章中的内容没有其他细节可以分享。

第二部分:StarWare探索负责人AbdelhamidBakhta专访

针对StarkWare探索主管AbdelhamidBakhta的采访中,我们可以了解到Kakarot?zkEVM的优势、定位和愿景。

ForesightNews:从技术角度来看,Kakarot?zkEVM和其他zkEVM的主要区别是什么?你能介绍一下Kakarot?zkEVM的优势吗??

AbdelhamidBakhta:KakarotzkEVM的主要优势是,它是用Cairo语言编写的zkEVM,这意味着,通过设计zkEVM已经是可证明的,用Cairo编写的每个程序都是可证明的,我们已经在Cairo实现了EVM的逻辑,也就是zkEVM。

?另外,Cairo非常灵活,例如,其他zkEVM正在为EVM的所有操作码实现定制电路,而构建电路的过程是非常困难和复杂的,而且要花很多时间。用Kakarot我们在两个半月内实现了完整的zkEVM。

NFT平台Luxy在Mumbai testnet部署其测试应用程序:NFT平台Luxy在Mumbai testnet部署其测试应用程序,这将是LUXY市场在主网上部署后如何运作的预览。[2021/8/3 1:31:44]

?ForesightNews:创建KakarotzkEVM的初衷是什么?KakarotzkEVM在StarkWare生态系统中的定位又是什么?

?AbdelhamidBakhta:Kakarot最初的想法就是展示Cairo的力量,在StarkWare我们从一开始就决定不与EVM兼容,但我们设计了最好的系统来最大限度地提高证明系统的效率。很明显,当EVM以太坊创建设计时,ZK证明领域没有现在那么先进。因此,EVM并不是为ZK友好而设计的。这意味着EVM的一些设计选择很难被证明。

所以在StarkWare我们构建了StarkNet,StarkNet不兼容EVM,而Kakarot的想法并不是说我们需要StarkNet上的EVM兼容性,这不是最初的目的,最初的目的是展示Cairo的强大,可以用它构建非常复杂的东西

ForesightNews:KakarotzkEVM的最终版本会是什么样子?这将为StarkWare生态系统带来哪些价值赋能或优化?KakarotzkEVM又有哪些新功能??

AbdelhamidBakhta:Kakarot的最终版本可能是StarkNet上的Layer3。StarkNet上Layer3可以有完全的灵活性,你可以有你自己的链,你可以定义你自己的规则,你可以进行优化,而在StarkNetLayer2,你依赖于StarkNet协议,这意味着你会有一些限制。因此,Kakarot的最终目

标可能是一个完全灵活性的Layer3,Kakarot链生成证明,然后提交并在StarkNetLayer2中构建。?

ForesightNews:KakarotzkEVM未来会有融资计划吗?

火币全球站现已恢复RAI(RAI Finance)充币和提币业务:官方消息,RAI钱包升级已完成,火币全球站现已恢复RAI(RAI Finance)的充币和提币业务。[2021/7/7 0:32:51]

?AbdelhamidBakhta:我们在StarkWare上创建了这个项目,但现在它变成了一个由社区驱动的项目,来自社区的Kakarot核心贡献者正在创建一家公司,他们将通过VC进行融资,目前现在正在讨论这个问题。

第三部分:StarkWare生态负责人LouisGuthmann

针对StarkWare生态负责人LouisGuthmann的采访中,我们可以了解到StarkWare的Layer3计划、StarkNet的更新进展、StarkWare生态系统开发者增长等情况。

ForesightNews:StarkWare是否计划进一步研发Layer3呢,如果有的话,未来发展方向是什么?什么样的应用适合Layer3?

LouisGuthmann:关于StarkWare和Layer3,简单来说是我们提出了Layer3。StarkWare的Eli的一篇博客文章第一次提出了Layer3的概念,并引起公开讨论。所以,我们确实有非常明确的围绕L3发展的计划,但仍在讨论当中。譬如,它们该如何具体化,未来会是什么样子,又将解决什么样的问题。

现在有许多公司和项目向我们提出关于L3的问题,比如Kakarot、Rádius、Slush以及其他各种项目都对此感兴趣。用例也相当多,如果你要切换应用链,那么L3就是最佳选择。目前,StartEx、Sorare、ImmutableX、DiversiFi、dYdX、Apex已经支持应用链,它们都是非常专门的应用链。我们的想法是,在某个时候让它们迁移到StarkNetLayer3,因为它更便宜。任何需要保证吞吐量并且不需要可组合性的应用程序就是我们所需要的。

ForesightNews:Cairo未来的升级计划是什么,它能为StarkWare生态系统带来哪些新的价值吗?你对完整版的Cairo有什么期望?哪些垂直领域将从中受益和发展呢?

LouisGuthmann:StarkNet现在正进行三个主要更新。从Cairo0过渡到我们称之为casm-CairoAssembly的Cairo1,再过渡到更新的Cairo版本。这是第一步,版本更新可以添加Sierra。Sierra是强制性的中间步骤,一个安全的中间表示层,也是StarkNet的基础。譬如,我们可以通过Sierra证明公平交易,更好地应对网络上的DDoS攻击。因此,有Cairo1这个语言和Sierra这个工具,网络可以实现去中心化。

Sierra也能够从逻辑上把证明意义和执行意义分离。因此,当谈到StarkNet时,人们不理解的是最大的障碍不是证明者。证明很容易,复杂的是执行。对Solana或以太坊来说这是很简单的,但对我们来说却更难。因为我们的虚拟机在执行时比较慢,它是用来证明而不是执行的。所以Sierra中间步骤可以确保在证明和执行时都能有一个好的目标环境。所以需要理解StarkNet,它不是一个验证者、排序者和证明者的网络,而是一个排序器的网络和一个证明者的外部网络。有时它们会同步发生,有时不会。

如果你现在看Cairo0,可能看起来有点像C语言,它非常原始。所有的东西都是相互关联的,在某种意义上,你需要了解之后发生了什么,才能写出优化过的程序。而Cairo1看起来像Rust语言,具有使用高级语言的所有优点。因此,Eli之前说的想法在今天也是正确的——Cairo是最好的证明语言,并且会成为最好的语言,因为我们在Cairo的所有新功能中都有不错的开发经验。最后,Sierra这些构建区块也将被整合到我们的网络中,以便之后进行Regenesis,我们将从Cairo1的所有优点受益。

总结一下,有三件事是与Cairo一起同步发展的,Cairo语言将类似于Rust语言,我相信它将是最好的语言,然后我们有能够抵抗DDoS攻击的Sierra,并将进一步执行Regenesis。Sierra还能解决我们现在最大的瓶颈排序器问题,并实现所有我们需要的吞吐量。

ForesightNews:什么时候可以用Cairo来编写可证明的程序,比如Layer3应用程序?

LouisGuthmann:之后YearnFinance将介绍如何使用Cairo来对它们的投票进行可证明的再平衡。因此,当前就已经可以用StarkNet来编写,可以用SNARK的递归来编写,大量的解决方案也正在研究中。

ForesightNews:你觉得如何建立一个繁荣的zkRollup生态系统,又是什么让StarkWare成为一个强大的生态系统?

LouisGuthmann:我们从一开始就认为,生态系统的建立或应用不是金钱可以解决的问题,而是要建立真实联系、付出辛劳,以及你发自内心地想要帮助开发者获得成功。因此,如果你来到StarkWare,会发现绝大多数人的一个共同点就是拥有好奇心,愿意尝试新鲜事物,而不仅仅是复制Uniswap。所以StarkNet有一个口号——让StarkNet最特别。这有点陈词滥调,但只要做一些无用但很酷的产品,就会有惊喜,大多数时候无用即有用。

ForesightNews:StarkNet生态系统有哪些特别感兴趣去建设的用例或垂直领域值得去关注呢?譬如,DeFi、游戏或社交?开发者能从生态系统中得到什么支持?

LouisGuthmann:没有,垂直领域的人不会做一些随机的事情,他们特立独行,这实际上是StarkNet上游戏生态系统蓬勃发展的原因,因为这真的很特别。尝试新事物是一件很酷的事情。确切地说,你可以获得自下而上的有机增长,所以我们的支持很少。我唯一能告诉他们的是,你可以在任何时候联系我,我会帮助你,我会尽最大的努力让你接触到正确的人,邀请你参加他们的活动。我是你的朋友。

ForesightNews:StarkWare生态系统目前有多少名开发者,又将如何吸引更多的开发者呢?

LouisGuthmann:根据ElectricCapital开发者报告,StarkNet全职开发者是Aptos和Sui的两倍,算上兼职开发者可能有三倍之多。我注意到大约有123名活跃在社区的开发者聚集在黑客之家,这不是由StarkWare组织的,而是由一家做开源资助的公司OnlyDust组织的。我认为委员会现在有300-400名活跃的开发者,开发者报告中的数据是376人。同时,我们生态中的开发者数量增速最快,几乎可与BNBChain生态相媲美。

ForesightNews:StarkWare生态系统上有许多原生项目,你们将如何吸引其他区块链或网络上的项目扩展或迁移到StarkWare?

LouisGuthmann:我们之前与Maker和Aave合作了几次,现在我们将花更多精力推动这件事。因为Cairo0是很难的,你只需要招募那些有能力学习Cairo0并且能熟练使用它的人。我去年在Denver说过,StarkNet开发者得去喜欢琢磨困难的事物。困难的时候往往会有有趣的事情发生,因为每个人都有精力和激情,这正是他们留下来的原因。

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

区块博客

[0:15ms0-10:315ms