从官方视角理解Layer2明星项目StarkWare
StarkNet 全职开发者是 Aptos 和 Sui 的两倍,算上兼职开发者可能有三倍之多。
![Peng SUN](/wp-content/themes/zhtcw/assets/images/logo-icon.png)
编译&整理:Peng SUN,Foresight News
采访:Rose,Kernel Ventures
注:本文为Foresight News对StarkWare联创及业务负责人的三篇专访汇总文章。
2 月 5 日至 6 日,StarkWare 在以色列特拉维夫举办为期两天的 StarkWare Sessions 2023 活动。在活动现场,StarkWare 官方团队成员、以太坊基金会研究员以及社区项目团队成员,聚焦 StarkNet 治理和去中心化进展、StarkNet DeFi、账户抽象、Layer3、EIP-4844 和分片、AppChain、zkEVM 等热点议题,通过演讲、小组讨论和演示的形式,探讨了以太坊和 StarkWare 中多个热门主题和赛道的发展状况、构建方式以及潜力。
Foresight News 亲临 StarkWare 生态顶级盛会现场,并向核心开发者们提出了一些大家都在关注的问题。我们采访了 StarkWare 联合创始人兼总裁 Eli Ben-Sasson、StarkWare 生态负责人 Louis Guthmann、StarWare 探索负责人 Abdelhamid Bakhta、Kakarot 联合创始人 Elias Tazartes 和 Kakarot 技术负责人 Clément Walter以及以太坊基金会研究员 Dankrad Feist。
以下部分针对 StarkWare 联合创始人兼总裁 Eli Ben-Sasson 的采访中,我们可以了解到 StarkNet 的竞争优势、去中心化程度、未来愿景以及钱包优化细节等。
第一部分:StarkWare 联合创始人兼总裁 Eli Ben-Sasson专访
Foresight News:StarkNet 未来的愿景是什么?你希望其成长为一个独立的生态系,还是 EVM 兼容生态系统的一部分专注于跨链互操作性?
Eli Ben-Sasson:它肯定会基于以太坊生态开始,但由于 StarkNet 提供了很强的可扩展性,我认为它将发展成为独立的东西,但其目的还是对以太坊进行扩容。
Foresight News:目前 Layer 2 网络都在蓬勃发展,而 StarkNet 的特点是什么?
Eli Ben-Sasson:特点有很多,它有最好的智能合约编程语言、最好的可扩展性以及通过 StarkWare 发明的分形扩展(Fractal Scaling)和 Layer3 进行进一步扩容的能力。这也是 StarkWare 在众多 Rollup 中最先提出的,所以可能这也会带来一定的网络效应。
Foresight News:你认为 StarkNet 有怎样的竞争优势来支持 Layer 3 的开发?在 StarkNet 上进行开发和在其他 L2 上有何区别?
Eli Ben-Sasson:StarkWare 的不同之处在于它有自己的语言,而不是使用 Solidity。许多其他 L2 是兼容 Solidity 语言的。StarkWare 的编程语言是 Cairo。这是一种更新的语言,这意味着在许多方面它更新颖,另外,StarkNet 已经有账户抽象功能了,目前已有 Visa 等机构在使用,并为终端用户带来了更好的 UI 以及更高的安全性。这只是 Cairo 语言优势的冰山一角,而这就是我们的竞争优势。
Foresight News:作为一种新语言,Cairo 为加密货币引入了新的可能性。你是否想吸引新的开发者加入 Web3,计划是什么?
Eli Ben-Sasson:是的,我们正在吸引新的开发者加入 Web3,我们正在吸引对只有 StarkNet 能提供的可扩展性感兴趣的开发者,以及目前还在 Web2 领域但看到了这个新生态潜力的开发者。StarkWare 正在从多个领域吸引开发者,并且生态中也有许多非常重要的帮助开发者加入的组织,如 Only Dust 和 Node Guardians,他们正在努力扩展开发者基数。
Foresight News:大规模采用是 StarkNet 的目标之一吗?如何做到这一点?
Eli Ben-Sasson:大规模采用当然是 StarkNet 的目标。区块链是一种可用于社会用例的技术。它需要达到社会网络和社会应用所需的可扩展性。我们尝试做到这一点的方式不是通过宣传,而是通过提供非常实用的开发工具,然后开发者会将 StarkWare 带向世界各地。
Foresight News:StarkNet 现在的去中心化程度,特别是在定序器方面是怎样的,当网络增长和规模扩大时,如何保持去中心化?
Eli Ben-Sasson:这是一个很棒的问题。如果衡量协议和和工具核心开发者数量的话,可以说现在网络在某些方面已经非常去中心化,还有很多其他团队在建设基础设施的重要部分。就定序器的改进而言,我们宣布了验证者和定序器的开源。我们目前正处于寻找将定序器改良并去中心化的协议的研究过程中,一旦确定了要使用的协议,我们将进行实施并将定序器去中心化。
Foresight News:StarkNet 的钱包体验优化备受关注,钱包在哪些方面会进行改进?
Eli Ben-Sasson:通过帐户抽象,目前已经有了更好的用户体验,同时也有很高的安全性。除了信任智能手机中一些非常标准的安全措施,其他都将通过账户抽象实现。像 Cartridge,钱包 Argent 和 Braavos 目前处于领先地位。终端用户可以通过更安全的方式使用钱包,这实际上要比之前的区块链使用体验要好。
Foresight News:StarkWare 已经推出了代币(StarkNet),但还未开始分发,在这方面有什么计划?
Eli Ben-Sasson:代币相关事宜正在进行中,但是的除了博客文章中的内容没有其他细节可以分享。
第二部分:StarWare 探索负责人 Abdelhamid Bakhta专访
针对 StarkWare 探索主管 Abdelhamid Bakhta 的采访中,我们可以了解到 KakarotzkEVM 的优势、定位和愿景。
Foresight News:从技术角度来看,KakarotzkEVM 和其他 zkEVM 的主要区别是什么?你能介绍一下 KakarotzkEVM 的优势吗?
Abdelhamid Bakhta:Kakarot zkEVM 的主要优势是,它是用 Cairo 语言编写的 zkEVM,这意味着, 通过设计 zkEVM 已经是可证明的,用 Cairo 编写的每个程序都是可证明的,我们已经在 Cairo 实现了 EVM 的逻辑,也就是 zkEVM。
另外,Cairo 非常灵活,例如,其他 zkEVM 正在为 EVM 的所有操作码实现定制电路(circuits),而构建电路的过程是非常困难和复杂的,而且要花很多时间。用 Kakarot 我们在两个半月内实现了完整的 zkEVM。
Foresight News:创建 Kakarot zkEVM 的初衷是什么?Kakarot zkEVM 在 StarkWare 生态系统中的定位又是什么?
Abdelhamid Bakhta:Kakarot 最初的想法就是展示 Cairo 的力量,在 StarkWare 我们从一开始就决定不与 EVM 兼容,但我们设计了最好的系统来最大限度地提高证明系统的效率。很明显,当 EVM 以太坊创建设计时,ZK 证明领域没有现在那么先进。因此,EVM 并不是为 ZK 友好而设计的。这意味着 EVM 的一些设计选择很难被证明 。
关于【从官方视角理解Layer2明星项目StarkWare】的延伸阅读
Coin Metrics:分析以太坊 Blob 与 EIP-4844 的影响
自3月13日起,多个Layer-2解决方案采用blob交易,超过950,000个blob已发布到以太坊,降低了操作成本。EIP-4844升级提高了L2的可伸缩性和降低交易成本,每天约有10,000个blob发布。blob被设计为18天后过期,防止永久存储膨胀。随着rollups使用blob发布大量数据,blob空间利用率将增加。blob费用根据需求动态调整,4月份因铭文blob激增而增加,但随后又降低。Blob的采用是EIP-4844降低数据存储开销和增强L2可伸缩性的积极信号。然而,跨资产、流动性和用户体验碎片化等挑战仍需解决。随着更多L2利用blob,拥塞可能会再次出现。
Stacks Nakamoto 升级,BTC生态的文艺复兴
Stacks是一个跨链共识区块链,旨在将智能合约功能移植到比特币网络中。其共识机制为转移证明,通过燃烧比特币来参与挖矿。Stacks 2.0主网已推出,获得美国证券交易委员会批准的代币销售。Stacks 3.0升级解决了安全性、性能和可扩展性等问题,引入签名者角色,提高链的可扩展性。Nakamoto升级解决了MEV问题,提高了挖矿过程的公平性和稳定性。升级将在4月22日开始,提高Stacks区块链的透明度和信任度。
所以在 StarkWare 我们构建了 StarkNet, StarkNet 不兼容 EVM,而 Kakarot 的想法并不是说我们需要 StarkNet 上的 EVM 兼容性,这不是最初的目的,最初的目的是展示 Cairo 的强大,可以用它构建非常复杂的东西
Foresight News:Kakarot zkEVM 的最终版本会是什么样子?这将为 StarkWare 生态系统带来哪些价值赋能或优化?Kakarot zkEVM 又有哪些新功能?
Abdelhamid Bakhta:Kakarot 的最终版本可能是 StarkNet 上的 Layer3。StarkNet 上 Layer3 可以有完全的灵活性,你可以有你自己的链,你可以定义你自己的规则,你可以进行优化,而在 StarkNet Layer2,你依赖于 StarkNet 协议,这意味着你会有一些限制。因此,Kakarot 的最终目
标可能是一个完全灵活性的 Layer3,Kakarot 链生成证明,然后提交并在 StarkNet Layer2 中构建。
Foresight News:Kakarot zkEVM 未来会有融资计划吗?
Abdelhamid Bakhta:我们在 StarkWare 上创建了这个项目,但现在它变成了一个由社区驱动的项目,来自社区的 Kakarot 核心贡献者正在创建一家公司,他们将通过 VC 进行融资,目前现在正在讨论这个问题。
第三部分:StarkWare 生态负责人 Louis Guthmann
针对 StarkWare 生态负责人 Louis Guthmann 的采访中,我们可以了解到 StarkWare 的 Layer3 计划、 StarkNet 的更新进展、StarkWare 生态系统开发者增长等情况。
Foresight News:StarkWare 是否计划进一步研发 Layer3 呢,如果有的话,未来发展方向是什么?什么样的应用适合 Layer 3 ?
Louis Guthmann:关于 StarkWare 和 Layer 3,简单来说是我们提出了 Layer3。StarkWare 的 Eli 的一篇博客文章第一次提出了 Layer 3 的概念,并引起公开讨论。所以,我们确实有非常明确的围绕 L3 发展的计划,但仍在讨论当中。譬如,它们该如何具体化,未来会是什么样子,又将解决什么样的问题。
现在有许多公司和项目向我们提出关于 L3 的问题,比如 Kakarot、Rádius、Slush 以及其他各种项目都对此感兴趣。用例也相当多,如果你要切换应用链,那么 L3 就是最佳选择。目前,StartEx、Sorare、ImmutableX、DiversiFi、dYdX、Apex 已经支持应用链,它们都是非常专门的应用链。我们的想法是,在某个时候让它们迁移到 StarkNet Layer 3,因为它更便宜。任何需要保证吞吐量并且不需要可组合性(因为这是一个支付系统、游戏与隐私解决方案)的应用程序就是我们所需要的。
Foresight News:Cairo 未来的升级计划是什么,它能为 StarkWare 生态系统带来哪些新的价值吗?你对完整版的 Cairo 有什么期望?哪些垂直领域将从中受益和发展呢?
Louis Guthmann:StarkNet 现在正进行三个主要更新。从 Cairo 0 过渡到我们称之为 casm - Cairo Assembly 的 Cairo 1,再过渡到更新的 Cairo 版本。这是第一步,版本更新可以添加 Sierra。Sierra 是强制性的中间步骤,一个安全的中间表示层,也是 StarkNet 的基础。譬如,我们可以通过 Sierra 证明公平交易,更好地应对网络上的 DDoS 攻击。因此,有 Cairo 1 这个语言和 Sierra 这个工具,网络可以实现去中心化。
Sierra 也能够从逻辑上把证明意义和执行意义分离。因此,当谈到 StarkNet 时,人们不理解的是最大的障碍不是证明者。证明很容易,复杂的是执行。对 Solana 或以太坊来说这是很简单的,但对我们来说却更难。因为我们的虚拟机在执行时比较慢,它是用来证明而不是执行的。所以 Sierra 中间步骤可以确保在证明和执行时都能有一个好的目标环境。所以需要理解 StarkNet,它不是一个验证者、排序者和证明者的网络,而是一个排序器的网络和一个证明者的外部网络。有时它们会同步发生,有时不会。
如果你现在看 Cairo 0,可能看起来有点像 C 语言,它非常原始。所有的东西都是相互关联的,在某种意义上,你需要了解之后发生了什么,才能写出优化过的程序。而 Cairo 1 看起来像 Rust 语言,具有使用高级语言的所有优点。因此,Eli 之前说的想法在今天也是正确的 —— Cairo 是最好的证明语言,并且会成为最好的语言,因为我们在 Cairo 的所有新功能中都有不错的开发经验。最后,Sierra 这些构建区块也将被整合到我们的网络中,以便之后进行 Regenesis,我们将从 Cairo 1 的所有优点受益。
总结一下,有三件事是与 Cairo 一起同步发展的,Cairo 语言将类似于 Rust 语言,我相信它将是最好的语言,然后我们有能够抵抗 DDoS 攻击的 Sierra,并将进一步执行 Regenesis。Sierra 还能解决我们现在最大的瓶颈排序器问题,并实现所有我们需要的吞吐量。
Foresight News:什么时候可以用 Cairo 来编写可证明的程序,比如 Layer 3 应用程序?
Louis Guthmann:之后 Yearn Finance 将介绍如何使用 Cairo 来对它们的投票进行可证明的再平衡。因此,当前就已经可以用 StarkNet 来编写,可以用 SNARK 的递归来编写,大量的解决方案也正在研究中。
Foresight News:你觉得如何建立一个繁荣的 zkRollup 生态系统,又是什么让 StarkWare 成为一个强大的生态系统?
Louis Guthmann:我们从一开始就认为,生态系统的建立或应用不是金钱可以解决的问题,而是要建立真实联系、付出辛劳,以及你发自内心地想要帮助开发者获得成功。因此,如果你来到 StarkWare,会发现绝大多数人的一个共同点就是拥有好奇心,愿意尝试新鲜事物,而不仅仅是复制 Uniswap。所以 StarkNet 有一个口号——让 StarkNet 最特别。这有点陈词滥调,但只要做一些无用但很酷的产品,就会有惊喜,大多数时候无用即有用。
Foresight News:StarkNet 生态系统有哪些特别感兴趣去建设的用例或垂直领域值得去关注呢?譬如,DeFi、游戏或社交?开发者能从生态系统中得到什么支持?
Louis Guthmann:没有,垂直领域的人不会做一些随机的事情,他们特立独行,这实际上是 StarkNet 上游戏生态系统蓬勃发展的原因,因为这真的很特别。尝试新事物是一件很酷的事情。确切地说,你可以获得自下而上的有机增长,所以我们的支持很少。我唯一能告诉他们的是,你可以在任何时候联系我,我会帮助你,我会尽最大的努力让你接触到正确的人,邀请你参加他们的活动。我是你的朋友。
Foresight News:StarkWare 生态系统目前有多少名开发者, 又将如何吸引更多的开发者呢?
Louis Guthmann:根据 Electric Capital 开发者报告,StarkNet 全职开发者是 Aptos 和 Sui 的两倍,算上兼职开发者可能有三倍之多。我注意到大约有 123 名活跃在社区的开发者聚集在黑客之家,这不是由 StarkWare 组织的,而是由一家做开源资助的公司 Only Dust 组织的。我认为委员会现在有 300-400 名活跃的开发者,开发者报告中的数据是 376 人。同时,我们生态中的开发者数量增速最快(报告显示 1 年来增长了 214%,2 年来增长了 2220%),几乎可与 BNB Chain 生态相媲美。
Foresight News:StarkWare 生态系统上有许多原生项目,你们将如何吸引其他区块链或网络上的项目扩展或迁移到 StarkWare?
Louis Guthmann:我们之前与 Maker 和 Aave 合作了几次,现在我们将花更多精力推动这件事。因为 Cairo 0 是很难的,你只需要招募那些有能力学习 Cairo 0 并且能熟练使用它的人。我去年在 Denver 说过,StarkNet 开发者得去喜欢琢磨困难的事物。困难的时候往往会有有趣的事情发生,因为每个人都有精力和激情,这正是他们留下来的原因。
免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:Peng SUN,如有侵权请联系删除。转载或引用请注明文章出处!