# 了解StarkNet By [ack](https://paragraph.com/@ack-2) · 2023-05-05 --- **背景** 从 2018 年开始，StarkWare 推广使用 STARK 有效性证明来解决以太坊的可扩展性问题。他推出了基于 SaaS 业务模型的 StarkEx，创建了 Cairo 编程语言并构建了 Starknet，这是第一个生产中的去中心化网络，允许您编写自己的逻辑。 StarkWare 致力于双重关注，包括技术、数学、创新和产品交付，支持其他团队推动以太坊和/或 STARK，并使产品开源、去中心化并专注于 STARK 作为公共产品。 未来，StarkWare 将致力于将 Starknet 打造成一个由 Starknet 基金会管理的无需许可的去中心化有效性聚合体，并将专注于去中心化 Starknet 的各种组件，例如 Prover、Sequencer 和 governance。 STARK 技术基于证据，特别是完整性证据。STARK 使用数学来确保完整性，确保即使在没有人观看的情况下也能正确执行计算。这项技术的概念始于 1991 年 László Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 的工作，引入了使用一台可靠的计算机来监控一组不可靠的超级计算机的概念。这种称为“PCP”的技术以数学方式监控并确保大型计算的完整性。 STARK 技术是 PCP 技术的改进版本，允许小用户控制并确保大公司、垄断企业或政府的正常运作。区块链恢复了货币兑换的点对点性质，消除了对可信中介的需求。以太坊将这一概念更进一步，允许创建构成社会经济学基础的通用程序。 —————————————————————————————————————— **StarkWare** zk rollups赛道上最好的公司之一，由以色列理工学院Eli Ben-Sasson教授（zk SNARK & zk STARK的共同发明人）联合创立，为区块链提供基于STARK技术的解决方案。行业。到目前为止已经开发了两种产品：StarkEx 和 StarkNet，它们都在下面介绍。 —————————————————————————————————————— **Starkware 团队** Eli Ben-Sasson：联合创始人兼首席科学家，以色列理工学院计算机科学教授。Zcash 的创始科学家，zkSNARKs 的发明者。 Alessandro Chiesa：联合创始人兼首席科学家，加州大学伯克利分校计算机科学教授。Zcash 的创始科学家，zk-SNARKs 的共同发明人，libsnark 的首席开发人员。 Uri Kolodny：联合创始人兼首席执行官，Uri 是一位连续创业者，具有丰富的商业经验和良好的协作能力。 Michael Riabzev：联合创始人兼首席架构师。博士 来自以色列理工学院，曾在英特尔和IBM工作。 Oren Katz：工程副总裁。毕业于希伯来大学，主修计算机科学，特拉维夫MBA，拥有20年经验的高级工程师。 ![](https://storage.googleapis.com/papyrus_images/7d7b23a011bce22454339d532e8598ecb15a26173dbd0c24d1365302548f3a0b.png) —————————————————————————————————————— **融资** 目前，公司估值80亿美元，得到Vitalik、Paradigm、Sequioa等省会城市的全力支持，是扩张领域最具价值的团队。 ![](https://storage.googleapis.com/papyrus_images/d43a958785c9bda9652aa5f2040dee2172db9168c935cfc4d2afacd387b9149d.png) —————————————————————————————————————— **StarkEx** 基于以太坊区块链的特定于应用程序的第 2 层扩展模块，旨在解决以太坊等第 1 层区块链网络的可扩展性问题。StarkEx 使用称为 STARK Proof 的高级加密系统，在不损害安全性、隐私和自我保护的情况下实现快速和廉价的交易。 它提供一系列低成本链下计算的应用流程，将多笔交易包装成STARK证明，然后在链上进行验证，降低每笔交易的平均gas成本。StarkEx扩容引擎的工作原理包括批处理、验证更新、证明生成、链上验证四个步骤。 StarkEx 已成功部署在 dYdX、Immutable、Sorare、DeversiFi 和 Celer 等众多应用中。 与 StarkNet 的区别在于： StarkEx 和 StarkNet 是 StarkWare 开发的两种不同的技术，都采用了零知识 STARK 技术，但目标和用途不同。 StarkEx：StarkEx 是一个特定于应用程序的第 2 层扩展模块，专注于优化以太坊区块链上单个应用程序的性能。它通过批处理多个交易并在链下验证它们来实现更快、更便宜的交易。主要用于去中心化交易所（DEX）、NFT市场和游戏等。通过使用STARK证明技术，StarkEx提供安全、高效、廉价的交易体验。 StarkNet 是一种更通用、更完整的不需要许可的 Layer 2 解决方案。它为整个以太坊生态系统提供了一个分散的计算平台，开发人员可以在其中部署以开罗语言编写的智能合约。StarkNet 支持与其他合约的交互，允许丰富的协议组合，并且可以通过异步消息传递与以太坊合约进行通信。目标是提供一个可扩展、低成本和安全的环境，开发人员可以在该环境上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以被视为一个全面的第 2 层操作系统，允许开发人员创建各种去中心化应用程序，而不仅仅是临时解决方案。 简而言之，StarkEx 是一个针对特定应用的 Layer-2 扩容引擎，专注于为特定应用优化性能，而 StarkNet 是一个更通用和更全面的 Layer-2 解决方案，旨在为整个以太坊生态提供解决方案。集中计算平台。 —————————————————————————————————————— **Starknet** Starknet 是一个去中心化的无许可汇总网络（也称为“ZK-Rollup”）。它作为以太坊上的 L2 网络运行，允许任何 dApp 无限扩展计算，而不会损害以太坊的可组合性和安全性，这要归功于 Starknet 对最安全和可扩展的 STARK 加密证明系统的依赖。 Starknet 合约和 Starknet 操作系统是在开罗编写的——允许部署和扩展任何用例，而不管业务逻辑如何。作为去中心化的第 2 层网络解决方案，Starknet 旨在为去中心化应用程序 (dApp) 提供更高的可扩展性和性能。通过在以太坊上运行，它可以利用现有的基础设施和安全性，同时提供更高的计算能力。 Cairo 是一种专门为 Starknet 设计的编程语言，旨在简化智能合约的开发和部署。使用 Cairo，开发人员可以轻松地为各种用例构建高度可扩展的应用程序，包括金融、游戏、供应链等。 Starknet 是有效性的集合，这意味着必须证明每个块内的执行，而这正是 STARK 派上用场的地方。然而，STARK 证明可以解决以多项式约束语言制定的命令，并且不了解智能合约的执行。开罗的开发就是为了弥合这一差距。 总的来说，Starknet 是一个充满潜力的第 2 层网络解决方案，可以使现有的 dApp 在可扩展性和性能方面向前迈出重要一步。Starknet 采用 STARK 抗加密系统和 Cairo 编程语言，为开发者提供了一个强大而灵活的平台来满足各种业务需求。 —————————————————————————————————————— **关于账户** * **以太坊账户结构** 在以太坊中，个人用户账户被称为外部拥有账户（EOA）。 EOA 不同于智能合约，因为它们不是代码驱动的。EOA 由一对私钥和公钥确定。 账户地址是从这些密钥中派生出来的，只有拥有私钥才能从账户发起交易。虽然以太坊合约是“被动的”，即它们只能在交易中被调用时发生变化，但 EOA 可以发起交易。 尽管简单，但 EOA 有一个主要缺点，即账户行为没有灵活性，以太坊协议确定 EOA 发起的交易何时有效（签名方案是固定的）。特别是，对公钥的控制提供了对帐户的完全控制。虽然从理论上讲这是一种安全的帐户管理方法，但在实践中它有一些缺点，例如要求您在提供助记词的同时保证助记词的安全，以及钱包功能的灵活性有限。 EIP-4337 是以太坊的设计提案，概述了一个账户抽象，通过以太坊网络上的专用智能合约管理所有账户，以提高灵活性和可用性。您可以将自己的逻辑添加到基本的 EOA 功能中，并将帐户抽象化到以太坊。 * **什么是账户抽象？** 抽象帐户的想法是允许更灵活地管理帐户，而不是在协议级别确定它们的行为。这可以通过引入账户合约来实现——具有可编程逻辑的智能合约可以确定用户账户的行为。 使用帐户抽象，您现在可以对帐户功能进行编程。 例如，您可以： * 了解有效签名的含义或允许您的帐户与哪些合约进行通信。这称为“签名抽象” * 用不同的代币支付交易费用——有时称为“费用抽象” * 设计自己的重放保护机制，允许多个不相关的事务并行发送。将此与以太坊中使用的顺序 nonce 解决方案进行对比，这使得交易在本质上是顺序的，即使你想并行发送两个交易，你也必须等待第一个交易的某些确认，然后才能发送第二个交易。否则，第二笔交易可能会因随机数无效而被拒绝。使用帐户抽象，可以讨论规避顺序随机数要求的各种解决方案。这称为“nonce 抽象”。 今天，Starknet 提供了签名的抽象。未来，Starknet 将丰富活期账户抽象设计。 * **使用帐户抽象的自定义帐户功能的两个示例** 1. 社交恢复 这是一个当您丢失钱包时，您可以通过您选择的社交网络找回它的过程，大大改善了典型的钱包恢复体验。 2. 通过面部识别来操纵您的帐户 通过签名抽象，您可以使用手机的本机硬件来签署交易，这几乎不可能接管另一个用户的帐户（即使手机本身被盗）。 这些示例展示了如何利用帐户抽象来为用户提供更灵活、安全和高度定制的钱包和帐户管理。通过编写自己的逻辑，用户可以根据自己的需要和喜好自定义帐户的功能，在提高安全性的同时更易于使用。 **Starknet 账户协议必须包含以下两个特征** * **核实** * **履行** 这些功能服务于不同的目的，以确保只有账户所有者才能发起交易并向您收取所用资金的费用。 Starknet 帐户类型受到以太坊 EIP-4337 的启发，您现在可以使用具有任意身份验证逻辑的智能合约帐户，而不是 EOA（外部拥有帐户）。 智能合约的使用为账户的实施提供了完全的灵活性。 虽然在协议层面不是强制性的，但社区已经开发了更丰富的标准账户接口。该标准由 OpenZeppelin 与钱包团队和其他核心 Starknet 开发人员密切合作开发。 —————————————————————————————————————— **代币经济：** 角色令牌： * 手续费： 目前，StarkNet 费用以以太币 (ETH) 支付。然而，我们希望稍后以原生 StarkNet 代币全额支付费用。为了促进良好的用户体验，自动化和去中心化的链上机制将允许用户以 ETH 支付费用。 * 承诺： 某些对 StarkNet 的寿命和安全至关重要的服务可能需要插入 StarkNet 代币。这些服务可能包括排序、在达到 L1 最终结果之前的临时 L2 共识、STARK 证明服务以及提供数据可用性。 改进 StarkNet 的提案将需要一个最低令牌支持阈值，稍后定义。所有对 StarkNet 的寿命、安全性和维护至关重要的协议更改都需要直接或通过委托进行投票。例如，StarkNet 操作系统的所有重大更新都需要获得代币持有者的批准。 * 代币分配 总量：100亿初始 17 % — StarkWare 投资者 32.9% — 主要贡献者：StarkWare 及其员工以及 StarkNet 软件开发顾问和合作伙伴 StarkWare 向基金会提供 50.1% 用于以下目的： 9% - Community Extras：用于奖励那些为 StarkNet 工作并为其核心技术提供支持的人，例如过去使用 StarkEx L2 系统的人。重要的是，所有社区资源都将基于过去完成的可验证工作。例如，对于 StarkEx 的过去用户，分配将根据 2022 年 6 月 1 日之前发生的 StarkEx 技术的可验证使用来确定。 9% — 社区折扣：部分用于支付从以太坊转移到 StarkNet 的费用。为防止游戏化，社区折扣仅适用于折扣机制公布后发生的交易。 12%——资助 StarkNet 协议的研发、测试、部署和维护。 10%——根据基金会的使命为生态系统活动提供资金的战略储备。 2%——捐赠给由 StarkNet 代币持有者和基金会共同确定的备受尊敬的机构和组织，如大学、非政府组织等。 8.1% - Unallocated：基金会未分配的财务储备将用于进一步支持 StarkNet 社区，具体支持方式由社区决定。 为了使主要贡献者和投资者的长期激励与 StarkNet 社区的利益保持一致，并符合去中心化的生态系统实践，所有分配给主要贡献者和投资者的代币将受到 4 年的锁定期。, 具有线性释放和年度悬崖。 ![](https://storage.googleapis.com/papyrus_images/fa4ef7df61464e8580d61d1430d046d1714da1d11b9edd4b8a6b5e7cee0531ad.png) 如果您是最终用户，请仅在满足您当前需求的情况下使用 StarkNet。将其用于您重视的交易和应用程序，而不是期望未来在 StarkNet 代币中获得回报。宣布社区供稿时，它们将仅包含在宣布日期之前出现的图像，并且根据当时可用的信息，被视为滥用的使用和网络篡改将被过滤掉。当引入社区返利时，它们永远不会适用于返利宣布之前发生的交易，因此期望未来的返利今天发生是徒劳的。 基于以上代币经济学的总结分析： 社区供应的前 9% 可以分配给用户，这意味着用户将分配给为 Starknet 工作并提供技术支持和开发的 4.5 亿人。 第二次社区优惠9%用于补贴后续优惠规则公布后的手续费，规则公布前无需缴纳手续费。 第三个10%的战略储备用于链上绿色应用，分配给绿色应用协议。 商业模式 出售StarkEx技术引擎的定制服务，直接向有扩展需求的客户收取服务费，基本属于2B定制服务。 创建一个去中心化的 Layer 2 StarkNet 网络，支持 dApp 自部署，可以向用户收取 Layer 2 交易费用，也可以通过 sequencer 拍卖机制获得 MEV 价值，未来还可以发行代币，用技术和资金来孵化 StarkNet 项目，通过代币经济驱动生态发展。 总结 StarkWare 是 zk 聚合产品中最好的公司之一，其产品包括 StarkEX 和 StarkNet。 StarkEx 是为 dApp 提供技术服务的 Layer 2 扩展模块。 StarkNet 是一种更通用、更完整的不需要许可的第 2 层解决方案。 团队有80多名成员，核心成员非常敬业。Eli Ben-Sasson 是 Zcash 的创始科学家和 zkSNARKs 的发明者。在ZK-Rollup领域有着非常深厚的研究和影响力，目前估值已经达到80亿。StarkWare 的投资者是顶级风险投资公司和个人，如 Paradigm、Pantera、polychain 和 Vitalik。 从生态应用来看，由于使用的是Cairo语言，不兼容EVM，所以生态开发的进度会比较慢，目前已经踏入Cairo 1.0，向更高TPS方向发展。虽然现在的app体验不是很流畅，技术和现实还是有差距的。希望未来能看到Starknet更好的发展。 --- *Originally published on [ack](https://paragraph.com/@ack-2/starknet-4)*