注：本文为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 的采访中，我们可以了解到 Kakarot zkEVM 的优势、定位和愿景。 Foresight News：从技术角度来看，Kakarot zkEVM 和其他 zkEVM 的主要区别是什么？你能介绍一下 Kakarot zkEVM 的优势吗? 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 的一些设计选择很难被证明 。 所以在 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 开发者得去喜欢琢磨困难的事物。困难的时候往往会有有趣的事情发生，因为每个人都有精力和激情，这正是他们留下来的原因。