#starkware #starknet #starkex

撰文：@Yinan_cycle

（本文首发于PANews：StarkWare帝国：探析StarkEx和StarkNet的创新之旅)

背景

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

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

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

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

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

Starkware

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

Starkware团队

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

Alessandro Chiesa：Co-Founder & 首席科学家，加州大学伯克利分校计算机专业的教授。Zcash 的创始科学家，zk-SNARKs 的联合发明者，libsnark 的核心开发者。

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

Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。

Oren Katz：工程副总裁。Hebrew 大学计算机专业毕业，Tel Aviv MBA，20 年经验的资深工程师。

融资

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

StarkEx

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

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

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

和StarkNet的区别在于：

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

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

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

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

Starknet

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为开发者提供了一个强大且灵活的平台，以满足各种业务需求。

版本更新

接下来会发生什么？Starknet Alpha v0.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 v0.11.0（目前仅在 Goerli 测试网上）

一旦 Goerli 测试期结束，Starknet v0.11.0 将在主网上发布。

Starknet v0.10.3（22 月 12 日、12 月 12 日）

性能——将状态承诺计算与交易执行分开

添加starknet-class-hash命令来计算已编译 Starknet 合约的类哈希

Starknet v0.10.2（22 年 11 月 29 日）

这个版本引入了音序器并行化！

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

Starknet v0.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 v0.10.0（22 年 9 月 5 日）

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

Starknet v0.9.1（22 年 7 月 20 日）

API 变化

星网 CLI

Starknet v0.9.0（22 年 6 月 6 日）

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

关于账户

以太坊账户结构

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

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

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

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

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

账户抽象化是什么？

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

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

例如，你可以：

确定有效签名的含义，或者您的账户允许与哪些合约互动。这被称为“签名抽象化”

用不同的代币支付交易费用 - 这有时被称为“费用抽象化”

设计自己的重放保护机制，并允许并行发送多个不相关的交易。将其与以太坊中使用的顺序nonce解决方案进行比较，该解决方案导致交易本质上是顺序的，即使你想并行发送两个交易，也必须等待第一个交易的一些确认，然后再发送第二个交易。否则，由于无效的nonce，第二笔交易可能会被拒绝。使用账户抽象化，可以讨论绕过顺序nonce需求的不同解决方案。这被称为“nonce抽象化”。

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

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

社交恢复 这是一个过程，当您丢失钱包时，可以通过所选社交网络检索它，大大改善了钱包恢复的典型体验。

通过面部识别操作您的账户 借助签名抽象化，您可以使用手机的原生硬件对交易进行签名，从而实际上不可能接管另一个用户的账户（即使在手机本身被盗的情况下也是如此）。

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

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

validate

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 服务。

打造去中心化的 Layer2 网络 StarkNet，支持 dApp 自主部署，可以向用户收取 Layer2 的交易费用，也可以通过 sequencer 的拍卖机制获取 MEV 的价值，还可以在未来发 token，用技术和资金孵化 StarkNet 项目，通过 tokenomics 驱动生态发展。

总结

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

StarkEx 是一款 Layer2 扩展引擎，为 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更好的发展。

Layer 2赛道的整体TVL 近日接连触碰百亿美元大关，二层链上生态呈现一片“欣欣向荣”的景象。zkSync 在L2 赛道中仍名列第三，仅次于Arbitrum 和Optimism, 链上TVL 高达近5亿美元。凭什么说zkSync 生态的繁荣是虚假的繁荣？

回答这个问题之前，先来看看二层的两位老大哥Arbitrum 和OP 近期的TVL 走势。据L2Beat 数据显示，Arbitrum TVL 在60亿美元附近窄幅波动；OP 近期利好频频，TVL 也创出新高，ATH 突破25亿美元；两者TVL 占L2 赛道的份额高达近85%，占据绝对的统治地位。

Arbitrum TVL 走势

OP TVL 走势

反观zkSync, 受前几日针对社区“随机”空投NFT 事件持续发酵的影响，TVL 出现崖断式回落。资金出走，而大部分资金涌向了另一个未发币的zk-Rollup StarkNet. SarkNet 链上TVL 一周增长了近34%。先讲结论：zkSync 的链上繁荣是基于其潜在的空投预期，由空投猎手们带来的。至少目前是。

zkSync/ StarkNet TVL 走势对比

接下来会从1️⃣ 链上生态复杂度、2️⃣ 基础设施应用的广泛性和3️⃣NFT “随机”空投事件三个点来论证上面的结论。p.s 链上生态虚假繁荣的程度无法被量化，但，zkSync 的“伪”繁荣程度，远远超过Arbitrum 和OP.

链上生态复杂度链上生态的复杂程度代表了创新能力，能够为用户带来更多元化的应用场景，从而刺激用户的需求。对于L2 来讲，链上生态复杂度 ≈ 链上Defi 复杂度。这种带有一定庞氏属性的defi 乐高对链上生态的繁荣尤为重要。

先来看老大哥Arbitrum:龙头协议GMX, 其链上TVL 高达5亿刀，也是目前加密市场最优秀的去中心化衍生品交易协议之一，同时也是目前为数不多存活时间较长的复杂defi 协议。另外还有刚拿了币安融资的借贷协议Radiant Capital, 基于L0 的跨链基础设施，实现资产跨链借贷的应用场景。

Arbitrum 链上热门生态协议

再来看看二哥OP:龙头协议是一个33 DEX Velodrome, 基于Solidly 仿盘创新，现在已经成为OP 生态的一个最重要的枢纽，辐射整个生态的其他协议。Sonne Finance 就是基于Velodrome 崛起的，目前是OP 生态最大的原生借贷协议。通过贿选和锁仓机制创造了一个正向的经济飞轮，反哺OP 生态。

OP 链上热门生态协议

Sonne Finance 基于Velodrome 构建的正向经济飞轮

总结来看，Arbitrum: 复杂的衍生品交易、跨链借贷等创新性应用场景；OP: 仿以太坊Curve 生态贿选的那一套，实现正向的经济飞轮；可以说链上生态的复杂度是链上生态繁荣的必要非充分条件，复杂的defi 乐高一定是繁荣生态的基础。

再来看看三弟zkSync:SyncSwap 是绝对的龙头，TVL 达到8200万美元，占zkSync TVL 的比重接近一半。龙头协议这里就不表了吧，毕竟近期“名声大噪”。链上创业盘、土狗盘满天飞，主旋律就是“rug”.空投猎手们为zkSync 的TVL 撑起了半边天。

zkSync 链上热门生态协议

聊完生态的复杂度，再来聊基础设施应用的广泛性。OP/ Arbitrum/ zkSync 都推出了模块化的堆栈，供开发者便捷地启动L2/ L3. 1️⃣OP: OP Stack 2️⃣Arbitrum: Arbitrum Orbit 3️⃣zkSync: zkSync HyperChain目前应用最广泛的，当之无愧是OP Stack.

继Coinbase 宣布基于OP Stack 构建L2 Base 后，越来越多的项目加入到了这一阵营：包括但不限于：1️⃣Binance opBNB 2️⃣a16z 3️⃣Worldcoin 4️⃣ZORA 5️⃣Manta Network

基于OP Stack 的模块化堆栈

衍生品交易协议Syndr 近期也宣布基于Arbitrum Orbit 构建L3 应用链。Relativefi, OthersideMeta 等协议也有基于Orbit 构建L3 的意愿。反观zkSync, 加密市场上鲜有讨论其L3 架构HyperChain 的声音，更别谈基于HyperChain 构建zk L3了。

最后，看看zkSync 近期备受争议的NFT “随机”空投事件：zkSync 官方对其生态用户1万个“随机”地址空投NFT, 之后被扒出“随机”的地址基本上都是0x0 开头的，甚至还包括一些0交易、仅1-2笔交易的非活跃地址。之后迫于舆论压力，官方出来辟谣他们对“随机”的定义不准确，是合格地址的前1万名。

zkSync 官推对NFT 空投地址的解释

此次NFT”随机”空投事件成为zkSync TVL 急剧下跌的导火索，短短一周TVL 跌去近8000万美元，跌幅达16%+。于此同时，zkSync 的竞争对手- 同样的潜在发币项目StarkNet, 同期的TVL 涨幅达到近35%。有理由相信，这种链间大幅的资金增减变动，很大一部分是撸毛党们改变策略导致的。

StarkNet 近期TVL 走势

zkSync 近期TVL 走势

这也从侧面印证了zkSync 链上有真实需求的用户极少，链上生态的繁荣是“伪繁荣”，是基于zkSync 的发币预期衍生出的需求。对于另外2个老大哥Arbitrum 和OP, 均已发币。当然发币了也有追溯性空投的预期，但不可否认的点是，Arbitrum/ OP 上存在着更多有真实的、多元化的交易需求的用户。

这里，我可以很主观地讲：如果没有撸毛的用户，zkSync 毛都不是。面对这样的链上生态和“活跃”用户，斗胆问一句：zkSync 现在敢发币吗？消除了发币预期，谁更能打，一目了然。

最后

还是那句老生常谈的话：大潮退去，才知道谁在裸泳。

#layer-2 #zkSync #arbitrum #optimism #starknet

看简洁

Manta于币安首发，成功万众瞩目，上线直冲3u，就要恭喜参与Manta社区一级的伙伴了，认勾0.15，再次拿下30倍，这颗新星没有让大家失望，时间给出了答案，认准华尔街加密研究院！

近期热度基本都在币安上了，币安新CEO上任频繁上新项目，看来是想把罚款的钱给收回来的节奏呀！
首先本周最引人关注的焦点——Manta。这个备受期待的Layer 2项目在昨晚6点同步登陆各大主流平台，可谓是充满期待，展现出其强大的实力！

对于这个代币，我们可能会好奇它的价格会涨到何种程度，以及何时进场或退出较为合适。

值得注意的是，各大Layer 2项目最令人关注的一个指标就是它们链上资金的总价值TVL。

特别是在Layer 2领域，机构投资人往往以链上资金的总价值TVL作为估值和融资的关键指标。因此，这个指标的高低直接影响着项目的价格表现。
目前主流扩容链的TVL分别是多少呢？让我们来看一下相关数据。
当前，拥有最高链上资金的二层网络是ARB，其TVL达到了37亿美元，代币总市值更是高达210亿美元。与市值相比，ARB的TVL与市值的比值为0.176。

什么是 Manta？
Manta Network 是用于零知识（ZK）应用程序的模块化区块链，拥有快速的 Prover 效率和去中心化的可信设置，为 Web3 带来可编程隐私。

其核心产品和技术组件，包括 zkNFTs 和 MantaPay，以及具有隐私功能的 zkSBT、隐私钱包 Manta Wallet，为用户提供友好的、可访问的、强大 ZK 应用。
Manta Pacific 是模块化 L2 生态系统，为用户提供低成本和优质体验的 EVM 原生 ZK 应用程序和 dapp。
利用 Manta 的通用电路来实现 ZK 即服务，并利用 Celestia 的模块化数据可用性来提供低汽油费，Manta Pacific 为支持 ZK 的应用程序提供了良好的环境。

MANTA 代币概览
初始总供应量为 10 亿 MANTA。
从代币初始发行开始，每年增发 2%。
治理 Governance：MANTA 代币持有者可以对 Manta Pacific 和 Manta Atlantic 网络治理决策进行投票。
质押 Staking：质押 MANTA 有助于加强 Manta Atlantic 整体安全性。
Collator Delegation 委托：MANTA 持有者可以选择将他们的代币委托给 Collator，或者自己质押 MANTA 运行 Collator 以保护网络。
网络费用：Manta Atlantic 使用 MANTA 支付交易费。
本地流动性与抵押 Native Liquidity & Collateral：MANTA 代币可在 Manta 生态系统中用作本地流动性代币和抵押品。
MANTA 代币经济学
Manta Network 于1 月15 日公布了MANTA 币的代币经济模型。
MANTA 币的总供应量为10亿，每年增发2%。初始流通量为2.51 亿枚MANTA（代币最大供应量的25.1%）。
其代币分配如下：

可以看到，MANTA 空投共用两轮，占总供应量的12.10%。目前暂未有详细申领信息，用户需注意虚假钓鱼连结，不要落入假代币骗局。

总结

这波大牛市将是L2的大牛市，从各大L2连锁TVL可以看出，是增长最快的，也是金额最大的，原因很简单，钱在哪里(投资机构把钱放在哪里)，那么哪里就会爆发(机会更多)。在L2的OP系列中已经被OP和ARB占据，后续的奋斗会集中在L2的ZK系列

一级市场目前也是热度空前的高涨，以太雄起，身为L2的龙头中心Starknet自然万众瞩目，zk（零知识证明）系列，zks，linea，斯塔克都是属于这个系列的，目前starknet估值已达百亿，上线定是一颗耀眼的星！
v神以太坊基金会强势加持，目前也是火热参与中，三月首发币安okx将带来什么样的惊喜那？请看下文！

ZK-Rollup阵营的 @Starknet就要推出$STRK代币了。上线时间预计为2024.3月，届时STRK代币将作为TX fee应用到主网运转过程中。期待一下。

01

项目简介及愿景
StarkWare是基于STARK的零知识证明技术且专注于区块链行业开发的解决方案，致力于促进安全、无需信任和可扩展的区块链应用程序开发，以确保以太坊安全、快速和无缝的用户体验。
StarkWare已开发了StarkEx和StarkNet两个产品。StarkEx是一个独立的许可Validity-Rollup（也称为“ZK-Rollup”）；StarkNet是一个无需许可的去中心化 ZK-Rollup。
Starknet作为以太坊上的 L2 网络运行，可以使任何 dApp 都可以实现无限的计算规模——而不会损害以太坊的可组合性和安全性，这是因为首先由于Starknet 对最安全和最具可扩展性的加密证明系统 STARK 的依赖；
其次Starknet 合约和 Starknet 操作系统采用Cairo语言编写，可支持任何用例的部署和扩展。

02

特色和优势
StarkWare联合创始人 Eli Ben-Sasson 在接受媒体采访时被问到项目的特色和优势是什么时回答道：StarkWare在所有 L2解决方案中体现的巨大交易总额和承载量具有先发优势。此外，ZK-STARK 系统、具备图灵完备的Cairo编程语言都被团队看作是StarkWare项目区别其它Layer2公链项目的优势。

巨大交易总额和承载量
从StarkWare官网获悉，截至2023年5月4日，StarkWare项目当前累计交易额为9470亿美元，总锁定价值（TVL）为5.52亿。

和以丰富生态规模的Polygon项目相比，据其官网显示，Polygon当前累计交易总额为24.4亿美元。

2018年1月，StarkWare种子轮融资600万美金，投资人包括以太坊创始人Vitalik Buterin（V神）、Paradigm、Pantera Capital PolyChain；
2018年7月，Ethereum Foundation（以太坊基金会）投资StarkWare1200万美金；

2018年10月，A轮融资3000万美金，红杉、Paradigm、Scalar Capital、Multichain Capital、Intel Capital、Semantic Ventures、Pantera 等参与投资；

2021年3月24日，B轮融资7500万美金，红杉、Wing Venture Capital、Paradigm、Pantera Capital继续参投，包括Three Arrows Capital、DCVC 等也参与了本次投资；

2021年11月，C轮融资5000万美金，估值20亿美元，红杉资本领投，Paradigm、三箭资本、Alameda Research 等知名加密风投机构参投。

2022年5月25日，StarkWare完成1亿美元D轮融资，估值80亿美元。此轮融资由 Greenoaks Capital、Tiger Global 等机构领投，所筹资金将用于产品和业务开发及生态系统的发展。
03

基金会和代币
StarkWare 认为StarkNet 尽管STARK 技术成熟且安全，但仍需要更去中心化，让它达到像是以太坊一样公共财的地位。StarkNet 基金会将一次性授予StarkNet 的代币资助，作为非营利组织维护公共财。

而StarkNet 代币，则用于营运、维护与保护此生态系统，在治理、交易支付与共识机制参与方面，都会用到此代币。

StarkNet 代币分配

04

Starknet融资
目前Starknet的公司Starkware总共披露了7轮融资，融资额达到了2.73亿美元，在D轮融资估值达到79亿美金。

其中有很多我们很熟悉的风险投资基金，红衫，老虎，paradigm，coinbase等等。在种子轮的时候，V神，以太坊基金会也参与了融资。融资阵容非常豪华。
05

团队信息
在官网上公布的目前有78名员工，7位技术顾问，5位传统顾问。两位创始人，ben，在密码学，零知识证明方面的研究非常深入。他也是Stark，Zerocash协议联合发明者，Zcash的创世科学家。另一位创始人是一名连续创业者，创立了多家科技公司，创业经验，企业管理经验非常丰富。团队能力很全面。
06

总结
StarkNet优点

与 zkSync 等其他 ZK rollups 不同，StarkNet 不是“zkEVM”——这意味着智能合约（为以太坊上您最喜欢的 Dapp 提供支持，如 Uniswap 和 OpenSea）必须用 StarkNet 自己的编程语言 Cairo 编写。

Cairo 是一种非常强大的语言，针对 ZK rollups 进行了优化。它允许您在 EVM 上做所有您能做的事情，甚至更多，因为计算成本要低得多。

这创造了以前在区块链上不可能实现的全新可能性，例如真正的区块链游戏！

StarkNet额度极度稀缺，以太坊二层上面就两个派系，一个op系列：op，arb都是属于op系列！另一个派系就是zk（零知识证明）系列，zks，linea，斯塔克都是属于这个系列的，目前starknet估值已达百亿，上线定是一颗耀眼的星！

少量额度，联系小编 #Manta #BTC #sol #starknet

看简洁