ARK:一探StarkWare生态：StarkEx和StarkNet的创新之旅_starl币白皮书

原文来源：Yinan，PANews

从 2018 年开始，StarkWare 开创性地运用 STARK 有效性证明来解决以太坊的可扩展性问题。它推出了基于 SaaS 业务模型的 StarkEx，创造了 Cairo 编程语言，并构建了 Starknet，这是第一个允许编写自定义逻辑的生产中的去中心化网络。

StarkWare 致力于在包括技术、数学、创新与产品交付的双重关注；支持其他推动以太坊和/或 STARK 的团队；以及努力使产品开源、去中心化并专注于将 STARK 作为公共产品。

未来，StarkWare 将致力于让 Starknet 成为一个由 Starknet Foundation 治理的无需许可的去中心化有效性 rollup，并专注于去中心化 Starknet 的各个组成部分，例如 Prover、Sequencer 和治理。

STARK 技术基于证明，具体来说是完整性证明。STARK 利用数学来确保完整性，即使没有人监视，也能确保计算正确进行。这种技术的概念始于 Lszl Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 于 1991 年的一篇文章，其中介绍了使用单一可靠计算机监控一组不可靠超级计算机的概念。该技术被称为「PCP」，通过数学监控和确保大型计算的完整性。

STARK 技术是 PCP 技术的改进版本，可让小用户检查并确保大公司、垄断企业或政府的正确运作。区块链恢复了货币交换的点对点特性，消除了对可信中介的需求。以太坊则将此概念推向更远，允许创建构成社会经济基础的通用程序。

StarkWare 是 zk rollups 赛道内最好的公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK & zk STARK 的联合发明者）联合创立，它为区块链行业提供基于 STARK 技术的解决方案。目前开发了两款产品：StarkEx & StarkNet，均在下文中介绍。

Eli Ben-Sasson：Co-Founder & 首席科学家，以色列理工学院计算机专业的教授。

Zcash 的创始科学家，zkSNARKs 的发明者。

Alessandro Chiesa：Co-Founder & 首席科学家，加州大学伯克利分校计算机专业的教授。

Zcash 的创始科学家，zk-SNARKs 的联合发明者，libsnark 的核心开发者。

Kolodny：Co-Founder & CEO，Uri 是一个商业经验丰富、善于合作的连续创业者。

去中心化交易平台Maverick Protocol推出流动性激励措施:5月2日，据官方消息，去中心化交易平台 Maverick Protocol 推出流动性激励措施。该措施可以让 Token 发行者可以设定一个特定的价格范围，在此范围内发行者可提供更有竞争力的流动性激励措施，以帮助稳定币、流动性质押衍生品等固定资产保持价格稳定。[2023/5/3 14:39:23]

Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。Oren Katz：工程副总裁。Hebrew 大学计算机专业毕业，Tel Aviv MBA， 20 年经验的资深工程师。

目前公司已经估值 80 亿美元，获得了 Vitalik、Paradigm、Sequioa 等资本的倾力支持，是扩容领域估值最高的团队。

一种基于以太坊区块链的应用特定的 Layer-2 扩展引擎，旨在解决以太坊等 Layer-1 区块链网络的可扩展性问题。StarkEx 通过使用一种名为 STARK 证明的先进密码学系统，实现了快速、低成本的交易，同时不妥协安全性、隐私性和自我保管。

它提供了一系列用于实现便宜的链下计算的应用流程，将多笔交易打包在一个 STARK 证明中，然后在链上进行验证，降低了每笔交易的平均燃料成本。StarkEx 扩展引擎的工作原理，包括批处理、验证和更新、生成证明以及链上验证四个步骤。

StarkEx 已经成功部署在多个应用中，如 dYdX、Immutable、Sorare、DeversiFi 和 Celer。

和 StarkNet 的区别在于：

StarkEx 和 StarkNet 是由 StarkWare 开发的两个不同的技术，它们都使用 STARK 零知识证明技术，但有不同的目标和用途。

1. StarkEx：StarkEx 是一个针对特定应用的 Layer-2 扩展引擎，主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证，实现了更快速、低成本的交易。主要用于去中心化交易所（DEX）、NFT 市场和游戏等。

2. 通过使用 STARK 证明技术，StarkEx 提供了安全、高效和低成本的交易体验。StarkNet 是一个无需许可的更为通用、完整的 Layer-2 解决方案，它为整个以太坊生态系统提供了一个去中心化的计算平台，开发者可以在其中部署用 Cairo 语言编写的智能合约。

Nexus Mutual已因FTX和BlockFi破产赔付500万美元:金色财经报道，DeFi保险提供商Nexus Mutual已经因FTX和BlockFi破产支付了大约500万美元的索赔，且预计还要再支付200万美元。Nexus Mutual是一个基于会员的服务，约占加密原生保险协议锁定资金的70%。

Nexus Mutual创始人Hugh Karp在谈到中心化加密货币借贷机构和托管机构的风险概况时表示：“我们有点低估了它们之间的相关性。它们都是在同一时间走下坡路的，彼此之间不一定独立。”[2023/3/7 12:47:09]

StarkNet 支持与其他合约进行交互，允许丰富的协议组合，并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境，以便开发者在其上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以看作是一个全面的 Layer-2 操作系统，允许开发者创建各种去中心化应用程序，而不仅仅是针对特定用途的解决方案。

总之，StarkEx 是一个应用特定的 Layer-2 扩展引擎，主要关注特定应用程序的性能优化，而 StarkNet 是一个更为通用、全面的 Layer-2 解决方案，旨在为整个以太坊生态系统提供一个去中心化的计算平台。

Starknet 是一个无需许可的去中心化有效性折叠网络（也称为「ZK-Rollup」）。它作为以太坊上的 L2 网络运行，使任何 dApp 都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算，这要归功于 Starknet 依赖于最安全且最具可扩展性的加密证明系统 STARK。

Starknet 合约和 Starknet 操作系统使用 Cairo 编写 - 支持部署和扩展任何用例，无论业务逻辑如何。Starknet 作为一种去中心化的二层网络解决方案，旨在为去中心化应用（dApp）提供更高的扩展性和性能。通过在以太坊上运行，它可以利用现有的基础设施和安全性，同时提供更高的计算能力。

Cairo 是一种专为 Starknet 设计的编程语言，它旨在简化智能合约的开发和部署。通过使用 Cairo，开发人员可以轻松地为各种用例构建高度可扩展的应用程序，包括金融、游戏、供应链等。

Starknet 是一个 validity rollup，这意味着每个块内的执行都需要被证明，这就是 STARKs 派上用场的地方然而，STARK 证明可以解决以多项式约束语言制定的陈述，并且不了解智能合约的执行。为了克服这个差距，所以开发了 Cairo。

总的来说，Starknet 是一个充满潜力的二层网络解决方案，它可以使现有的 dApp 在扩展性和性能方面迈出重要一步。通过采用 STARK 加密证明系统和 Cairo 编程语言，Starknet 为开发者提供了一个强大且灵活的平台，以满足各种业务需求。

IPFS发布可将推文存档到IPFS的浏览器插件“Pin Tweet to IPFS”:1月12日消息，IPFS发布浏览器插件“Pin Tweet to IPFS”，支持用户将推文存档到IPFS，以帮助用户以可验证的方式存储推文。目前IPFS正在使用Web Recorder团队的工具来创建可验证的Web Ar Chive Zip推文文件，以协助用户通过这些文件上传到IPFS网络，并通过自己的IPFS节点或其他固定服务访问它们。该插件现已上线Chrome和Edge浏览器插件商店，后续IPFS将继续进行迭代，以加快存档速度并添加更多验证功能。[2023/1/12 11:07:56]

接下来会发生什么？Starknet Alpha v 0.11.0 ：开始向 Cairo 1.0 过渡

-对 Cairo 1.0 的进一步语言改进

-性能改进：正如承诺的那样，Starknet 继续朝着显着提高 TPS 的方向前进。路线图中的下一步是过渡到 Rust 序列器，它是在 Apache 2.0 许可下公开开发的。新的音序器将使用 Rust CairoVM 和 Papyrus 全节点形成 Performance Trio。

-链下 DA

在这个版本中，Starknet 处理了交易成本的计算部分。在即将推出的版本中，将处理链上数据成本，这是当今平均交易的主要成本。

这里对 Starknet 的音序器进一步说明：

音序器是指 StarkNet Sequencer，它是 StarkNet 的一部分，旨在通过切换到 Rust 排序器、使用 Rust CairoVM 和 Papyrus 全节点来显著增加吞吐量（每秒交易数量），从而形成「性能三人组」。

「性能三人组」是指 StarkNet Sequencer 的三个组成部分：Rust 排序器、Rust CairoVM 和 Papyrus 全节点。其中，Rust 排序器是 StarkNet Sequencer 的核心，它负责处理交易并生成区块。Rust CairoVM 是一个虚拟机，它可以在 StarkNet 上运行智能合约。Papyrus 全节点是 StarkNet 网络中的一个节点，它存储了 StarkNet 上的所有数据，并且可以处理交易。这三个部分共同工作，可以显著提高 StarkNet 的吞吐量（每秒交易数量）。

Starknet v 0.11.0 （目前仅在 Goerli 测试网上）

一旦 Goerli 测试期结束，Starknet v 0.11.0 将在主网上发布。

Lifeform：持有I到X 10枚Lifeform活动奖章者将获得Token空投:12月8日消息，去中心化视觉数字身份(DID)解决方案提供商Lifeform官方表示，凡持有10枚Lifeform活动奖章(从I到X)者将获得Token空投。I到X全部10枚Lifeform活动奖章可兑换一张pass卡，pass卡将是空投的凭证。

此前消息，Lifeform于8月份宣布完成完成种子轮融资，Binance Labs领投。[2022/12/8 21:31:26]

Starknet v 0.10.3 （22 月 12 日、 12 月 12 日）

性能——将状态承诺计算与交易执行分开添加 starknet-class-hash 命令来计算已编译 Starknet 合约的类哈希

Starknet v 0.10.2 （22 年 11 月 29 日）

这个版本引入了音序器并行化！一个新端点 estimate_fee_bulk 被添加到馈线网关。这将允许同时估算几笔交易的费用，其中每笔交易都是相对于应用前一笔交易的结果状态执行的。

Starknet v 0.10.1 （22 年 10 月 25 日）

添加 DeployAccount 交易（它将取代 Deploy 交易以部署账户合约）。要使用它，你应该首先向你的账户地址添加足够的资金来支付交易费用，然后你可以调用 DeployAccount 将 starknet deploy_accountCLI 命令拆分为 starknet new_account 和 starknet deploy_account 预计以这种方式部署的账户合约应该实现 validate_deployDeployAccount() 入口点，它应该检查交易的签名改进 L1 费用计算：根据存储状态的差异计算费用 API：entry_point_type 从交易信息中删除字段

Starknet v 0.10.0 （22 年 9 月 5 日）

此版本介绍了 Starknet 帐户抽象设计的下一步，特别是验证/执行分离。

Starknet v 0.9.1 （22 年 7 月 20 日）

API 变化星网 CLI

Starknet v 0.9.0 （22 年 6 月 6 日）

该版本将合约类/实例范式引入 Starknet

以太坊账户结构

蓝色宇宙与中广协达成战略合作 携手共推元宇宙营销规范化进程:5月29日消息，蓝色光标全资子公司蓝色宇宙与中国广告协会数字元宇宙工作委员会在北京举行战略合作签约仪式。蓝色光标副董事长熊剑表示，国内元宇宙尚处发展初期，但未来，元宇宙将会像移动互联网一样，为各行各业带来巨大变革。2021年，蓝色光标明确了“营+销”和“元宇宙”两大新业务方向；未来，集团也将打通上下游生态，不断迭代，用心投入。蓝色光标期待与中国广告协会共同推动建立相关行业标准、树立标杆案例，共同帮助企业与品牌规划好虚拟人、虚拟物、虚拟空间的内容及呈现方式，为元宇宙发展带来更加美好、更具价值的想象空间。[2022/5/29 3:48:08]

在以太坊中，单个用户账户被称为外部拥有的账户（Externally Owned Accounts，EOAs）。

EOAs 与智能合约不同，因为它们不受代码控制。EOA 是由一对私钥和公钥确定的。

账户的地址是根据这些密钥派生的，只有拥有私钥才能从账户发起交易。虽然以太坊合约是「被动」的，即它们只能在交易中被调用时发生变化，但 EOAs 可以发起交易。

尽管简单，但 EOAs 有一个主要缺点，即账户行为没有灵活性，以太坊协议规定了 EOA 发起的交易何时有效（签名方案是固定的）。特别是，对公钥的控制给了对账户的完全控制。尽管从理论上讲，这是一种安全的账户管理方法，但在实践中，它存在一些缺点，例如要求您保护种子短语的安全，同时使其对您可访问，并且钱包功能的灵活性有限。

EIP-4337 是一个针对以太坊的设计提案，概述了通过以太坊网络上的专用智能合约管理所有账户的账户抽象化，以提高灵活性和可用性。您可以在基本 EOA 功能的基础上添加自定义逻辑，从而将账户抽象化引入以太坊。

账户抽象化是什么？

账户抽象化背后的想法是允许在账户管理方面更具灵活性，而不是让它们的行为在协议层面上确定。这可以通过引入账户合约来实现 - 具有可编程逻辑的智能合约，决定用户的账户行为。

通过使用账户抽象化，您现在可以对您的账户功能进行编程。

例如，你可以：

确定有效签名的含义，或者您的账户允许与哪些合约互动。这被称为「签名抽象化」用不同的代币支付交易费用 - 这有时被称为「费用抽象化」设计自己的重放保护机制，并允许并行发送多个不相关的交易。将其与以太坊中使用的顺序 nonce 解决方案进行比较，该解决方案导致交易本质上是顺序的，即使你想并行发送两个交易，也必须等待第一个交易的一些确认，然后再发送第二个交易。否则，由于无效的 nonce，第二笔交易可能会被拒绝。使用账户抽象化，可以讨论绕过顺序 nonce 需求的不同解决方案。这被称为「nonce 抽象化」。

如今，Starknet 提供了签名抽象化。将来，Starknet 将丰富当前的账户抽象化设计。

使用账户抽象化自定义账户功能的两个示例

社交恢复 这是一个过程，当您丢失钱包时，可以通过所选社交网络检索它，大大改善了钱包恢复的典型体验。通过面部识别操作您的账户 借助签名抽象化，您可以使用手机的原生硬件对交易进行签名，从而实际上不可能接管另一个用户的账户（即使在手机本身被盗的情况下也是如此）。

这些示例展示了如何利用账户抽象化为用户提供更灵活、安全和高度定制的钱包和账户管理体验。通过编写自定义逻辑，用户可以根据其需求和偏好定制账户功能，从而在提高安全性的同时，也提高了易用性。

Starknet 账户合约必须包括以下两个函数

execute

这些函数具有不同的目的，以确保只有账户所有者才能发起交易，并且可以为你使用的资源收费。

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% —社区补给：用于奖励为 StarkNet 工作并为其底层技术提供支持的人员，例如过去使用 StarkEx L2 系统的人员。重要的是，所有社区补给都将基于过去已完成的可验证工作。例如，对于过去的 StarkEx 用户，分配将根据 2022 年 6 月 1 日之前发生的可验证 StarkEx 技术使用情况来确定。

9% —社区返利：部分用于支付从以太坊转移到 StarkNet 的成本。为防止游戏化，社区返利仅适用于在返利机制公布后发生的交易。

12% —用于研究和开发、测试、部署和维护 StarkNet 协议的工作的资助。

10% —-战略储备，用于资助与基金会使命一致的生态系统活动。

2% —捐赠给受到高度尊重的机构和组织，例如大学、非政府组织等，由 StarkNet 代币持有者和基金会共同决定。

8.1% —未分配：基金会的未分配财务储备将用于进一步支持 StarkNet 社区，具体支持方式由社区决定。

为了使核心贡献者和投资者的长期激励与 StarkNet 社区的利益保持一致，并遵循去中心化生态系统的惯例，分配给核心贡献者和投资者的所有代币将受到 4 年的锁定期，与线性释放和一年悬崖。

如果你是一名终端用户，只有在 StarkNet 满足您当前需求时才使用它。将其用于您看重的交易和应用，而不是期望未来获得 StarkNet 代币的回报。当社区补给宣布时，它们将仅涉及在公告日期之前发生的快照，并根据当时可用的信息，过滤和排除被认为是滥用和操纵网络的使用情况。当社区返利制度建立时，它们永远不会适用于在返利公布之前发生的交易，因此期望未来返利而在今天进行交易是徒劳的。

基于上面代币经济学的总结分析：

第一个 9% 的社区供应部分是可能空投给用户的，也就是说用户在这 4.5 亿中和为 Starknet 工作及提供技术支持和开发的人一起去划分。

第二个 9% 的社区回扣，用于后续返利规则公布后的手续费补贴，公布规则前刷手续费是没用的。

第三个 10% 的战略储备，是用于链上生态应用，分配给生态上的应用协议。

商业模式出售定制化技术引擎服务 StarkEx，直接向有扩容需求的客户收取服务费，本质上是定制化的 2B 服务。打造去中心化的 Layer 2 网络 StarkNet，支持 dApp 自主部署，可以向用户收取 Layer 2 的交易费用，也可以通过 sequencer 的拍卖机制获取 MEV 的价值，还可以在未来发 token，用技术和资金孵化 StarkNet 项目，通过 tokenomics 驱动生态发展。

StarkWare 是 zk rollups 赛道内最好的公司之一，产品有 StarkEX 和 StarkNet。

StarkEx 是一款 Layer 2 扩展引擎，为 dApp 提供技术服务。

StarkNet 是一个无需许可的更为通用、完整的 Layer-2 解决方案。

团队成员有 80 多个，而且核心成员比较瞩目，Eli Ben-Sasson 是 Zcash 的创始科学家，zkSNARKs 的发明者，在 ZK-Rollup 领域有非常深的研究及影响力，且目前估值达到 80 亿，像 paradigm、Pantera、polychain 和 V 神等顶级 VC 和个人均是 StarkWare 的资方。

在生态应用上面，因为采用的是 Cairo 语言，所以并不兼容 EVM，所以在生态发展上进度会比较慢，目前开始向 Cairo 1.0 过渡，朝着一个更高的 TPS 发展，就算这样，但是目前的应用体验并不是十分流畅，技术还有现实之间还是存在差距，期望以后看到 Starknet 更好的发展。

PANews

媒体专栏

阅读更多

金色荐读

金色财经 善欧巴

Chainlink预言机

白话区块链

金色早8点

Odaily星球日报

欧科云链

深潮TechFlow

MarsBit

Arcane Labs

标签：ARKSTARKSTARSTAQWARKSTARK币StarterCoinstarl币白皮书

火星币热门资讯