以太坊的出现彻底改变了加密世界，为去中心化应用程序（dApp）带来了多种可能性。然而，这一进步也带来了一个至关重要的难题：如何在安全性、去中心化和可扩展性之间取得平衡，且不在其中任何一方面做出妥协？

在这种复杂的背景下，L2 解决方案应运而生，它既能解决可扩展性问题，又能利用以太坊的安全性和去中心化。Vitalik Buterin 本人认为，在这些解决方案中，zk-Rollup 最有前途。然而，由于以太坊最初的设计并不支持 ZK 证明，因此要将 zkEVM 作为 L2 来构建，就必须在与以太坊虚拟机（EVM）的兼容性和性能之间找到折衷方案。大多数 L2 解决方案都优先考虑兼容性，而 Starknet 则脱颖而出，专注于性能，以牺牲兼容性为代价，实现性能最大化。

在这种不断变化的格局中，Kakarot 提出创新的解决方案，成为 Starknet 的超优化 zkVM 与 EVM 兼容性之间的桥梁。本文探讨了单片区块链的局限性向模块化架构的过渡，并深入分析了 Kakarot 如何将自身定位为实现兼容性与性能平衡的催化剂，将 EVM 的网络效应带入 Starknet 的 ZK 超优化世界。

本文将通过以下几个方面来介绍 Kakarot ：

一、问题：

1. 单片区块链的局限性

2. Rollup 和 ZK

二、解决方案：

1. Kakarot 简介

2. Kakarot 的优势

3. Kakarot 的历史

三、功能：

1. Kakarot 目前的运作方式

2. 技术特点

四、团队和资金：

1. 团队构成

2. 资金和投资者

五、路线图：

1. Kakarot 的发展阶段

2. 加强 Starknet 生态系统

3. 证明以太坊层和其他 EVM 链

一、问题：

1.1 单片区块链的局限性

以太坊于 2015 年 7 月 30 日通过 ICO 推出，募集资金超过 800 万美元。其他项目专注于支付和转账等特定功能，而以太坊则被设计为能够处理各种应用的通用区块链技术。它的主要目标是让开发者能够创建各种类型的 dApp，以满足用户的需求，同时在一个安全和去中心化的环境中运行。事实证明，这种方法非常成功。

最初，以太坊的目标是覆盖区块链的所有方面，包括结算、共识、执行和数据可用性。然而，很快人们就发现，这种单一的方法并不能同时有效地解决安全性、去中心化和可扩展性方面的挑战。2017 年出现的 CryptoKitties 和 2021 年的 DeFi 热潮就证明了这一点，当时一笔简单交易的成本可达数百美元。虽然这表明对 Web 3 的需求不断增长，但从长远来看，尤其是对小用户来说，这并不可持续。

这个问题被称为「区块链不可能三角」，突出了去中心化、可扩展性和安全性之间的内在权衡。三者不可能同时实现，必须牺牲一个要素才能完全满足其他两个要素。

为了解决这个问题，以太坊采用了模块化方法，以太坊作为结算层，确保安全性和去中心化，而L2（建立在以太坊之上）则为用户带来可扩展性。尽管模块化的程度会有所不同，尤其是新的数据可用性解决方案，如 Celestia、Avail 或 Eigen Layer，但以下解决方案模块化程度提供了最高的安全性，也是目前使用最广泛的：

• 以太坊：处理数据可用性、共识和结算

• L2 ：侧重于执行

作为提醒，以下是对每个组件的细分：

• 执行：处理和执行交易

• 结算：就商定的状态达成共识

• 共识：商定信息和交易的顺序

• 数据有效性：确保所有数据的发布、可见性和可访问性

在现有的各种 L2 解决方案（侧链、状态通道、Plasma 和 Rollup）中，Rollup 是最普遍、最有潜力的选择。简单地说，Rollup 涉及在 L2 上执行多个交易，对它们进行批处理，然后在以太坊上的单个交易中仅发送这些交易中的必要信息。在这一类别中，ZK Rollup 与 Optimistic Rollup 相比具有多项优势。事实上，为了保持长期可持续性，Optimistic Rollup 很可能需要过渡到有效性证明或 ZK Rollup。

来源

1.2 Rollup 和 ZK

如果您想了解有关 ZK 为何优于 Optimistic Rollup 的更多详细信息，我建议您阅读文章《Starknet 第 1 部分：L2 全景分析》，第二节 B 和 C 部分。

综上所述，就连 Vitalik 本人也认为 ZK 是比 Optimistic Rollup 更好的长期解决方案。

我认为，从长远来看，ZK-Rollup 最终会击败 Optimistic Rollup，因为它们具有基本优势，比如用户无需等待七天即可提款。（来源）

总的来说，我个人的观点是，在短期内，Optimistic Rollup 可能会在通用的 EVM 计算中胜出，而 ZK-Rollup 可能会在简单的支付、兑换和其他特定应用案例中胜出，但从中长期来看，随着 ZK-SNARK 技术的改进，ZK-Rollup 将在所有应用案例中胜出。（来源）

目前，实现 Optimistic Rollup 的结构比 ZK Rollup 容易，而且它们与 EVM 没有任何兼容性问题。因此，构建 ZK Rollup 更费时，也更具挑战性。不过，ZK Rollup 与 Optimistic Rollup 相比有几个优势：

• ZK Rollup 更安全，因为它们是基于数学的，而 Optimistic Rollup 则依赖于至少一个网络参与者的诚实。

• ZK Rollup 没有争议期，因此提款时间非常短。另一方面，Optimistic Rollup 需要 7 天左右的提款期（期限越短，网络安全性越低）。

此外，Optimistic Rollup 的优势只是短期：

• 易于构建： 随着时间的推移，ZK 领域的研究和发现会越来越多，ZK Rollup 的构建难度也会越来越低。此外，ZK-Rollup 服务（ZK-Rollup-as-a-service）解决方案已经开发出来，只需点击几下，就能轻松部署 ZK-Rollup。

• 与 EVM 轻松兼容：zkEVM 目前正在努力实现与 EVM 的兼容。

• 以太坊路线图：旨在提高 zk-Rollup 的效率。

这些解决方案目前面临的主要挑战在于，EVM 的设计并不支持 ZK 证明。因此，EVM 环境中的 ZK 证明并不理想，ZK 项目团队必须解决兼容性问题：

• 它们可以牺牲性能来优化兼容性。

• 或者牺牲兼容性来优化性能。

zkEVM（尤其是那些以第一类和第二类为目标的开发者）选择了兼容性，而 Starknet 则优先考虑性能。

折衷的结果是，Starknet 上的开发人员必须学习一种名为 Cairo 的全新编程语言，这种语言针对 ZK 证明进行了优化。这给习惯于使用 EVM 的开发人员带来障碍：

• 他们可能没有时间或动力去学习一门新语言。

• 项目可能不具备以两种不同语言重写和维护代码所需的财力或人力资源。

有些团队确实需要使用 Solidity。例如，如果有人为以太坊生态系统编写了一个 DEX 或 AMM，现在已经有 60,000 行代码经过审核，随时可以使用，但它只能在 EVM 链上使用。如果这些开发人员想开始使用 Starknet，他们就必须雇用一个全新的开发团队，编写代码，重新审计代码，并维护两个代码库，Tazartes 认为这 "成本高得令人望而却步"。（来源）

总而言之：

EVM 允许从以太坊网络效应（用户、工具、软件、dApp......）中获益，但它并未针对 ZK 进行优化。

Cairo 针对 ZK 进行了优化，但缺乏 EVM 的网络效应。

有没有可能将两者的优点结合起来？

有可能，而这正是 Kakarot 目前正在构建的。🥕

二、解决方案：

2.1 Kakarot 简介

Kakarot zkEVM 是用 Cairo 语言编写的 EVM 实现。Cairo 是一种可生成执行轨迹的编程语言，可用于生成 Stark 证明。因此，Kakarot 允许开发可证明的 EVM 应用程序。

通过将 EVM 兼容性与 Starknet 生态系统相结合，Kakarot 实现了两全其美：用户和开发人员既能从 Starknet 的发展和创新中受益，又能在 EVM 环境中运行。

Kakarot 团队的核心观点是 Cairo 是 ZK 技术的最佳工具，未来仍将是该领域的首选。与此同时，EVM 将继续占据主导地位。Kakarot 是两者之间的桥梁，使开发者能够在 Starknet 和其他基于 CairoVM 的链上创建 EVM 智能合约。

支持这一愿景的主要原因如下：

• Cairo 简化了在这些环境中构建 ZK 应用程序的过程。

• Cairo 已投产数年，表现出了很高的性能。自 2018 年推出以来，没有出现过任何安全问题，StarkEx 已成功执行了价值超过一万亿美元的交易。

• Cairo 能够通过 STARK 证明创建可证明的 dApp，与 SNARK 证明相比，STARK 证明具有众多优势。

Kakarot 旨在为 EVM 生态系统带来所有这些优势，同时利用 EVM 的网络效应来加强所有基于 CairoVM 的生态系统。

2.2 Kakarot 的优势

Kakarot 是 2.5 类 zkEVM（当第 9 次预编译实现时），其目标是最终成为第一类。这使得用户可以享受 Validity Rollup 的好处，同时保持与以太坊生态系统的兼容性。

通过使用为 ZK 优化的中间语言 Cairo 语言编写其 zkEVM，Kakarot 成为第一个构建在中间 zkVM 上的 zkEVM。这种独特的架构具有一些独有的优势。

第一个优势增强了安全性。得益于 Cairo 编程语言的强大功能，Kakarot 仅用了 10,000 行代码就构建了 zkEVM。这一点非常重要，因为代码越少，合同审核就越容易，出错的可能性也就越小。此外，Kakarot 从一开始就是开源的，任何人都可以验证代码。

我最担心的是，如果 2 年后我们有 100 亿美元的 ZK-rollup，却因为电路约束代码或其周围的 EVM 封装程序中的错误而被黑客攻击。对于后者，请保持简单并进行形式验证。（来源）

在编程方面，简单才是王道。

此外，与其他 ZKEVM 完全依赖 ZK 组件的安全性不同，Kakarot 依赖 StarkWare 的专业知识。通过使用 CairoVM，Kakarot 从 StarkWare 的密码专家进行的审计和安全工作中获益匪浅。

该虚拟机已经证明了其作为 STARK 证明最高效语言的效率。

• StarkEx 及其旗舰 dApp，如 dYdX（从一开始就有，但现在正在迁移到自己的主权链 Cosmos）和 Sorare。

• Starknet，StarkEx 的无许可版本，其 TVL 已超过 1.4 亿美元。

第二点与前一点相关，由于有了 Cairo（默认情况下是可证明的），Kakarot 无需构建电路或多项式。

与其他zkEVM（Scroll、Polygon、zkSync、Linea）不同，Kakarot 是一款从纯软件工程角度构建的 EVM，将 zk 的责任委托给了 Cairo（以及 Starkware 的数百名密码专家），这要归功于 Cairo 的独特用法。

这意味着，其他 zkEVM 必须同时构建 EVM 和可证明部分，而 Kakarot 只专注于 EVM，并将可证明部分委托给 Cairo。这怎么可能呢？因为用 Cairo 编写的程序是可证明的，所以希望利用 ZK 密码学可扩展性特性的开发人员不再需要编写电路。Kakarot 只是一个 zkEVM，它的功能是在可证明虚拟机之上实现 EVM。

得益于这种独特的模块化方法，Kakarot 只用了两个半月就实现了 EVM 操作码。

因此，与其他 ZK 相比，贡献和开发大大简化。此外，与其他团队不同的是，Kakarot 团队目前没有任何密码专家。

「当其他人都在构建自己的语言时，Cairo 简化了我们的开发。我们的代码库更具可读性，没有深厚数学密码学知识的人也可以使用。这种易用性吸引了 50 多名开源贡献者，使我们能够在短短三个月内实现全面升级兼容性」Danilo 解释说**（来源）**

最后，Kakarot 是市场上最灵活的 ZK 解决方案。较小的代码规模使其能够快速适应更新。此外，Kakarot 还具有利用 EVM 和 CairoVM 社区的优化和更新的独特能力。

这意味着 Kakarot 可以从 StarkWare、其社区和 EVM 社区的持续研发工作中获益，并迅速实现这些创新！

2.3 Kakarot 的历史

Kakarot 的故事引人入胜，鼓舞人心。

2022 年 7 月 21 日，Cairo 的共同发明人 Shahar 提出了在 Cairo 编码 zkEVM 的奇怪想法。其目标是在默认情况下创建一个可验证的 EVM。

来源

StarkWare 的探索负责人 Abdel 立即被这个想法吸引住了。他召集了一个开源开发人员团队参与该项目，并发挥了至关重要的催化剂作用。他创建了项目的 GitHub 存储库，并多次召集 Starknet 开源开发者社区。他还为项目取名为 "Kakarot"，意指著名漫画《七龙珠》中的英雄。

2022 年 10 月，该项目势头强劲。在里斯本举行的 「Starknet 黑客之家」活动中，来自 Starknet  社区的约 70 名开发者聚集一堂。在提议的项目中，有一个名为 Kakarot 的项目，一小群开发者联合起来追求其最初的愿景：在 Cairo 对电动汽车运算码进行编码。这些开发人员中就有现在领导 Kakarot 的三人： Elias (CEO)、Clément (CTO) 和 Danilo（生态系统负责人）。

从那时起，这支专门的开源开发团队就开始专注于在 Cairo 实施 EVM 操作码。在短短三个月内，他们就实现了与 EVM 操作码的完全兼容。

🚀 加入尖端黑客马拉松：释放 Starknet 的力量！

🌐 准备好通过我们的在线黑客马拉松深入了解区块链技术的未来，该马拉松专注于 Starknet 革命性的以太坊有效性汇总基础设施。我们号召所有创新者、开发者和区块链爱好者共同探索和构建去中心化技术的最前沿！

💡 无论您是经验丰富的开发人员还是区块链新手，本次黑客马拉松都是协作、创新和创建可以塑造去中心化技术未来的解决方案的完美平台。

🌟 不要错过这个参与开创性事物的机会！立即注册，准备好与 Starknet 一起破解未来！

目标

最有创意、最有趣、最创新的项目将获得最大的回报。在这次黑客马拉松中，黑客们有望探索他们能想到的最奇怪的想法并将其变为现实。

类别

🔍 探索这些开创性的主题：

1. 希罗多德的存储证明：揭示存储证明技术的潜力及其对去信任系统的影响

2. Pragma 的预言机：探索 Pragma 尖端解决方案为您带来的预言机在区块链中的关键作用。

3. Ekubo：使用 Ekubo hooks 创造 DeFi 的未来。

4. Madara，L3 SDK：成为首批探索 Madara、Starknet L3 SDK 的人之一，并突破应用链的界限。

5. ZKML 与 GizaTech 的 Orion 框架：深入研究零知识机器学习的世界，发现 Orion 如何重塑安全和私密计算的格局。

6. Nimbura 的 DeFi 池化：探索异步和 L1 - L2 通信，并将 L1 的最佳特性带回 L2

可交付成果

项目应该有代码并使用上面列举的一种或多种工具。

重要的日子

黑客马拉松将于2023年12月1日开始，2023年12月10日结束。

以太坊通过提供了一种安全且透明的在线交互方式，彻底改变了去中心化应用程序（dApp）领域。然而，早期区块链网络如以太坊所采用的外部拥有账户（EOA）这种基本账户模式对大多数用户而言并不直观。

在最近一篇关于原生账户抽象的文章中，我们深入探讨了 EOA 带来的主要挑战：

• 欠佳的区块链用户体验。

• 「由私钥持有者支配一切」所带来的安全风险。

• 由于 EOA 与以太坊协议紧密绑定，导致的灵活性不足。

为了解决这些问题，我们提出了账户抽象概念。账户抽象重新定义了账户的运作方式，通过可定制的「账户合约」为开发者带来了灵活性。作为智能合约，这些合约应用了账户抽象的三大支柱功能：用于自定义权限的签名抽象、用于多功能支付的费用抽象，以及用于提高便利性的随机数抽象。

要更深入地了解与 EOA 相关的挑战以及 Starknet 是如何克服这些挑战的，请访问《原生账户抽象：为区块链开启新的可能性》。

会话密钥

账户抽象中一个极具潜力的应用是「会话密钥」概念。传统的 dApp 要求用户通过钱包对每笔交易进行单独签名，这在进行多笔交易的会话中尤其不便。账户抽象带来了生成「会话密钥」的创新技术，使 dApp 能够在设定期限内以及特定交易参数（如时间和金额限制）下，代表用户自主签署交易。

会话密钥的应用为 dApp 简化用户交互提供了重要的机遇。无论是频繁交易还是偶尔购买，用户都可以根据自己的具体需求定制会话密钥。这种普适性为区块链技术吸纳了更广泛的用户群体，并在去中心化金融（DeFi）和链上游戏两个关键领域，显著提升了用户体验。

DeFi

在 DeFi 领域，去中心化交易所（DEX）目前的不便之处在于需要在不同阶段分别批准每笔交易。然而，有了会话密钥，我们可以在规避中心化交易所（CEX）缺点的同时，实现同样流畅的体验。例如，用户可以创建一个一小时有效的会话密钥，允许在去中心化交易所进行高达 7000 美元的交易，而无需钱包对每笔交易进行单独确认。这不仅简化了交易流程，而且还有助于打造一个更加用户友好、高效的 DeFi 生态系统。

游戏

目前的链上游戏体验充其量只能用「笨拙」来形容。会话密钥使用户无需处理繁琐的 gas 管理问题或签署多笔交易，提供了类似传统游戏般的流畅体验。这种转变带来了一个更加用户友好的链上游戏环境，将玩家从繁琐的配置和错误中解放出来。玩家可以专注于游戏本身，而不必花更多精力在区块链技术上。

结论

以太坊革新了 dApp 领域，但也遇到了像外部拥有账户（EOAs）这样僵化的账户结构所带来的挑战。引入账户抽象解决了这些问题，为开发者带来了灵活性，并通过可定制的「账户合约」提升了用户体验。

账户抽象中的「会话密钥」可能是其最关键的应用之一，它简化了 DeFi 和链上游戏中的用户交互。在 DeFi 领域中，会话密钥消除了去中心化交易所上对每笔交易单独批准的需求，提供了与中心化交易所类似的用户友好体验。在链上游戏中，会话密钥则简化了用户体验，将玩家从复杂的 gas 费和交易签名中解放出来。探索使用 Starknet 原生账户抽象实现的更多特殊功能，并学习 Cairo 语言来亲自尝试一下吧。

原文：Session Keys: Unlocking Better UX

翻译及校对：「Starknet 中文社区」

转载请注明出处

     我们欢迎各个层次的星网生态系统建设者，从初学者到专家，聚在一起，学习和建设。无论是新手还是经验丰富的开发人员，您都可以在这个黑客之家找到志同道合的人组成的支持社区。

我们期待您的到来，共同构建Starknet生态系统!
细节：

https://starkware.notion.site/Starknet-Hackerhouse-Silicon-Valley-592b3af773624222a48025d09e290f40

Eli Ben Sasson 是以色列理工大学计算机教授，从事理论计算机和形式化验证研究。2018 年与 Uri Kolodny 共同创立 StarkWare。Eli 同时也是 STARK、FRI 和 Zerocash 协议的共同发明人，Zcash 公司的创始科学家。

Zuzalu 是全球首创的快闪式城市社区，位于黑山卢斯蒂卡湾，从 2023 年 3 月至 5 月，Zuzalu 容纳约 200 名核心居民，开展零知识证明、公共物品、合成生物学等方面的活动，共同生活、工作和学习。

感谢 llamacorneth 和 0xblanker 现场带来的精彩采访！

精彩内容：

• StarkWare 的起源

• StarkWare 产品的竞争优势

• Cairo 语言特性

• Starknet 去中心化进展

• 如何看待 Optimism

本文对话经过编辑，以下是翻译后的采访内容。点击观看原视频。

主持：llamacorn 和 Blanker嘉宾：Eli Ben Sasson，StarkWare 联创兼总裁

关于 StarkWare 的起源

采访主持：

「Starknet 中文社区」已成立超一年，在此期间完成了不少工作内容，如文章翻译和组织线下聚会，详情参见「Starknet 中文社区」Twitter。今天很荣幸能邀请到 StarkWare 联合创始人兼执行总裁 EliBen Sasson，欢迎 Eli Ben，请向大家介绍一下自己吧！

EliBen Sasson：

大家好！我叫 EliBen Sasson，是 StarkWare 联合创始人兼执行总裁，我一开始是从事计算机科学理论和研究的，是最早一批探索各种代码实现证明系统的人，也是最早注意到证明系统可以与区块链联系起来的。我和 zCash 联合创始人一起进行研究，参与加密货币领域。

采访主持：

所以 Zooko 也是您的圈内老友吗？他有参与 StarkWare 管理吗？

EliBen Sasson：

没有，Zooko 仍然负责管理 zCash 公司。

关于 StarkWare 产品的竞争优势

采访主持：

近期 StarkEx 交易量将突破一万亿美元，成为以太坊和 StarkWare 当之无愧的先锋，您能向大家简单介绍下 StarkWare 和 StarkEx 的发展历史和背景吗？是通过什么样的契机想到构建这类项目的呢？

EliBen Sasson：

StarkWare 于 2018 年正式成立，共有四位联合创始人，我们都是关系要好的朋友。

我的博士生也是 STARK 共同发明人之一，他不仅是圣何塞的教授，同时也是我在 zCash 的联合创始人。

StarkEx 是我们构想的第一个产品，也是 SATRK 技术和有效性证明在产品中的首次采用。它作为第一个用于服务真实客户的系统，在实用案例中吸引了很多终端用户，例如，ImmutableX、Sorare、dYdX、rhino、Canvas 等。预计在未来一两个月内，StarkEx 累计交易量即将突破一万亿美元大关。

StarkEx 为用户和多个系统铸造了超一亿枚 NFT，是我们非常自豪的系统，为以太坊带来了可扩展性。

采访主持：

纵观 L2 领域，您是如何看待 StarkWare 未来？以及和其他两个项目之间的竞争？

EliBen Sasson：

我认为 StarkWare 最大的竞争优势是拥有高超的技术，并且是第一个投入市场使用的。我们具备专业的开发工具、最佳编程语言。系统完全集成了帐户抽象，为终端用户提供最佳体验。此外，我们的性能也是全面的，支持大规模技术。

所以我认为无论在什么情况下，都能看到 StarkWare 在 L2 领域做出的巨大贡献。

关于 Cairo 语言特性

采访主持：

EliBen，您能向大家仔细介绍下 Cairo 编程语言的技术特点吗？

EliBen Sasson：

Cairo 作为下一代智能合约编程语言，内置了帐户抽象、存储证明等基础组件，可以极大程度上帮助开发者进行构建。Cairo 语言的灵感源自 Rust，所以开发者能较快上手和熟悉 Cairo。在确保开发者不会引入错误方面，Cairo 也是非常安全可靠的。综上所述，Cairo 是一种非常符合开发者需求的新型编程语言，适配于生成有效性 STARK 证明。

采访主持：

您可以分享下观点：为什么 Cairo 语言要优于 zkEVM 或其他语言吗？

EliBen Sasson：

我打个比方，Solidity 的效率并不高，在功能上不如 Python 高效。但如果你想在区块链上做事，还是得使用 Solidity。因为整合到模型里的语言正是 Solidity 而非其它语言。同样，如果你想要高效生成 STARK 证明来用于大规模计算、数以百万计的交易，以及把游戏之类的项目放到链上，这些都是到目前为止还未实现的，为此，你需要更高的效率。与 zkEVM 相比，Cairo 的效率可能提高 10 倍甚至 100 倍。通过转移架构，性能上可能可以提高 100 倍。

采访主持：

StarkEx 和 Starknet 在 Cairo 语言功能中有哪些不同之处？

EliBen Sasson：

StarkEx 同样也是用 Cairo 编写的，它是个专门的系统，可以很好地处理 NFT 铸造和交易，包括转账、交换等操作。

但如果你想使用通用的逻辑，就不能在 StarkEx 上操作。Starknet 作为 L2，具备完整的功能，可以在其中编写任何计算。特别是，它带有一个更安全的 Cairo 版本。也就是 Cairo 1.0，它是一种更安全的开发语言，非常符合编程习惯也非常方便进行编码。

采访主持：

如何吸引更多开发者加入 Starknet 或使用 Cairo 语言？

EliBen Sasson：

这是个过程。我们团队做了很多努力，而且效果不错。有很多文档、教程和工具正在开发或已发布。我本身不是程序员出身，但仍然努力学会了 Cairo。有个叫 Starklings 的 Cairo 学习工具，基于 Rust 语言中的 Rustlings 制作的，它会给你提供需要调试的错误代码。用 Starklings 学习非常有意思，建议开发者们都去试试。以及网络上也有很多其他教程和资料教你如何进入一个生态系统。

Starknet 去中心化发展

采访主持：

然后是关于去中心化方面，Starknet 和 StarkWare 如何实现去中心化？

EliBen Sasson：

我们对这个问题投入了大量的思考和研究。我们已经在社区论坛上发布了几篇关于去中心化的思考文章，现在也越来越接近最终确定去中心化的协议，该协议将会基于一些高度使用和非常安全的共识协议。在排序器和新区块生成以及证明过程方面，我们都将会达到完全去中心化。

采访主持：

您是指去中心化排序器？对运行排序器有任何要求吗？

EliBen Sasson：

任何人都可以运行排序器，但我们还在起步阶段，所以有个单独的运营方，这是开始的基础。未来不到一年的时间，我们可能就会发布去中心化的协议，会是个类似 PoS 的系统。因此，理论上任何拥有足够质押量的人都可以成为排序器。

关于 Optimism 观点和看法

采访主持：

下一个问题，EliBen 您是如何看待 OP Stack？有吸引您的部分吗？会考虑未来涉足这一技术领域吗？

EliBen Sasson：

我挺喜欢他们团队和开发者的，但我认为他们的所作所为很不负责。他们在发布的时候并没有开启安全功能。我之所以要指出这一点，是因为用户把资金都托付给了这个系统，但他们应该要知道欺诈证明并没有开启。打个比方就像，Starknet 没有证明就发布了。但我们绝对不会这么做。这是完全不负责任的行为，非常的危险。

实际上我们也一直在防范像 FTX 和 Luna 这样不好的事情发生。到目前为止，我们系统的安全性还没有受到挑战。

采访主持：

也许不光考虑技术部分，还有代币方面。

现在他们所使用的 OP Stack 可以帮助很多项目参与其生态系统，例如类似 Cosmos IBC 这类的网络链。

EliBen Sasson：

但大家应该要意识到欺诈证明的核心技术，我不清楚它是否完全开发好了，但至少它没有开放出所有的功能。

这就像，给你一辆汽车，我只告诉你这辆车很安全，它有刹车、安全带和安全气囊。但实际上并没有这些东西。所以，显然这辆车并不安全。特别是当我还把这辆车卖给你，宣称它很安全。就像宣称的欺诈证明实际上并没有开启，这是个很大的问题。

而我们绝对不会发布没有证明的 Starknet 版本，我都想像不到那会是什么样的。

采访主持：

目前的证明器由谁运营呢？

EliBen Sasson：

目前证明器是单独的排序器和运营商。但要说明的是，有效性证明系统和 Optimism 系统最大的区别，即使运营商想偷走资金，在 Starknet 上也是不可能的。因为在 L1 上还有验证器合约，你如果没有有效性证明，L1 的状态是不会改变的。运营商无法生成无效状态转换的有效性证明。

而在 Optimism 上，从名字上看也知道，它的工作方式是乐观的。所以任何人都可以提交状态变化，包括欺诈性的。如果有运营商决定把所有资金盗走并提交新状态，那么就应该会有人提出异议，之后进行仲裁。但整个机制并没有开启。因此，没人能阻止黑客控制计算机，提交状态盗走所有资金。

采访主持：

今天的采访就要结束啦！再次感谢 EliBen Sasson 做客并分享了很多重要内容，谢谢您的参与支持，同时也让我们期待 StarkWare 未来开发出更多优秀产品吧！

引言

为了实现以太坊安全且去中心化的扩容，有效性证明 Rollup 使批量交易验证效率大大高于其直接重新执行。特定的节点（被称为排序器）在 L2 将交易打包到新的 L2 区块中，而以太坊主网的节点只需要极少的工作量即可确认这些交易。

Starknet 是一个利用 Cairo VM 的有效性证明 Rollup，专用于优化有效性证明的效率。Starknet 使用 STARKs（可扩展、透明的知识论证）作为其证明系统，能够为复杂的计算生成简洁的证明，从而大大降低链上验证过程的复杂性。

本文将深入探讨使 Starknet 成为 TPS 性能最强的 L2 的不同组件 — Cairo VM、CASM、Cairo Zero、Cairo 和 Sierra。

Cairo VM

为通用计算程序创建有效性证明，需要深入了解 STARKs 背后的复杂数学原理。对于每项计算，构建一个代数中间层表示（AIR）至关重要，它包含了一组多项式约束，能够准确地描述给定的计算。Cairo 最初被称为 「CPU AIR」，是一个虚拟 CPU 和一个单一的 AIR，能够用相同的「通用」 AIR 描述任何计算。Cairo VM 专门为有效性证明系统量身定制，并不受 EVM （以太坊虚拟机）所施加的限制所约束。

CASM

CASM（Cairo 汇编）是 Cairo VM 运行的机器代码。CASM 被转译为多项式约束，强制程序正确执行。CASM 是生态系统的关键组件，因为无论用户向 Starknet 排序器发送什么，被证明的都是 CASM 的正确执行。

Cairo Zero，一项突破

2020 年发布的 Cairo Zero 引入了世界上首个用于创建 STARK 可证明程序的图灵完备语言，彻底改变了可验证的计算方式。Cairo Zero 程序在本地编译为 CASM，然后发送到 Starknet 排序器。尽管 Cairo Zero 具有开创性，但由于 Cairo Zero 的低层级性质，它的学习曲线较为陡峭，并没有完全抽象出证明程序执行所需的底层加密原语。

Cairo：比 Cairo Zero 更强大

Cairo（现为 v2.1.1 版本）突破了 Cairo Zero 的局限性，有望实现更安全、更高效的合约编写。Cairo 采用类 Rust 的语法，并抽象出了 Cairo Zero 中存在的限制（例如，只写一次的内存），大大改善了开发者的体验。

Cairo 引入了 Rust 世界的现代编程概念，如特征/实现、泛型、枚举匹配等，同时无需牺牲底层 CairoVM 带来的证明生成效率。

Sierra

随着 Cairo 的出现，Sierra 也随之而来。Sierra 充当了 Cairo 和 CASM 之间的中间层表示的角色。这个附加层确保用户代码在所有情况下都是可证明的。Sierra 编译为 「安全 CASM」，这是 CASM 的一个子集，可保证所有输入都是可证明的。这个在用户代码和可证明代码之间的中间层至关重要，它可以保护 Starknet 排序器免受因不可证明交易形式出现的 DOS 攻击。

Sierra 的一个令人意外的好处是，由于这种简单的中间层表示的存在，Starknet 的排序器最终可以直接在本地硬件上运行，而无需通过 CairoVM。为了说明执行 Sierra 的排序器的强大功能，请看以下示例：人们可以使用 Sierra 的类型信息来处理本地类型（例如 u32），而无需在 CairoVM 的质数域字段中进行处理。

结论

Cairo 建立在 CairoVM 的基础上，革新了可验证的计算方式。凭借类 Rust 语法和现代编程语言的特性，Cairo 极大地优化了开发者的体验，简化了合约编写，降低了出现错误的几率。Cairo 将成为推动去中心化创新的强大工具。

精选速览

• 非交互式 STARK 源于交互式预言机证明（IOP），在随机预言机模型中编译为非交互式证明。

• 本文解释了 ethSTARK 文档的最新更新，对随机预言机模型中 ethSTARK 协议的安全性进行了全面而具体的分析。

STARK 安全性详解

STARK 证明系统（即可扩展透明知识论证）是计算完整性的强大工具：它允许以无信任的方式验证在公共数据上执行的计算的正确性。在本文中，我们将深入探讨 STARK 证明所提供的安全性，对其进行定义，并探索证明方案安全性的技术。

（详情请阅读 ethSTARK 文档（1.2 版）第 6 节，以及布洛克等人就此主题所做的重要而全面的独立工作）。

我们试图通过安全分析实现什么？我们希望防止对 STARK 系统的「成功攻击」，这种攻击是由虚假陈述以及 STARK 验证器针对该（虚假）陈述而接受的 STARK 证明引起的。由于虚假陈述很危险，并且它们可能以各种规模和形式出现，所以我们希望能安全地防范所有的虚假陈述。任何虚假陈述，哪怕是微不足道的 1+1=3，只要与 STARK 验证器接受的 STARK 证明相结合，就会被视为对系统的成功攻击。（有密码学背景的人可能有兴趣知道，STARK 还能满足更强的安全概念，如*知识可靠性，但为了简单起见，本篇文章将重点讨论关于可靠性的简单案例）。

我们如何正式定义 STARK 系统的安全性？我们通过分析 「可靠性误差」来确定。「可靠性误差」大致衡量了攻击者为成功发起攻击所需花费的预期「成本」（即为一个虚假陈述找到一个 STARK 证明，但该证明却被 STARK 验证器接受）。从数学上讲，可靠性误差是一个函数 (t)，它的输入是时间参数 t，代表攻击者为发起攻击而愿意花费的计算时间，输出则是攻击者攻击成功的概率（为虚假陈述找到令人信服的证明）。攻击者愿意花费的「成本」 t 越大，他的成功概率也就越高。

到目前为止，我们已经将 STARK 的安全性定义为一个函数 (t)，这与大家日常在加密推特上讨论安全性的方式不同。在推特上，你可能会听到这样的说法：「该方案有 96 比特的安全性。」这种说法如何转化为我们对安全性的定义呢？这没有统一的答案，因为人们对 「x 比特安全性」的理解略有不同：

• 严格解释的话，即意味着，对于任何 t 在 1 和 2⁹⁶之间的情况下，可靠性误差为 (t) 2⁹⁶ 。运行时间不超过 2⁹⁶ 的攻击者的成功概率很小，小于 2⁹⁶，即小于十亿分之一乘以十亿分之一。

• 一种更宽松、或许也更常见的解释则是，96 比特的安全性意味着对于任何 t，都存在 t/(t) 2⁹⁶ 的情况。这意味着成功概率与运行时间成（反）线性关系。如果攻击者的运行时间为 2⁸⁶，那么其成功概率最多为 2¹⁰。

在本文中，我们将讨论第二种方案。

从 IOP 到具备 96 比特安全性的 STARK

那么，我们如何证明一个方案具备了 96 比特的安全性呢？为了回答这个问题，我们需要理解构建 STARK 的高层结构。STARK 由三个主要部分组成：IOP（交互式预言机证明）、默克尔树和 Fiat-Shamir 哈希；我们主要关注的重点部分是 IOP。一旦指定了这些组件部分，我们就可以编译它们来生成一个 STARK。我们将详细介绍这些组件，包括它们是什么以及如何将它们组合在一起。

首先我们要审查的组件是 IOP：IOP 类似于标准的交互式证明，在其中证明器和验证器进行多轮交互（我们仅限于公共币协议，即验证器只向证明器发送随机挑战）。在 IOP 中，验证器不会完全读取证明器的消息，而是从每个证明器信息中抽样一小部分比特。这就是后来编译的 STARK 能够实现简洁性的原因。

有了 IOP，如何从中构建 STARK？证明器的信息可能很长（实际上，它们比计算本身还要长）。为了压缩这些信息，我们使用默克尔树。默克尔树是一棵二进制哈希树，其中每个叶节点代表 IOP 中的一个查询或一个回答。树根是整个信息的承诺。当验证器想读取信息中的特定位置时，证明器会提供该位置的值和验证路径。验证器就可以使用该路径来验证该值是否正确。IOP 验证器只从证明器信息中读取少量的位置信息。因此，使用默克尔树可以实现简洁的协议（通信量小的协议）。

压缩轮次

我们可以选择交互式 STARK，但为了简化生成 STARK 的过程，我们通常会选择非交互式 STARK，这样验证器在构建 STARK 时就无需等待外部信息。事实上，这是目前所有 STARK 系统的部署方式，也是 ethSTARK 协议的构建方式。非交互式 STARK 也是透明 SNARK 的一种特例（透明意味着无需可信设置来实例化它们；「Arthur Merlin 协议」或「公共硬币 IOP」）。为此，最后一个步骤是应用 Fiat-Shamir 算法将多轮交互压缩至单一消息，我们称之为 STARK 证明。Fiat-Shamir 变换是将一个交互式协议转换为非交互式协议的方法。证明器在「与哈希函数对话时」模拟交互式协议。为了得出第 i 轮的随机挑战，证明器哈希至第 i 轮的部分记录，并将输出解释为下一个挑战。

这就确保了证明器在挑战生成后无法更改自己的回答。然而，作弊的证明器拥有一些在交互式 IOP 中没有的新策略途径。证明器可以通过修改最后一个证明器信息来重新生成验证器挑战，这样就会得到一个新的记录，从而也会得到一个新的挑战。事实证明，IOP 的标准可靠性概念不足以证明 Fiat-Shamir 转换的安全性。

例如具有 96 轮的 IOP，并向验证器添加以下 hack：如果验证器的随机性的第一比特在 96 轮中每一轮都是 0，那么验证器就会接受（无需查看任何证明）。我们可以看到，向验证器添加这个 hack 只会在 IOP 的可靠性误差中添加一个 2⁹⁶ 的项。然而，经过 Fiat-Shamir 变换后，攻击者可以轻松修改证明器信息，确保每个哈希值都以 0 开头，从而在很短的时间内攻破系统。请放心，这种可怕的情况只是一个理论上的例子，并不适用于已部署的 STARK。那么，让我们来看看为什么我们的 STARK 终究是安全的呢。简而言之，我们将证明，攻击者最多运行 t 步，攻击成功的概率最多为 (t) t 2⁹⁶。详情如下。

IOP 和逐轮可靠性

STARK 的安全性取决于其底层 IOP。但是，一个 IOP 具有 96 比特的安全性意味着什么呢？按照标准定义，IOP 的可靠性误差为 2⁹⁶：这意味着任何攻击者（无论运行时间长短）欺骗验证器的概率最多为 2-96。然而，正如我们所讨论的，IOP 的可靠性只是三个部分中的一个，这并不足以让从所有三个步骤编译出来的 STARK 获得 96 比特的安全性。相反，假设 STARK 有 96 比特逐轮可靠性误差（有时也使用一个被称为状态恢复可靠性的类似定义），则编译后的 STARK 的安全性就得到了证明。

直观地讲，「逐轮可靠性」（round-by-round soundness）表明每一轮都有 96 比特的安全性，而不仅仅是整个协议。说得详细一点，即逐轮可靠性指的是存在一个谓词，它能获取协议的部分记录，并告诉我们这个记录是否是「欺骗性的」：「空记录」不是「欺骗性」，而当且仅当验证器接受时，完整的记录是「欺骗性」。最后，对于任何不是「欺骗」验证器的部分记录，在下一轮中记录变成「欺骗性」 的概率至多为 2⁹⁶。如果存在具有这些属性的判定，我们会说协议具备 96 比特的逐轮可靠性（这个谓词不要求可以有效计算）。

在许多情况下，人们只分析 IOP 的可靠性，而不分析其逐轮可靠性。诚然，我们很难想到 IOP 具有标准可靠性而不具有逐轮可靠性的例子（人为制造的例子除外）。然而，当推导具体安全界限时，两者之间的差异可能会出现，每个比特都很重要。因此，要推导出严密而具体的界限，就必须对 IOP 的逐轮可靠性进行严密分析。这正是我们对 FRI 协议和作为 STARK IOP 基础的 ethSTARK IOP 所做的工作。分析本身远非小事，并超出了本文讨论的范畴。使用新的分析，我们可以为我们的证明设置精确的参数。

逐轮可靠性确实为我们提供了所需的保障。证明器可以多次重新生成挑战，但我们知道，在任何一轮中，生成「欺骗性的记录概率都是 2⁹⁶。因此，如果证明器有 t 次时间（以哈希调用次数来衡量），那么它最多可以尝试 t 次来获得欺骗性记录，这就将其成功概率限制在 (t) t 2⁹⁶。

添加所有错误项

最后，要使所有这一切成立，我们需要确保证明器无法篡改默克尔树。我们可以表明，只要证明器在哈希函数中没有发现碰撞，他就无法在默克尔树中作弊。攻击者使用 t 次调用（随机哈希函数）找到碰撞的概率最多为 t2/2，这就是哈希函数的输出长度（由「生日悖论「造成）。这就是为什么我们需要设置哈希函数的长度为所需安全性的两倍。如此一来，如果我们有一个输出长度为 192 的哈希函数和一个逐轮可靠性为 96 比特的 IOP，我们就会得到一个编译后的 STARK，其可靠性误差 (t)=t2-⁹⁶ + t2 2¹⁹⁶。由于 t/(t) = t/(t 2⁹⁶+t2 2¹⁹⁶) 1/(2⁹⁶+1/2⁹⁶) = 2²⁹⁵，因此这种方案拥有 95 比特的安全性。

总结

综上所述，STARK 提供了一种功能强大的方法，用于以无信任的方式验证在公共数据上执行的计算的正确性。STARK 的安全性通常用「可靠性误差」来衡量，它代表了攻击者成功提供了一个虚假陈述并用证明说服验证器的概率。为了达到所需的安全级别，例如 96 比特，底层的 IOP 必须满足逐轮可靠性，确保每一轮都能保持高安全级别。我们分析了我们的 STARK 所基于的 IOP 的逐轮可靠性，从而得出了具体的安全界限。

原文：Safe and Sound — A Deep Dive into STARK Security

翻译及校对：「Starknet 中文社区」

🔍 与 @scalebit_ 安全研究员 Alex 1/ 新手应如何理解 Starknet？ Starknet 仅在链下执行计算并生成一个 ZK 证明，然后在链上验证该证明的正确性，最后把多个 L2 交易打包为以太坊上的一笔交易,因此其上的任何交易都得到了 L1 的安全保障。想象它作为增强以太坊的可扩展性的手段，可以提供更好的性能和更低的交易成本。

2/ 为什么 Starknet 是独一无二的？ ✅ 利用零知识证明确保交易的安全性和隐私性，无需泄露细节。 ✅ 提供低延迟和经济高效的交易处理，非常适合高频交易或游戏。 ✅ 作为多层解决方案的一部分，它促进与其他区块链的互操作性，为优化的应用程序提供更多的灵活性和可访问性。

3/ Starknet 项目审计与其他审计有什么区别？ 🔐 Starknet 项目面临标准的安全挑战有闪电贷、价格操纵和访问控制等。在审计时对其独特的内存结构和链重组需要特别关注，这些可以影响链的正常运行。

4/ 对希望深入 Starknet 生态的开发者有什么建议？ 🧠 从区块链基础开始，然后深入 Starknet 的工具，如 Remix，Truffle 或 Foundry 🧠 从基本合约开始，逐渐处理更复杂的项目 🧠 安全第一，熟悉漏洞和最佳实践。最重要的是，保持耐心，继续实践！

🔍 与 @reddio_com 创始人 Neil Han 1/ 为何选择 Starknet 上构建？ 我们从 StarkEx 就开始跟 StarkWare 合作，可以看到这个团队是可以把一个理论性的东西很好地进行技术实现。 为什么我们真正去选这样一个技术：

从技术角度来说，它是唯一基于 Hash 来进行验证的，这个技术挑战性是相当高的。

从生态来说，我们想要 Layer2 里面找下一个以太坊，我们看到 Starknet 有这样的潜力。

另一个方面，Starknet 开发者的生态活跃度非常高，没有奖金激励也可以做得很好，真正去做创新，他们也极力避免吸引薅羊毛的人到生态里面来。

最后一点，Starknet 的全链游戏也非常吸引人，目前大家的首选也是 Starknet 和 dojo 这样一个配置。

基于以上四点，我们选择与 StarkWare 进行更长期的合作。

2/ ✨ Starknet 生态的最大亮点？ 与其他 L2 方案相比，Starknet 团队在原创技术和执行能力上都很出色。他们的核心技术为我们提供了更大的创新空间。

3/ 🎯 Reddio 的未来规划有哪些？ Reddio 的目标是为全链游戏和全链社交创建 Starknet 并行的 L2。这不仅仅是技术创新，还意味着简化开发过程。他们的方向是允许开发者能够专注于自己真正擅长的领域，如游戏开发，而不需要深入底层或学习复杂的合约语言。

4/ 对想深入 Starknet 的开发者有何建议？ 1️⃣ 保持对新技术的学习和关注。 2️⃣ 始终聚焦于自己的目标和用户，而不是被当前的热门趋势所吸引。 3️⃣ 最重要的是，找到你的定位并与生态中的其他成员合作。 4️⃣ 从长远来看，最有效的获客方式是吸引并留住这些外部用户，而不仅仅是当前的生态内部用户。

🔍 与 @StarkNet_ZH Starknet中文社区贡献者 Leo 1️/ Starknet 中项目方的共同特质： ✨ 创造力：开发者对于加密技术和监管环境有深入的了解和自己的看法。 🔧 底层与应用开发：有明确的分工和偏重，这使得开发更为高效。 💼 执行力：一切好的想法都需要实际行动去验证。 🏠 社区建设：一个强大的社区是项目成功的关键。

2️/ Leo 也提到： 市场在基本的费用和速度等技术需求上，市场需要创新。国内外社区的需求非常相似，但还是有一些微妙的差异： 国内：早期以学习为主，也有不同类型团队参与生态建设，尤其在链上游戏做出大胆尝试。 重点：开发社区较活跃，想法多，擅长实际应用实现。 🌍国外：敢于探索创新，不同项目尝试。 特点：动手能力强，尤其是欧洲开发者；创意与创新更为活跃。

对于社区建议，Starknet 仍处于早期 Alpha 内测阶段，基础设施完善和发展需要时间。建议谨慎参与使用，保持好奇心，社区与协议共同成长。

主舞台

StarknetCC Mainstage Paris 2023

https://youtube.com/playlist?list=PLD-8OseqjVeb9uSjizgRWt8FVOj7sAVu-

• @Herodotusdev 宣布 Turbo

• 从 Sierra 到 MLIR

• @myBraavos 的多所有者帐户

• Starknet 社区建设

• @EliBenSasson 介绍 Starknet

• @PragmaOracle：可证明的预言机

• @avnu_fi Starknet 的流动性层

• 让开源势不可挡

• Starknet 路线图

• Starknet 基金会介绍

• 使用 Starknet 技术栈构建全链游戏

• @CafeCosmosHQ 解决链游 Play2Earn 问题并带入 Starknet

• Sylve 美丽的可证明新世界

• Cairo 1 近期的更新和规划

• Starknet 区块浏览器 @0xVoyagerOnline

• 讨论 Kakarot

• NodeGuardians 介绍

• 通过无需许可的工作释放人类潜力

• Paradex 介绍

• @0xNurstar 通过内容创作改变世界

• StarknetID 项目创建经验分享

• L2 和分形 L3 的互操作性及碎片化

• @class_lambda 路线图

• Starknet 上的 DeFi

技术舞台

Starknet CC Tech stage Paris 2023

https://youtube.com/playlist?list=PLD-8OseqjVeabHH5rI_tIy2S--rS9CPWH

• @class_lambda 演讲 STARK 证明器

• @antiyro 介绍 Checkpoint

• @argentHQ 的 Starknet 之旅

• 用 Rust 编写 Starknet

• @KakarotZkEvm 的 EVM 预编译器

• @briqNFT 的 Web3 用户体验

• Beerus - 新一代 Starknet 轻客户端

• Radius - 应用程序专用的 Rollup 可持续的排序层

• 深入了解 Sierra

• 使用 Rollup 无限扩展以太坊

• Apibara - 用于流式传输链上数据的开源平台

• Starknet 客户端 Juno

• 技术解释「L2 DAI 允许窃取」

• @antiyro Starknet 基础设施和 Web3 路由器

• 为 Cairo 构建安全工具

• Paradex 技术演示

• NFT 的未来 - @ArkProjects

• Starknet 在游戏领域的量子跃迁

• ZeroSync：引入比特币有效性证明

• 动态 NFT

• Giza：使用 Cairo 在区块链上启用机器学习

• DeFi 聚合池：ETH 质押民主化

• @GuiltyGyoza Starknet 上的全链战斗机世界：Shoshin

• STARK 上的 SNARK：Garage 的模拟考察

昨日在法国巴黎 StarknetCC 又有多款 Starknet 生态项目和工具新品发布，「Starknet 中文社区」整理出了一部分新项目和工具的简介。新产品以基础设施和工具为主，为用户提供更高效、更安全和更透明的服务与体验打下基础。

Paradex

Paradex 作为 Starknet 第一个 Appchain 启动，提供具有深度流动性和高资本效率的永续期货交易，同时保持透明和自托管。团队六个月就用 Cairo 完成开发。

其先进的链上风险引擎 Paraclear 能够确保透明的交易执行，保证安全性。

Paradex 通过优化平台架构来最大化利润，优先考虑低费用，高性价比。

Paradex 与 MetaMask 的集成确保了用户友好界面，只需单击几下就可以上手啦！

加入 Waitlist 👉 https://www.paradex.trade/

Herodotus Turbo

Herodotus 觉得用 API 来获取存储证明还不够简单，于是推出了 Turbo。

Turbo 将通过仅编写一行代码来实现以太坊 L2 之间 100% 的无需信任互操作性。

Pragma X

利用 @MadaraStarknet 排序器和 @HerodotusDev 的存储证明的预言机。

👉 explorer.pragmaoracle.com

StarkPlay

CafeCosmos 背后的游戏工作室，通过将数字沉浸感与 STARK 技术相结合，重新定义看待无需许可、价值再分配和叙事。

StarkRekt

可以撤销 Starknet 代币授权的工具

👉 https://starkrekt.com

Unframed

Argent 出品的新 NFT 市场

👉 https://unframed.co/

Node Guardians

更新 Cairo 部分教程，深入研究算法难题、构建虚拟机、打破非常规帐户合约。

全新故事线学习体验，学习者挑战难题，获得各类 NFT 装备奖励。

👉 https://nodeguardians.io/dev-hub?s=devhub-campaigns&sc=starting-cairo

IManager

管理器合约 IManager 轻松管理合约权限

RabbitHoles/cairo_contracts at main · 0xDegenDeveloper/RabbitHoles

https://github.com/0xDegenDeveloper/RabbitHoles/tree/main/cairo_contracts

https://github.com/0xDegenDeveloper/RabbitHoles/tree/main/cairo_contracts

「Starknet 中文社区」为大家整理了这次活动必读的一些信息，如黑客松日程、参赛规则、主题任务、工作坊等活动内容，此外 LambdaIngoZK 夺旗赛将和 Lambda ZK 黑客周同步进行。

在本次活动中，主办方已经准备好价值超三万美元的奖金池，目前已有超 300 位开发者报名参与 Lambda ZK 黑客周，快带上你的创新想法和开发产品参与活动，做出贡献吧！

📅 活动日程 Lambda 将在法国巴黎举办为期四天的黑客松活动和 LambdaIngoZK 夺旗赛：

7 月 14 日至 16 日：LambdaIngoZK 夺旗赛

7 月15 日：开幕式、项目介绍、赞助商介绍、宣布黑客周活动正式开始

7 月16 日至 17 日：开发者们参与工作坊黑客松比赛

7 月18 日：闭幕派对、黑客开发者演讲、评选项目结果和颁奖典礼

🏁 LambdaIngoZK 夺旗赛规则 参赛者可通过报名表参与比赛，在比赛期间夺取更多旗帜即可赢取比赛奖金，具体规则如下：

时间：7 月 14 日晚 10 点至 16 日晚 10 点（GMT+0）

参赛者严禁共享旗帜，否则将取消比赛资格；

严禁攻击 CTF 网站、LambdaClass 和 Ingonyama 网站以及其他不属于 CTF 基础设施，否则将取消比赛资格；

严禁对任何服务器进行 DOS 操作；

部分挑战具有动态评分，参赛者需细心区分标志；

请参赛者们阅读 CTF 文档以熟悉评分系统。

夺旗赛排名前三的参赛者将根据自身排名赢得 $4000、$2000、$1000 不等的奖金！

感兴趣的社区小伙伴们心动不如行动起来！

🏁 黑客松参赛规则 开发者可通过活动报名表注册参与黑客松，等待活动开启后，开发者可任意选择主题进行开发构建，完成任务要求。

本次 Lambda ZK 黑客松涵盖四个主题：

零知识机器学习（ZKML）

LambdaWorks

ZK L1 & L2 应用程序

全链游戏开发

一、零知识机器学习 ZKML Orion 是链上机器学习平台 Giza 推出的可验证的、完全开源的机器学习推理框架。Orion 利用开放神经网络交换（ONNX），和 Cairo 的能力来保证推理的可靠性，为开发人员提供一个用户友好的框架来建立复杂的、可验证的机器学习模型。

在黑客松活动期间，开发者们需要采用 Orion 代码库解锁零知识机器学习（ZKML），并在 Cairo 1.0 中构建首个神经网络，具体内容包括：

在 Orion 中实现 Einsum 操作符；

在 Orion 中实现 tensordot 运算符；

使用 Orion 实现 CNN 卷积神经网络架构；

使用 Orion 实现线性回归算法；

使用 Orion 实现逻辑递归 (Logistic Regression) 算；

在 Cairo 编译器内增加 SIMD 指令，允许张量（Tensor） 执行并行化；

创建智能合约模板取样 Orion 创建的 ML 模型，执行链上推理。

点击查看 MNIST 示例指南和 Orion 代码库资源，欢迎感兴趣的开发者积极参与 ZKML 建设！

二、LambdaWork 库 破解用于加密领域和零知识技术的通用性工具库。

三、ZK L1 & L2 应用程序 使用包含零知识技术的 L1 和 L2 开发以太坊或 Mina 应用程序。

四、全链游戏开发 Dojo 由 briq、Cartridge、Bibliotheca DAO 合作开发，是一款社区驱动、开源可证明的游戏引擎。旨在为开发者们提供全面的工具包，用于在 Cairo 1.0 中构建可验证的游戏和自治世界。

主办方鼓励开发者们使用 Dojo 游戏引擎参与 Starknet 全链游戏的开发和构建。

📑 工作坊 在 Lambda ZK 黑客周中，邀请到不同项目团队，以及团队成员们带来精彩的主题演讲。此外还有特殊嘉宾莅临活动现场。

特别嘉宾：

以太坊基金会成员 Tim Beiko

Worldcoin 研究工程师 DC Builder

AS Discrete Mathematics 创始人 Alan Szepieniec

Starknet 基金会董事 Eric Wall

Starknet 基金会执行总裁 Diego Oliva

StarkWare 成员 Sahar Papini

SevenX Ventures 创始人 Eraser

研究员 Alex Obadia

Fenbushi 风投总监 Chloe Wang

主题：介绍 0(1)labs、Mina 协议和 Snarkyjs

时间：7 月 15 日下午 5 点

演讲嘉宾：0(1)labs 开发研究员，Regina Wong

Mina 基金会的开发研究员，Angus Maidment

主题：介绍 Ola，具备超强可扩展性的隐私保护、合理友好型 ZK-ZKVM Rollup

时间：7 月 16 日中午 11 点

演讲嘉宾：Ola 首席运营官，Philip Eriksson

主题：采用 ZK 轻客户端进行信任最小化的全共识验证

时间：7 月 16 日中午 12 点

演讲嘉宾：Fenbushi 研究员，Yuminaga Yuki

主题：采用 Orion 在 Cairo 中构建首个神经网络

时间：7 月 16 日下午 3 点

演讲嘉宾：Giza 首席开发经理，Raphael Doukhan

主题：使用 Herodotus 存储证明进行链上活动证明

时间：7 月 17 日中午 11 点

演讲嘉宾：Herodotus 软件工程师，Codyx

主题：使用 Noir 编写 ZK 电路 (Circit)

时间：7 月 17 日下午 6 点

演讲嘉宾：Aztec 开发研究工程师，Ze Pedro Sousa

主题：使用以太坊存储证明的链上隐私投票

时间：7 月 17 日下午 6:30

演讲嘉宾：Aztec 联创，Joe Andrews

如果你有兴趣作为一名志愿者或者而黑客开发者参加活动，请填写报名表。

目前有两种类型的志愿者

技术志愿者：通过提供技术指导来协助参与者，具备一定的理论知识、ZK 编程语言、DSL 经验

组织者志愿者：主要负责协助黑客周活动的协调工作

如果你也想为 Lambda 和 Starknet 生态做出贡献，学会熟练使用各种 L1 和 L2 构建结合 ZK 技术的以太坊应用程序，就请报名参与 Lambda ZK 黑客周活动吧！

相关链接：

ZK 黑客周报名表

LambdaIngoZK 夺旗赛报名表

参与 ZK 黑客周 Telegram 社群讨论

加入 Giza Discord 社群

Orion 代码库资源

LambdaWork 代码库

游戏引擎 Dojo 代码库

「Starknet 中文社区」为大家整理了这次活动必读的一些信息，包括活动日程、导师阵容、赏金任务和 Workshop 等。

Pragma Cairo 1.0 Hackathon by Pragma Oracle - Overview @ TAIKAI Pragma Cairo 1.0 Hackathon by Pragma Oracle - Overview @ TAIKAI Pragma Cairo 1.0 Hackathon is a hackathon event promoted by Pragma Oracle taikai.network 📅 活动日程 （北京时间）

6 月 11 日： 晚上 8 点 - 开幕式

6 月 12 日： 下午 3 点 - 黑客松正式开始

6 月 19 日： 上午 6 点 - 报名截止

6 月 26 日： 上午 6 点 - 项目提交截止

7 月 3 日： 闭幕式和比赛结果 - 时间待定

🏁 比赛规则 参赛资格： 欢迎来自不同背景、性别和地域的开发者，参加黑客松没有年龄限制。

委员会成员没有资格参加黑客马拉松。但是可以在编码/开发阶段作为导师协助团队。

每个团队最多可包括 6 名参赛者。

提交必须用 Cairo 1.0 编写。

提交过程： 6 月 25 日，参赛者必须在平台上发布他们的项目，包括：

Cairo 1.0 的代码以公共 Github 仓库的形式提交

关于该项目的视频/幻灯片演示和音频

⚠️ 每个团队只能提交一个项目

所有项目都必须在活动期间从头开始创建。

所有超过 15M 的附件、视频和资源可上传到外部网站，如（Dropbox、Google Drive 等），并在项目描述中作为链接提供。

须保证项目的内容只包含自己团队的贡献，没有其他人！

🏆 活动奖励 本次的黑客松奖励包括两部分：总奖池和赏金池

🎖️ 前 10 名项目共享 $8,000 奖金

奖金分配如下：

第一名：$3,000

第二名：$2,000

第三名：$1,200

第四名：$800

第五名：$600

第六名：$400

第七名：$300

第八名：$200

第九名：$100

第十名：$100

除了常规奖励，还有 13 个赏金任务，参赛项目满足要求即可获得额外奖励！以下是各个赏金任务的信息，其中详细资源等材料见官网页面：

Argent - $900 ✔️ 任务：创建一个项目/工具来加强 Argent X 用户对其自托管的信任

📐 评估标准：

用户体验

创新性

界面流畅简单

实用性和可扩展性

AVNU - $1800 ✔️ 任务 1：在单笔交易中使用以太坊上的代币铸造一个 Starknet ID 域名

📐 评估标准：

使用 avnu-sdk 或 API

创新性

对 Starknet 的影响力和潜力

✔️ 任务 2：为 Cairo 1 在 Semgrep 中编写和实施尽可能多的可行规则

📐 评估标准：

在 GitHub 上提交 PR

提供的 Semgrep 数量及质量

Briq - $2250 ✔️ 任务：利用 Briq 构建游戏、应用或者收藏品系列

📐 评估标准：

智能合约质量

创新性

用户体验

Cartridge - $2250 ✔️ 任务：为 Cartridge 开发的「Roll Your Own」游戏构建可组合模组

📐 评估标准：展示出在自治世界之上构建游戏的独特兼容性

Checkpoint - $1800 ✔️ 任务：使用 Checkpoint 为 Starknet 智能合约数据编制索引

📐 评估标准：

至少为一个事件编制索引

提交的实例可正常运行

创新性

Dojo - $2250 ✔️ 任务：使用 Dojo 游戏引擎构建游戏，展示自治世界的独特属性

📐 评估标准：

利用可证明游戏的独特功能

新颖有趣的游戏机制

Flowdesk - 做市积分 ✔️ 任务：创建一个旨在创新自动化做市商工作方式的项目

📐 评估标准：总评分至少达到 75%

Herodotus - $1800 ✔️ 任务：利用 Herodotus API 构建项目并实现跨链功能

📐 评估标准：

与 Herodotus API 集成

跨链互操作性

创新数据利用

界面用户友好

Lambda - $9000 ✔️ 任务：添加一个基于网页的可视化工具来查看 CairoVM 中 Cairo 1.0 程序执行的完整画面

📐 评估标准：

清楚地演示项目，包括文档和样品运行

用户体验和界面设计

实施必须合理无错误

可维护性

完整性

Madara - $9000 ✔️ 任务：使用 Madara 创建 Starknet 应用链

📐 评估标准：

DApp 应该部署在公共或自定义 Madara 实例上

如果要扩展 Madara，应具有创新性并为堆栈带来价值

Nethermind - $4500 ✔️ 任务 1：使用 Warp 将现有的 Solidity 协议引入 Starknet

✔️ 任务 2：使用 Golang 为 Sierra 创建一个执行环境

📐 评估标准：

功能正常运行

创新性

潜在影响力

完整性

Realms - $2250 ✔️ 任务：使用 Dojo 编写可验证的 Play2Die 游戏

📐 评估标准：

根据智能合约、创新性和代码编译进行评判

无需图形用户界面

Starknet ID - $1800 ✔️ 任务：基于 Starknet ID 构建产品或附加组件

📐 评估标准：总评分至少达到 75%

TAIKAI -$1000 ✔️ 任务：将 LayerX Dappkit 库连接到 StarkNet Cairo 1.0 合约，并将合约部署到 StarkNet 网络上

（数据以官网公告为准）

🧑‍🏫 导师阵容 为了帮助参赛者更好地掌握 Cairo 语言，Pragma 邀请了一批 Cairo 领域的专家担任导师，他们将在活动期间为大家提供技术支持和指导。

报名后可在活动官网页面直接与导师进行联系

Peteris Erins Yagi Finance 创始人

Gyanlakshmi StarkWare 开发倡导者

0xevolve 排序器 Madara 贡献者

Mathieu Nethermind 开发者

Maciej Sulecki Herodotus 开发者

Edi Sinovčić SpaceShard CEO；前以太坊核心开发者

📑 Workshop Pragma 在此次黑客松活动还准备了一系列 workshop，让大家可以更加深入地了解 Cairo 语言及其应用场景。

所有 workshop 的直播和回放均在 Twitch 平台上发布。

#1 介绍帐户抽象 - Gnana Lakshmi

#2 从零开始动手学 Cairo - Eni

#3 深入了解 Madara - Lucas Levy

#4 Madara 与结算层的关系 - Ben

#5 使用 Checkpoint 索引 Starknet 智能合约 - Antiyro

#6 动手使用 Herodotus API - Maciej Sulecki

#7 在 Starknet ID 上开发 - Thomas

#8 使用 Pragma Oracle 构建 dApp - 0xEvolve

#9 使用 Dojo 构建 Play2Die 游戏 - Loaf（6 月 16 日 17 点）

#10 使用 Dojo 构建全链游戏 - Broody（6 月 16 日 22 点）

• Beerus 作为 Starknet 的无状态客户端，构建在以太坊 Helios 轻客户端上，无需任何状态信息。

• Starknet 加密证明能实现无需信任的状态验证，这也是以太坊所不具备的功能。

• Beerus 通过 Starknet 存储证明验证以太坊 STARK 证明，将不受信任数据转换成可信数据。

• 开发者们加入 Beerus 开发中，贡献自己的力量，建设安全、去中心化的 Starknet 生态系统。

以太坊状态是所有以太坊帐户的综合性记录，记录每个帐户余额、部署的智能合约、相关存储等信息。随着新帐户不断增多以及部署新的智能合约，以太坊状态也会无止境的扩大。

尽管各类扩容解决方案的目标都是为了降低以太坊状态增长的影响，但其总体趋势仍保持向上增长。上述设计特点导致以太坊状态规模的无止境增长，会有多种影响。对网络参与者而言，能够验证以太坊上所有数据准确无误至关重要，因为运营者和用户要去确信自己进行交互的都是有效信息。

在 2017 年社区首次意识该问题，并提出了无状态以太坊的概念。与字面意思不同，在以太坊中「无状态」并不是没有状态。正如 Ben Edginton 所言：「无状态」含义是把提供和存储以太坊状态的责任，委托给网络中的另一参与方。简而言之，由无状态以太坊客户端选择想要维持的状态。

轻客户端和无状态客户端

虽然轻客户端和无状态客户端都致力于解决以太坊状态规模无限制增长的难题，但两者间的细微差别是：轻客户端需要一些以太坊状态相关信息，但像 Beerus 这类的无状态客户端则无需任何以太坊状态信息。

Beerus 是 Starknet 无状态客户端，采用以太坊轻客户端 Helios 构建。

Starknet 在协议中集成了加密证明，为轻客户端和无状态客户端打造出亮眼表现，同时也拥有以太坊所不具备的功能。它们不仅能让网络参与者验证共识，还能无需信任的验证状态有效性。

轻客户端未来可期

轻客户端和无状态客户端都有潜力能更改区块链领域游戏规则。

• 全新的基础设施范式：由于资源需求低，轻客户端有助于去中心化 Web3 基础设施变得更加民主，从而吸引更多参与者加入。

• 无需信任的跨链：如今大部分跨链交易都需要多签钱包实现资产转移。采用轻客户端可以构建出不用依赖中心化中介方的无需信任跨链协议。

• 安全性更高的钱包：现在大部分加密货币钱包需要与中心化服务商通信才能维持正常运行。采用轻客户端可以构建出完全去中心化的钱包，让用户获得更多资产控制权和安全性。

• 更好的，或无需预言机：采用轻客户端与加密证明结合的途径，打造一种用于验证外部数据的安全方式。

• 物联网 (IoT)：轻客户端非常轻便，可以完美适配处理能力和内存受限的设备，因此能为物联网提供全新的可能性。

• 将轻客户端作为智能合约：将另一条链的轻客户端作为智能合约部署，用户能根据另一条链的状态做出决策，同时获得更高的安全性。

轻客户端的运作方式

简化后的轻客户端运作过程：

1. 轻客户端下载以太坊区块头，包含了每个区块的默克尔树根。

2. 轻客户端用这些区块头去验证以太坊共识的有效性，无需下载每个区块的完整内容。（在 Starknet 中，加密证明都构建在协议中，轻客户端可以验证状态和共识的有效性。）

3. 当用户想要与智能合约进行交易或交互时，轻客户端向全节点发送请求。全节点再反馈完成交易所需的信息。

4. 轻客户端采用下载好的区块头确保全节点反馈的信息有效。

5. 交易完成后，轻客户端下载已经添加到网络中的区块头来更新区块链副本。

获取根哈希

在以太坊中，每个区块都包含了该区块所有交易的默克尔树。默克尔树是一种数据结构，可以有效验证单笔交易，而无需验证整个区块。默克尔树根哈希是整个 默克尔树的加密哈希值，包括在每个区块的区块头中。这个根哈希代表了到最新区块为止的整个区块链状态。

以太坊轻客户端需要这个根哈希值来验证区块链上最新区块的真实性和状态。通过验证默克尔树根哈希值，轻客户端可以确保最新区块没有被恶意篡改。

轻客户端有两种方式来获取根哈希值：依靠全节点或同步委员会。

全节点验证

轻客户端依靠全节点来获得带有根哈希值的最新区块。全节点跟踪到最新区块的所有的签名并进行验证。然而，这种资源密集型的方式需要轻客户端依靠一个中心化的权威机构来获得最新区块，违背了运行轻客户端的目的。

同步委员会

以太坊共识层中，同步委员会是随机选择的 512 验证者 (validator) 组成的小组。每 256 个周期（约 27 小时）就会选择一个新的委员会。委员会负责签署每个新槽位的区块头。如果超三分之二的同步委员会认可状态，轻客户端就可以认为状态是正确的。

同步委员会和轻客户端一起简化验证过程。轻客户端只需要知道以前验证过的区块头，并有之前、当前和下个同步委员会成员信息来验证以太坊状态。这样一来，轻客户端就可以验证已验证区块的准确性，而无需访问整个验证者集或历史状态。这种方法大大降低了验证区块头所需的计算能力。

弱主观性检查点

为找到当前的同步委员会，轻客户端需要获得弱主观性检查点。弱主观性检查点类似于创世区块，但它并不处在区块链的创世位置。它只是表示整个网络承认的一个区块，作为标准链的永久组成部分。

弱主观性检查点与最终确定区块的概念不同。当一个节点遇到两个相互冲突的最终确定区块时，就会发生共识失败，节点无法决定标准分叉。然而，如果一个节点遇到一个与弱主观性检查点相冲突的区块时，就会立即拒绝。在节点的分叉选择方面，最近的弱主观性检查点作为网络的新创世区块。

Helios

Helios 由 a16z 开发，是基于 Rust 的以太坊轻客户端。两秒即可同步，需要的存储空间非常少，完全保证无需信任访问以太坊。Helios 无需运行全节点，与中心化 RPC 供应商合作就可以验证以太坊状态的真实性。Helios 使用方便，用户可以从任何设备安全存取链上数据。

与其它大多数以太坊客户端不同，Helios 把执行层和共识层紧密结合起来。这样 Helios 用户就只需要安装和运行一个软件。

Beerus

Beerus 受 Helios 启发，并使用 Helios 的 Starknet 无状态客户端。目标是提供一个简单易用的客户端来查询 Starknet 状态，并使用上述的 Merkle 证明与合约进行交互。

组件 Beerus Core 非常重要，所有繁琐运作由他完成。通过运行 Beerus Core，与两个不受信任的 RPC 源进行通信，即 Helios 轻客户端的执行层和 Starknet 全节点，获得对所有以太坊端点的访问。这就是神奇之处，Beerus 把这些不受信任的数据转变为受信任的数据。

Beerus 运作方式

我们来以查询 Starknet 合约的存储值为例，对 Beerus 的工作原理做一个概述：

1. Beerus 与 Helios 同步，而 Helios 又通过一个弱主观性检查点与同步委员会同步，这个检查点确保了 Helios 收到的根哈希值的可靠性。

2. 接下来查询 Starknet，检查给定的合约存储秘钥是否存在。

3. 然后从 Starknet 全节点收到最近已验证的区块存储证明。这个存储证明验证最近验证区块的存储合约是否存在。

4. Beerus Core 继续从 Helios 请求 Starknet 状态根，获取并验证发布在以太坊上的 STARK 证明。

5. 从以太坊收到的证明与 Starknet 全节点收到的存储证明进行比较。如果证明相符，则可以确认数据已在以太坊上得到验证，因此是准确的。

6. 最后，经过验证的数据以无需信任的方式返回给用户。

总结

Beerus 是 Starknet 的无状态客户端，使用以太坊的 Helio 轻客户端构建，可以实现无需信任的状态验证。轻客户端和无状态客户端有潜力让 Web3 基础设施去中心化，并解锁各种早期不可能实现的用例。

Beerus 无需大量状态信息，只需要根据以太坊上发布的 STARK 证明就可以验证 Starknet 存储证明。这样一来，Beerus 将不受信任的数据转换为可信任的数据，甚至可以让资源受限的设备在不依赖全节点的情况下安全地运行。

参与建设

对安全且去中心化的 Starknet 生态建设贡献感兴趣？Beerus 就是你的最佳起点。欢迎开发者们在 Github 上做出贡献，加入 Telegram 参与讨论。

原文：Charting the Stateless Future翻译及校对：「Starknet 中文」社区

STARK 证明（及其在 StarkWare 中的实际应用）是自比特币发明以来最激动人心的技术飞跃之一。如同所有飞跃般的技术，STARK 同样复杂并令人费解。这种复杂性可能会限制人们了解该项技术，并因此限制 Web3 进入大众世界。本文旨在对 STARK 简单介绍，以及 StarkWare 是如何实现此技术，并用于促进区块链采用。

在本文深入探讨 STARK 如何执行工作前，通过一个简单研究案例来凸显 STARK 技术的强大功能，该案例研究为 STARK 技术提供了很好的示例。

案例研究：Sorare 和 STARK

Sorare 是人气线上梦幻体育类游戏，包含了欧洲足球、NBA 和美国职业棒球大联盟 (MLB) 等热门体育赛事。用户在游戏中可获得代表球员的数字 NFT 卡牌。为了给玩家创建 NFT，Sorare 在以太坊上支付 gas（gas 是在以太坊上执行交易的费用，下文将详细介绍）；在巅峰时期，Sorare 每周需要支付 100 万美元的 gas 费用于铸造 NFT。 以太坊所提供的安全性很重要，但 gas 成本太高。Sorare 后来与 StarkEx（即 StarkWare 的 Saas 平台）整合，并从直接在以太坊上铸造转为在 L2 上铸造。最终 Sorare 的 gas 成本从每周 100 万美元骤降至每周 1 万美元。通过此次技术革新，Sorare 将经济成本大大降低了 100 倍，且保持了同样的用户体验和用户安全性。当讨论到技术正以千倍速度进步时，我们也走进了从印刷机到微处理器的技术迭代领域。STARK 技术有望以类似的规模改写区块链。

区块链物理定律

在学习 STARK 之前，了解区块链本身的优势和局限性会有更好的理解。如果您已熟悉区块链三难困境，则可以跳过这部分，直接进入解释 L2 及其工作原理的部分。

本文将特别关注以太坊区块链。几乎以任何标准衡量，以太坊都是最大和最成功的区块链（不包括比特币，因为不是通用的智能合约平台）：占所有区块链总锁仓价值 (TVL) 的 50%，有大约 4000 名活跃开发者（比所有其他区块链的总和更高）。以太坊也是 STARK 技术的基础安全层。

要了解以太坊的优势和局限性，我们应从以太坊联合创始人 Vitalik Buterin 创建的用于理解区块链权衡的模型开始，该模型即为区块链三难困境。

区块链三难困境类似于区块链的物理定律：它指出区块链必须在三个关键因素之间进行权衡：安全性、去中心化和可扩展性，并且只能针对其中两个进行优化。就像宇宙万有引力定律一样，任何区块链都无法逃脱区块链三难困境。理解区块链三难困境是理解 STARK 技术力量的先决条件：

• 去中心化有两个因素：第一个是网络中「节点」的数量。节点是整个区块链的副本，简单来说，即节点是该区块链上曾发生的所有交易的数据库。只有单个节点的网络是中心化的，比如保存在你笔记本电脑硬盘上的文件，或是保存在房地产经纪人服务器上的客户帐户列表。有多个节点，但由单一实体控制的网络也是中心化的，比如一家银行的客户数据库存储在几个地区的两个云端网络上。有许多节点，且由许多不同实体控制的网络是去中心化的。以太坊在某特定时间有 7000-8000 个节点，这比竞争对手如 Solana（约 2 千）或 Polygon（约 100）多出好几倍，这使得以太坊达到高度去中心化。然而值得注意的是，以太坊的节点所有权很集中，大约 50% 的以太坊节点由三个实体（Lido、Coinbase 和 Kraken）运营。这与去中心化的第二个因素有关，即「包容性」。包容性意味着任何想运行节点的人都可以这么做。包容性的限制因素（除了访问互联网）是运行一个节点所需的成本。这个成本由运行一个区块（最新一批交易的副本）所需的计算能力和质押成本（为了运行一个节点，你需要锁定多少特定的加密货币）所决定的。需要集中服务器算力的区块链并不具备包容性，因为只有能够负担这么多服务器的人或实体才能运行节点。相反，若只需智能手机算力的区块链是高度包容的，任何拥有智能手机的人都可以参与运行一个节点。

• 安全性是衡量区块链不可变性的一个标准；换句话说，任何一方改变或伪造区块链上的交易的难易程度。如果一方能够伪造区块链上的交易，就可以改变账本记录，例如可以在自己的余额中增加几个额外的零，还可以将别人的余额清零。对于中心化的应用程序来说，在技术上很容易伪造（即使可能冒着声誉、巨额罚款甚至坐牢的风险）。这就是监管机构存在的原因，也是为什么银行会有数千人组成的合规团队，并在合规技术上花费数亿美元的原因。区块链确保安全的方式是要求 51% 的所有节点在区块被提交到区块链之前进行验证。因此，如果有人能够伪造以太坊上的交易，就必须控制 51% 的所有节点，在一个高度去中心化的区块链上，这在技术上和财务上都极其困难。因此，一个高度去中心化的区块链也是高度安全的。

• 可扩展性由在任意时刻可以在区块链上运行多少个交易来衡量的（通常以每秒交易量来衡量）。区块链可扩展性的限制因素实际上是去中心化，区块链的可扩展性仅相当于其网络中最弱的节点（如最慢的计算机）。区块链每秒能处理的交易量是由区块链中区块的大小和创建频率决定的（区块是数据库的更新版本，每个新区块代表该数据库的最新版本，一串链的区块就成为了区块链）。包容性较差的区块链，需要强大、昂贵的计算机来运行节点，与需要不太复杂的机器的区块链相比，每秒钟可以产生更多的交易量。区块有容量限制，因为它们需要小到网络上最小的计算机都能运行，并在网络上有高需求时填满。如果有人想确保他们的交易在区块中被优先处理（例如，他们想确保他们购买的 NFT 立即被记录到以太坊上），他们会向节点运营商支付额外的 「gas」（执行交易所需的费用），以便让他们的交易在其他交易之前排到前面。把它想象成一个拍卖会，在一个空间有限的区块中，竞争的交易越多（需求[交易]越多，供应[区块空间]有限），执行任何单一交易的成本就越贵。在 2021 年的牛市高峰期，以太坊的平均交易成本是 21美元。因此，无论某人转让 100 万美元还是 10 美元的以太坊，在 2021 年的网络拥堵高峰期，完成该交易的成本都为 21 美元。

像以太坊这样高度去中心化和高度包容的区块链（因此对用户来说是最安全的），其本质上可扩展性较差。因此，即使以太坊是领先的智能合约区块链，它也不能满足数十亿人生活的吞吐量（全球支付网络、国家身份解决方案、全球供应链、社交媒体），并实现以太坊成为世界计算机的目标。

L2 解决以太坊可扩展性

L2 旨在解决以太坊的可扩展性难题。简而言之，L2 可扩展性平台位于应用程序和以太坊之间。一个简化比喻（下文将展开解释），L2 对交易的处理就像压缩文件处理数据。当交易通过 L2 协议从应用程序发送到以太坊时，比直接从应用程序发送至以太坊所使用的区块空间要小几个数量级（最高达 1000 倍）。它是如何实现的呢？

第一步，理解「链上」和「链下」的区别。链上即发生在区块链上的活动，如果交易、计算、数据存储等发生在链上，意味着它是在区块链所有节点上执行并完成存储。因为区块大小限制，链上交易和链上存储的成本非常高昂。然而对于那些优先考虑可扩展性，去中心化和安全性其次的区块链来说，链上交易成本更低廉。另一方面，链下计算和存储的成本更低。云平台在「链下」计算和存储方面已非常成熟，启用新的计算实例来运行一个应用程序的成本很低，而且创建数据库用于存储数据的成本同样不高。AWS 和 Azure 是中心化工具，它们不具有区块扩展性限制，因此可以近乎无限制的扩展计算和存储。

StarkWare 这种扩容解决方案如何应用在 L2？简单来说，L2 承担了运行应用的所有高计算活动，NFT 交易市场（铸造、转移、交易 NFT）、加密货币交易所（记录用户余额、交易所汇率、加密货币支付、钱包签名等）以及链下进行计算和存储的成本低廉。在 L2 中无需支付 gas 费，因此执行这些高复杂性计算的成本仅等同于链上的小部分。那么问题来了，如何将这些在链下执行的计算引入到链上呢？

StarkEx 系统的生态之旅

一笔交易需要完成几个步骤才能够实现从链下到链上，例如 StarkWare 的 L2 Saas 平台，StarkEx。它是 Sorare、ImmutableX 和 dYdX 等无需编写自身智能合约即可实现 L2 可扩展性的平台，用户在 StarkEx API 上构建他们的应用程序，操作过程类似在大部分 b2b 技术平台部署。

链下：应用程序运营商和 StarkEx 系统

首先，交易是由终端用户在运营商的应用程序上生成（如，Sorare 的用户登入 Sorare 并购买 NFT）。运营商将审查此笔交易以确保有效性（包含数字签名、用户适当余额、遵守业务规定），然后再发送到他们的 StarkEx 实例 (StarkEx Instance) 中。每个应用程序都拥有专属的 StarkEx 实例以配置它们的使用情况：永续合约、现货交易、NFT 等。最后 StarkEx 实例执行交易的专属逻辑，再次确保它们符合所需的业务规定。

链下证明器

链下的最后一步，交易从 StarkEx 实例发送到 STARK 验证器。STARK 验证器是处理交易「扩容」的部分，类似压缩文件对于数据的处理，STARK 验证器需处理数十万笔交易（有时数百万笔）并生成长长的数字字符串以表达所有交易，也称为证明。有趣的点是：近乎所有的 StarkEx 运营商都会使用 STARK 验证器发送交易，从而「共享」验证器所生产的证明，因此也将共享验证器称之为「Sharp」。

链上执行

一旦证明完成（完整的完成交易或在指定时间周期后），活动就转移到链上。证明会发送到链上的 STARK 验证器智能合约。这个智能合约处于以太坊区块链上，就像所有的以太坊智能合约一样，它是公共且开源的。STARK 验证器智能合约不能接收无效证明。如果资金在未经过用户批准（如数字签名）转移，且帐户中没有可用余额来完成交易，那么证明就会被拒绝。如果证明有效（即满足所有业务规定），则该证明会写入以太坊区块链，从而使这些交易具备「以太坊级别」的最终性和安全性（永久记录在区块链上）。通过这种方式，SATRK 证明能够让 StarkEx 在链下过程中实现以太坊 L1 的安全性。

证明验证是 StarkEx 从链下发送到链上的两段信息之一。第二段信息是状态更新。状态更新代表用户帐户完成批量交易后的新余额。它被存储在链上，可应对在链下服务停止工作的情况下，用户仍然可以从以太坊提取自身的资产。

数据可用性

状态更新从每个运营商本身的 StarkEx 实例编写一个链上智能合约，也称为 StarkEx 智能合约，例如，ImmutableX、dYdX、Sorare 都有专属的 StarkEx 智能合约。记录所有的链上交易是存储状态更新的最简单方式；然而，类似于计算，链上的数据存储的成本十分昂贵。运营商有两种选择来实现交易存储，即数据可用性模式。

Rollup 模式

运营商可以挑选 Rollup 模式（即 dYdX 所采用的）；在 Rollup 模式中，上一个状态余额和下一个状态余额之间的差异将被发送到运营商在以太坊上的 StarkEx 智能合约中。它允许第三方访问每个状态更新的增长变化，并单独对 StarkEx 状态做出逆向工程 (Reverse Engineer)。相比于在链上存储每笔交易完整历史，甚至比交易清单的数据调用的成本更低。同时也比交易清单更具有保密性，因为只展示开始状态和结束状态（从中可能包含数以万计笔交易）。

Validium 模式

Validium 是另一种数据可用性模式；在 Validium 中，将状态更新存储在数据可用性委员会 (Data Availability Committee) 处。DAC 是独立的第三方，可代表营运商批准并接收和持有每个状态更新，DAC 成员承诺：如果营运商离线时，它们在链上发布状态更新，确保用户可随时查询资产（自托管的重要组成部分）。DAC 成员包括 Consensys、Chainstack、StarkWare 和许多知名团队。成本低于 Rollup 模式是运营商选择 Validium 模式的原因之一；在 Validium 模式中，只有 DAC 成员的签名验证即时的状态更新并存储在 StarkEx 智能合约中。Validium 模式的另一个特点是：交易和余额不存储在链上，对于那些需要确保用户机密的公司来说无疑是个巨大优势。

最后，StarkEx 智能合约是实现自托管的关键部分；通过即时的链上状态更新，用户能够随时提取他们的资产。要求用户为每笔交易签名，如果没有用户批准，将无法变更帐户余额。因此，即使在 StarkEx 崩溃、运营商破产的情况下，用户仍然可以直接通过以太坊上的 StarkEx 智能合约提取余额。这就是 StarkEx 能够预防 FTX 事件，实现可扩展性、安全性和自托管平台的关键。

关于 Sphinx：

由 Remi 和 Park 开发的 Sphinx 是部署在 StarkNet 上的第一个原生跨链且可组合的中心现价订单薄去中心化交易所 (CLOB DEX)。采用无信任结算、资产流动性、存储证明和 SNARK 证明，保证去中心化的同时，具有较高可组合性。

关于 Switch：

Switch 是八月份 StarkNet House 举办黑客松获奖作品，是一个无需信任、使用存储证明的钱包恢复方案。平衡中心化和自托管以此获得最优安全性，使用 StarkNet 原生技术来解决自托管难题，让用户能完成所设定条件来恢复钱包。

精彩对话：

• Remi 和 Park 自我介绍

• 介绍 Switch

• 介绍 Sphinx

• 深入存储证明 (Storage Proof)

• Sphinx 底层技术：可组合性和流动性

• 对于 Cairo 和 StarkNet 开发者建议

以下是翻译后的部分对话内容，本文对话经过编辑，完整 AMA 音频回顾请点击。

主持人：Diamond 和 Leo

嘉宾：@sphinxdex 的创始人 @remi_gai 和 @park_eth

Diamond：

今天「StarkNet 中文」社区 AMA 邀请到了 Encodeclub x StarkWare 秋季黑客松冠军作品 Sphinx 的创始人 Remi 和 Park。本期将介绍他们开发构建的 StarkNet 上首个 CLOB DEX 项目 Sphinx 和八月份黑客松获奖作品 Switch。首先，欢迎 Remi 和 Park 来做一个简单的自我介绍。

Park：

感谢「StarkNet 中文」的邀请，很高兴能认识这么多对 StarkNet 感兴趣的中国朋友。大家好！我叫 Park，毕业于伦敦商学院，接触过加密 VC，曾在 Fabric Ventures 和谷歌工作过。从七月份开始关注开发方面，重点是探索 StarkNet 生态，专注开源软件和基础设施类工具项目。Remi 和我在巴黎 ECC 上认识，在八月份黑客松我们开发了一种无需信任的钱包恢复解决方案 Switch。同时参与 AAVE、MakerDAO 等协议链上治理、委托。

Remi：

大家好！我是 SPC 中的 Web3 项目创始人 Remi。我在 2017 年进入区块链领域，2018 年合作成立了区块链工作室帮企业做钱包、团队市场和社交平台等。2019 年在 VC 工作一段时间。成为软件工程师后，曾任职于微软和谷歌。2021 年联合创办波卡借贷协议 Parallel Finance。正如 Park 所说，我们在夏天认识并成为了开发伙伴。

Diamond：

非常优秀的两位嘉宾，接下来能向我们介绍一下 StarkNet House 黑客松一等奖作品，钱包恢复解决方案 Switch 吗？

Park：

Switch 最开始是由 Remi 提出的想法，所以我就简单介绍一下。Switch 是一个无需信任、使用存储证明的钱包恢复方案，用户如何平衡中心化和自托管以此获得最优安全性。例如，当你丢失密钥后无法恢复钱包访问权，所以我们就在思考如何去解决该问题，通过社会关系恢复？也不够完美，因为不是每个人都有可以委托访问的受信任方。但稍作修改，尝试使用 StarkNet 原生技术来解决自托管难题，让用户能完成所设定条件来恢复钱包。

Remi：

最初我和几个朋友在以太坊 NYC 黑客松中分析了这个想法，有什么办法能够证明你的以太坊外部账户 (EOA) 一直处于非活跃状态？因为 EOA 就是你的 MetaMask 公共地址，无法在上面重建任何逻辑。如果你能证明 Nonce 在一段时间内没有增加，这意味着帐户处于非活跃状态或无法进行新交互，就不会造成资产损失。在以太坊 NYC 黑客松中，我们意识到通过区块哈希值证明 Nonce ，然后推断出 EOA 帐户不同状态。

但问题是，在以太坊上只能往后追溯 256 个区块，也就 1 个小时。ECC 期间，我参加了 Snapshot 实验室的研讨会，他们正在使用存储证明技术来证明以太坊的任意状态。也就是说，可以在 StarkNet 上读取以太坊的状态。当我深入研究时，并在 StarkNet House 黑客松中尝试构建了 Switch 项目，事实证明这的确是一个近乎完美的解决方案，不仅可以直接在 StarkNet 上读取以太坊的状态，由于计算成本低廉，还可以实现递归。

从当前区块链追溯到创世区块，可以把区块链数据结构想象成串列，即当前区块能包含其父区块哈希值。所以基本上可以通过重新创建区块头并反过来继续向后递归一到两年来回溯区块状态。Switch 证明了两年内 EOA 帐户处于非活跃状态，通过对比今天和两年前 Nonce，如果没有增加，就能激活恢复合约帮助你拿回资产。其新颖之处则是，整个过程都是无需信任且在链上完成。

Diamond：

Remi 和 Park 上面提到 Switch 和 Sphinx 使用了存储证明 (Storage Proof) 使区块链具有更强的互操作性也更便捷，所以能和我们详细介绍下存储证明在其中的运用吗？

Park：

存储证明技术可以做很多事情。在 Switch 中可以用作读取历史状态，允许访问以太坊区块历史，以无需信任的方式访问区块链状态。众所周知，区块链结构使用的默克尔树型数据结构 (Merkel Tree Data Structure)，包含状态树、交易 (Transaction) 树、接收 (Receipt) 树，可以从这些信息中提取出帐户余额、智能合约存储、发送事件等。不仅是以太坊，该功能同样适用于其他使用了默克尔树型数据结构的区块链。

实际可以应用在无需许可桥接等功能。跨链交易订单薄首先运用的就是桥接，用户可以无需信任地将链上资产跨到另一条链上 DEX 并进行交易。也可以用在提供无需信任的数据流 (Data Stream) ，计算历史价格，再算出加权平均价格，就像是去中心化版 The Graph。不仅如此，还能用作无需信任的预言机，替代 Chainlink 等。所以数据流是极其重要的，用于跨链用例的基础设施。

Remi：

我来举例补充，当你想在以太坊上构建应用但成本高昂，可以选择在计算成本低的 StarkNet 构建应用。所以，存储证明能够帮你做些什么？以太坊上应用需要在 StarkNet 上在 StarkNet 上读取状态并执行计算密集部分。这就是需要存储证明来完成的，类似无需信任版的 Chainlink。

Diamond：

相信经过介绍，大家已经对 Switch 和存储证明都有了一定的了解。接下来，请 Remi 和 Park 给我们介绍第二个获奖作品 Sphinx，以及开发背后的想法是什么？

Park：

关于 Sphinx 的诞生是为了解决一个重要问题，即单一流动性或单一跨链流动性难题。当我们参与黑客松时，发现越来越多 AMM 协议构建在 StarkNet 生态系统中，但是 StarkNet 上缺乏一款，类似 Serum 之于 Solana 的可组合性订单薄。因此，当机会就摆在我们面前时，如何去集成这些流动池、创造交易枢纽中心？于是我们决定借鉴于 Switch 和存储证明的相关经验来实现该目标。

如果将存储证明应用在无需信任型桥接上从而进行资产跨链，就可以解决跨链流动性难题。这个想法是对现存 DEX 的改进，比如 dYdX 就是链下订单薄，因此无论是在 StarkNet 或跨链上都缺乏可组合性。所以总结一下我们想实现的，即 StarkNet 上首个原生的跨链可组合型订单薄。我们的愿景是使用存储证明和 SNARK 证明实现无需信任型桥接流动性跨链，为底层流动性创建聚合层。

在我们的演示中曾提到过的最简可行产品，黑客松允许以太坊用户通过 MetaMask 即可在 StarkNet 交易。就是通过跨链 DEX，不需要跨链迁移资产就可以在 StarkNet 交易。详细来说就是，以太坊用户资产存入智能合约，跨链消息将资产计入 DEX，再发送 EIP-712 签名确认跨链，然后就可以开始交易。这就是产品原型。随着跨链桥基础设施逐渐成熟，我们会连接不同链。

Diamond：

下一个问题关于可组合性 (Composability)，能和我们分享一下在 Sphinx 中的可组合性，以及如何为订单薄 DEX 提供帮助的吗？

Remi：

实现可组合性，即链上订单薄。还有一种则是链下订单薄无法保证流动性，如 dYdX 和 ZigZag，意味着无法确保链上验证且无法与之交互。

怎样更具可组合性，如果我在订单薄上有 ETH/USDC 对，任何人可以无需许可使用这些流动性。例如，有聚合器与我们整合时，可以设置订单导入到我们的流动性。这样就可以降低 AMM 滑点，因为可以通过两个路径来获取流动性，对终端用户而言执行价格得到优化。

打造货币市场就需要流动性引擎。不是竞价模式，而是直接打造流动性市场，在订单簿添加 ETH 流动性。另个例子是可组合性，未来会考虑闪电贷。要是提供的流动性闲置，可以用来借贷，带来更多被动收益。

Diamond：

最后，两位都在黑客松中获得傲人成绩，可以给 StarkNet 和 Cairo 建设者一些建议吗？

Remi：

我认为 StarkNet 相比以太坊有不同的特点，如果你想参与黑客松，探索 StarkNet 原生想法是非常有趣的，例如，计算、存储证明、帐户抽象、多重调用、会话密钥、共享证明器 (SHARP) 等等。把它们当作不同的组件并尝试组合起来创造一些新颖的概念。一般来说，很多项目协议都是由其他生态中已有的概念搬运或构建起来的，这确实有一定的市场契合度，但重点是如何去创新，利用 StarkNet 独特的优势构建出新观点会更加有趣。

Park：

关于这点我非常赞同 Remi，利用自身特点尝试全新事物很重要。我再抛出一个方面，关注用户体验感，例如，从用户角度去解决一个实际问题。对于黑客松来说好的技术固然重要，但除此之外，吸引用户、完善用户体验，解决用户痛点从而提升项目可用性同样不可或缺。

比如，无需信任的 Switch 钱包恢复方案也是在解决用户痛点，大部分加密用户都因为各种方式丢失过钱包资产，那么从用户角度出发，怎么创造一种方式来解决该问题？然后构建无需信任的钱包恢复解决方案的想法诞生。Sphinx 同样如此，实现资产跨链是个复杂繁琐的过程，甚至面临资产遗失、攻击等风险，因此专注于解决用户顾虑也是对构建项目的一种帮助。

Remi：

我想补充最后一点，StarkWare 团队给出的支持非常迅速，也非常有帮助。当你刚参与 StarkNet 生态构建时可能会遇到很多问题踌躇不前，但不要灰心害怕，勇敢地向委员会成员寻求帮助，一起发展生态系统，我们都是 StarkNet 前进路上的探险者！

StarkNet 由 StarkWare 开发，采用 STARK 有效性证明，是为未来规模化应用而建的开放式以太坊 Layer2 网络。

「StarkNet 中文」是 StarkNet 社区项目，致力于 StarkNet 在中文社区推广，帮助开发者融入 StarkNet 生态。

「StarkNet 中文」社区在本月完成了多场 AMA，涵盖链游、合约钱包、DeFi、跨链桥以及 NFT 多个赛道，积极与 StarkNet 生态项目沟通交流，传达用户想法。同时本月不断跟进 StarkWare 发布的 $STRK 代币部署以太坊，StarkNet 基金会事宜，开发者可尝试 Cairo 1.0 开源，StarkNet 排序器并行化提升性能，Cairo VM 速度优化等重要里程碑，并将相关文章及周边资讯翻译。

StarkNet 本月大事件 💡

• StarkNet ERC20 代币 $STRK 部署以太坊，代币经济模型公布，并将由 StarkNet 基金会去中心化治理，目前无法交易

• StarkNet 基金会相关事宜，非营利性组织去中心化管理，为了促进维护 StarkNet 生态发展，支持开发者构建，迈向社区治理

• StarkNet 排序器并行化，性能优化，提升生态项目的用户体验

• StarkNet 主网 Alpha 版本更新至 v0.10.2，「交易并行化」已部署主网；Cairo v0.10.2 和 v0.10.3 更新升级功能

• Cairo 1.0 开源，开发者可尝试 Cairo 新语法，进行本地编译和部分程序运行。逐步进行 Cairo Rust VM、Rust 排序器等升级

• Cairo VM 通过开发网中 235 项测试，速度不断优化，目前在 Cairo Rust VM 测试仅需 91 秒，用 Cairo 编写的 ZK-EVM 项目 Kakarot 也顺利通过 ERC20 测试

• 如何实现最高级别的安全？解决区块链三角难题？StarkWare 表明帐户抽象和资产自托管重要性不言而喻

• 11 月 30 日至 12 月 1 日 StarkNetCC 印度活动，StarknetCC 里斯本主场演讲视频上线 YouTube

• 11 月 15 日晚上 9:30 StarkNet 第二十七次社区会议

• 11 月 23-24 日 StarkWare 在越南的研讨会、讲座

「StarkNet 中文」社区文章资源 📚

📝 原创：

首期 AMA 邀请到 Topology 联合创始人 Guiltygyoza 和 Parallelvc 投资经理空岛，畅聊全链游戏，展望游戏未来。如何在区块链特质上挖掘潜力，不断创新，捕捉长期价值？如何消除投机性，依靠游戏可玩性吸引玩家？深入了解，阅读「StarkNet 中文」社区第一期 AMA 文字版

第二期 AMA 邀请到了 Braavos 钱包的创始人 Motty Lavie 作客，讨论帐户抽象与智能合约钱包，并讲解 Braavos 最新发布的硬件签名器的运行机制，为用户解答忘记密码、多重身份验证、硬件签名器等强大功能。深入了解，阅读「StarkNet 中文」社区第二期 AMA 文字版

📃 翻译：

对话问答平台 Newton：用激励促进知识传递

Newton 是专注于 Cairo 开发和 StarkNet 生态的 Stack Overflow 问答平台，开发人员可以使用 Newton 发布关于智能合约、CairoLang、StarkNet 项目等问题，为了鼓励用户回答，Newton 采取了全新的代…

mirror.xyz

StarkNet 基金会来啦！

今天我们将迎来「StarkNet 基金会」，为支持 StarkNet 生态项目而创建的独立社区自治组织。

mirror.xyz

数据存储所需要知道的一切：Rollup、Validium、Volition

到 2022 年 11 月，StarkEx 已经在以太坊上结算了超过 7500 亿美元的交易量和超过 2.7 亿笔交易。在 NFT 领域，StarkEx 为 ImmutableX 和 Sorare 等应用程序提供支持，NFT 铸造量已超过 8500 万，铸…

mirror.xyz

Cairo 1.0 开源发布！

在 2020 年，我们发布了支持可验证计算的图灵完备编程语言 Cairo。Cairo 最初作为一种汇编语言，随着不断的开发变得极具表现力。两个月前，我们曾公开表示 Cairo 1.0 解决了当前形势中一些重要问题：

mirror.xyz

🔍 社区文章：

零基础教学 CairoLang，从基础知识到 StarkNet 合约部署，新手快速入门 Cairo 教程系列文章「Cairo 之旅」第八、九、十课。

了解更多，浏览「Cairo 之旅」往期中文教程回顾，感谢 @lviswang 翻译

「StarkNet 中文」社区活动回顾 📆

🎙️ AMA 会议：

「StarkNet 中文」社区本月共举办四次 AMA，对话 StarkNet 生态不同赛道项目

11/08 晚 8 点 StarkNet 中文社区 AMA #1 对话 Topology：为什么链游是未来

11/14 晚 9 点 AMA #2 对话 Braavos：深入帐户抽象和合约钱包的未来

11/22 晚 8 点 AMA #3 对话 Orbiter & zkLend：DeFi 与跨链桥的无限潜力

11/25 下午 5 点 AMA #4 对话 Briq：NFT 的可组合性

🎁 社区活动：

11/30 -12/2 StarkNet 中文社区 x RYG Labs 白名单抽奖活动，活动持续 48 小时，完成 Quest3 任务随机抽 10 位空投 Dremy Botty AI+NFT 白名单

❤️ 感谢阅读 Thanks for reading

• STARK 通过高效证明计算的完整性来实现区块链的扩展

• StarkEx 是针对应用的扩展引擎

• StarkNet 是无需许可的智能合约 L2 网络

STARK

STARK，其英文全称为 Scalable Transparent ARgument of Knowledge，即可扩展的、透明的知识证明方法。STARK 是一个能够证明计算并验证计算的证明系统，它首先处理大型计算，然后生成可以证明计算正确的证明，最后验证此证明的真实性。

STARK 在区块链的可扩展性中发挥着关键作用，通过此方法，大型计算在链下以开销更小的方式完成，只留下需要一小部分计算的验证在链上完成。换句话说，验证者只在链上执行很少的步骤，就能证明在链下进行的其余的庞大计算的完整性。

L2 解决方案通过 STARK 批量化计算成千上万的交易，然后在链上验证 STARK 证明的有效性。链上验证成本由批量交易均摊，这就保证每笔交易继承以太坊安全性的同时，gas 消耗降低。

低计算成本的特性将催生出以往无法在链上运行的新型应用。同时，这些特性使 STARK 成为改善用户体验和降低 gas 成本的最佳构件的同时，能够延续以太坊结算层的安全性。

StarkWare 用 STARK 提供了两种以太坊解决方案：StarkEx 和 StarkNet。

StarkEx

StarkEx 是用于创建需许可的、针对特定应用的扩展解决方案框架。StarkEx 作为一个有用的应用流程工具箱，项目可以通过它节约成本，以进行链下计算。链下生成能证明执行正确性的 STARK 证明，其中包括多达 12,000-500,000 笔交易（取决于交易类型）。然后，证明发送给 STARK 验证器，链上验证后接受。这意味着对所有交易进行一次验证--每笔交易分摊的 gas 成本低得惊人。

部署在 StarkEx 上的应用的几个例子是 dYdX（永续交易）、Immutable 和 Sorare（NFT 的铸造和交易）、DeversiFi（现货交易）和 Celer（DeFi 池）。

StarkWare 公司正在根据市场和客户的需求不断向 StarkEx 添加更多的应用流。

StarkNet

StarkNet 是无需许可的的 L2 网络，任何用户或开发者都可以用 Cairo 语言在 StarkNet 上部署智能合约。

在 StarkNet 生态部署的合约与在以太坊部署体验类似，所有合约都可以与生态系统内任何其他合约交互，实现多样的可组合性。StarkNet 上的合约也可以通过异步消息与以太坊上的合约交互。

StarkEx 中，应用自己负责提交交易，而 StarkNet 则需要定序器打包交易，再发送进行处理和证明。（StarkNet 的定序器目前由 StarkWare 运营，计划在未来实现去中心化）这意味着一旦应用程序在 StarkNet 上部署了 Cairo 合约，就不必再额外处理运营基础设施。StarkNet 支持 Rollup 数据可用性模式，Rollup 的状态会与 STARK 证明一起写入以太坊。

庞大的开发者社区正在深度参与 StarkNet 生态系统建设，积极构建应用、工具和基础设施。DeFi、游戏、投票、人工智能等几十个应用已经在测试网上线。此外，StarkNet 社区还在研发区块浏览器、本地测试环境和架构、多国语言的 SDK 等各种开发者工具。如有任何改进建议，潜在功能和最优方案都可以在论坛讨论。

总结

StarkEx 和 StarkNet 都是基于 STARK 的扩展解决方案，都能实现扩展性、低 gas 费和安全性，但两者有不同的运行条件和互操作模式。StarkEx 更适合独立性较强和匹配 StarkEx API 的协议。而StarkNet 更适合需要与其他协议同步交互的协议，以及一些超出 StarkEx 应用范围的协议

STARK 已经彻底改变了以太坊上应用开发的模式。StarkEx 和 StarkNet 将持续为之前被技术条件限制的应用赋能，不断探索区块链应用的潜能。

• StarkWare 正朝着两个方向迈向去中心化：规划和实施。

• 为了确保 Starknet 协议向去中心化的权益证明协议顺利过渡，我们已经制定了明确的路线图。

引言

Starknet 通过将其状态转换的 STARK 证明发送到以太坊区块链上进行验证，从而享受以太坊提供的安全性和去中心化。这种流程极大地限制了在 Starknet 上构建和维护的其他中心化实体的权力。。如 StarkWare 和 Starknet 基金会：网络上的任何中心化实体都无法伪造交易信息，从而误报或以其他方式欺诈性地操纵用户数据或资产。

这是确保 Starknet 实现最小信任化的第一步，也是最关键的一步，从而确保 Starknet 用户在使用网络时无需无需依赖任何中心化方的诚实性。然而，要确保完全的信任最小化和去中心化，我们还需要采取更多措施，这样即使基金会或 StarkWare 等实体消失，网络仍会继续按设计运行，不会中断。本文概述了后续工作的初步路线图。

我们如何实现

大约一年前，我们开始在一系列长篇博客文章中记录我们的去中心化研究过程，最终形成了一份简单具体的提案。

简而言之，我们的目标是将「排序器+证明器」的运作过渡到一个去中心化的权益证明协议，使任何人都可以参与排序，避免网络活性 (Liveness) 要依赖任何一方才能维持活性 (Liveness) 要依赖任何一方才能维持。为此，我们要要朝着两个必要的方向前进前进：

1. 实施运行去中心化协议所需的各种组件；

2. 逐步将运营权过渡给 Starknet 质押者。

在本文中，我们将重点讨论后者。

运营权运营权过渡进程进程

简而言之，过渡进程本身有四个主要环节：

1. 在保持排序器运作仍通过中心化方式运行的情况下，过渡至去中心化网络架构

2. 确保提供完全开源的软件堆栈

3. 开发越来越广泛的测试和集成网络

4. 在将排序器运作最终过渡给权益证明参与者之前，推进质押者的加入。

上述进程顺序上述进程顺序代表部分部分依赖关系，但许多工作会会同时进行。下面我们将对每步进程每步进程稍作描述。

去中心化网络架构

Starknet 网络将过渡至更为去中心化的模式：

• 目前，全节点之间并不能相互通信，而是每个节点通过中心化的 feeder 网关定期查询排序器。

• 在相对去中心化的模式下，全节点将成为点对点网络的一部分，无需在每个节点与排序器之间建立连接。

这种变化超出了网络连接的范畴。我们可以通过两个示例来说明。

首先，排序器将签署其区块，以减轻一些信任假设，并为基于投票的 BFT 协议作准备，该协议拥有许多投票者。其次，数据传播将呈现出更为分布式的特点，节点将相互协助以同步状态并完成其本地视图的更新。

努力实现完全开源的软件堆栈

开源软件堆栈：

确保提供开源软件堆栈，，让每个人都能参与协议和网络的各个方面至关重要。随着 StarkWare 和其他贡献者完成了越来越多的组件，这些组件会完全开源会完全开源，供大家测试、批评、熟悉。一些值得注意的组件示例（已经开源的部分）包括全节点（Pathfinder、Juno、Deoxys）、证明器（Stone、Sandstorm）、排序器（Blockifier、Madara）和区块浏览器（Starkscan、Voyager、ViewBlock、Stark Compass）。

测试与集成网络：

为保证过度进程尽可能顺畅为保证过度进程尽可能顺畅，越来越广泛的测试和集成网络至关重要。对于每个新组件，通常会从内部测试网络开始，逐渐过渡到更为广泛的、允许外部人员参与的测试网络，最终进入公开测试网、集成网络和主网。后续还有一些需要考虑的选择，例如在测试新组件时，是选择按顺序进行还是并行的方式，但这是后话了。

质押者引入：

我们必须给 L1 质押合约留出足够的时间，来积累足够的质押代币，用实际的经济权重来保障去中心化协议的安全。这是为了避免少数不良不良参与者试图恶意控制 Starknet。

总结

综上所述，我们在本文中简单概述了去中心化 Starknet 的初步路线图。与任何工程计划一样，尤其是这样复杂的计划，随着我们的贡献者社区的洞察和理解力不断提高，路线图很可能会随着时间的推移而发展变化。

一如既往，我们欢迎大家提供反馈、建议和批评