Web3之L2 ZK-Rollup 方案-StarkNet

L2 ZK-Rollup 方案-StarkNet

一、StarkWare

官网： https://starkware.co/

StarkWare 主要解决了区块链的可扩展性和隐私。 StarkWare 开发了一个完整的解决方案，使用 stark技术，通过 zk-Rollups 和 Validium 模式组成 Volition 来生成和验证计算完整性的证明。 StarkWare 的密码证明可以做到零知识、简洁、透明和后量子安全。 StarkWare 所研发的产品主要有： StarkNet、StarkEx、Cairo。

StarkWare：始于2018年5月。该团队由世界级的密码学家和科学家组成。核心人员是前Zcash首席科学家，多年来一直是zk领域的创新先锋。他们正通过Starknet将学术理论转化为现实世界的产品。他们无疑是zk游戏中最著名的团队。

StarkWare 团队

StarkWare 主要由世界顶级密码学家构成：

• Eli Ben-Sasson：Co-Founder & 首席科学家，以色列理工学院计算机专业的教授。Zcash 的创始科学家，ZK-STARK的发明者。
• Alessandro Chiesa：Co-Founder & 首席科学家，加利福尼亚大学伯克利分校计算机专业的教授。Zcash项目的co-founder，ZeroCash协议的co-investor，同时也是libsnark和artworks的核心开发者。
• Uri Kolodny：Co-Founder & CEO，Uri 是一个商业经验丰富、善于合作的连续创业者。
• Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。
• Oren Katz：工程副总裁。Hebrew大学计算机专业毕业，Tel Aviv MBA，20 年经验的资深工程师。

zk rollups 被业内公认为区块链扩容的终极解决方案，而 StarkWare 则是公认的目前全球最好的 zk rollups 团队之一，联合创始人 Eli Ben-Sasson 是世界顶级的密码学科学家，Uri Kolodny 则是具有成熟商业素养的连续创业者，团队能力全面。

二、什么是StarkNet

StarkNet 是一个基于 Stark 技术的去中心化 L2 ZK-Rollup 方案，具有免许可性，支持基于 Cairo 语言的通用计算。

StarkNet是基于Stark 零知识证明方案的L2的ZK-Rollup.

StarkNet基于图灵完备的Cairo语言，支持以太坊上通用的计算。

在StarkNet上，开发者可以构建应用并部署；用户可以发起交易并在StarkNet上执行； 节点可以通过激励保证网络良好运转。

StarkNet的所有交易周期性地批量打包到一个proof中，在以太坊上验证。

总结：StarkNet 是一款无需 StarkWare 许可的去中心化的 zk rollup。它是运行在以太坊之上的 Layer2 网络，开发者可以通过申请自主地在 StarkNet 上部署合约，具有高扩展性，同时保持以太坊的可组合性和安全性。

三、Layer2 扩容项目-对比

速览7个 Layer2 扩容项目在2021年的进展与生态
参考URL: https://www.sohu.com/a/515020878_121118710
以太坊二层解决方案zkSync与Starkware的对比
参考URL: https://view.inews.qq.com/a/20211213A07JKK00

目前的以太坊扩容赛道并不大，但竞争已然非常激烈。整个 Layer2 赛道目前总锁仓量达 49.5 亿美元（22年6月），占到以太坊总锁仓量（680.7 亿美元）的 7%。Starkware 支持的应用总市场份额占到整个 Layer2 的 21.32%，相比之下，Arbitrum 作为当下最主流的 optimistic rollups 方案，占到 Layer2 总市场份额的 53.54%，可见，扩容领域竞争之激烈，Polygon 的 co-founder Mihailo Bjelic 曾用“让一千朵花绽放”来比喻这个行业的竞争格局。StarkWare 主要有 4 类竞争对手：

1. Polygon 这样的 all-in-one 解决方案
   Polygon 于 2017 年成立于印度，最开始叫作 Matic Network。最开始采取的扩容路线是 Plasma，随着 Plasma 的势微，它开始探索其他更多的扩容方案，更名为 Polygon，变成了一个支持多种扩容解决方案的开发者平台。
   Polygon 具有 EVM 兼容性，有良好的社区开发氛围。

2. 以 Arbitrum 和 Optimism 为代表的 Optimisitic rollup
   Optimistic rollups 由于技术上比 zk rollups 更容易实现，在市场上更早获得主流应用，也更成熟。该赛道的头部玩家有 Arbitrum 和 Optimism。

Arbitrum 由 Offchain Labs 开发，创始团队包括普林斯顿大学计算机专业的资深教授 Ed Felten。

3. zk Rollup 赛道内的强劲对手
   ZkSync 是 zk Rollup 赛道最强劲的对手之一，背后的开发团队是 Matter Labs，成立于 2019 年 12 月。zkSync 同样受到顶级资本的支持，包括：以太坊基金会、a16z、USV、1kx 等等，其生态目前共有 70 多个项目。

和 StarkWare 不同的是，zkSync 采用基于 SNARK 技术的 zk 系统。zkSync 2.0 支持具有链上数据可用性的 zkRollup 和具有链下数据可用性的 zkPorter 两种模式，并且能兼容 EVM。

4. Cosmos 等支持 appchain 的生态
   Cosmos SDK 为开发者设计了一套便捷的公链开发方案，为超级应用自建 appchain 提供了强有力的基础设施支持。相比起从头搭建一条独立的链，Cosmos 生态有更好的安全保障。dYdX 的离开可能会引领以太坊原生项目出走的趋势。

其他参考

一文读懂 StarkWare：dYdX 和 Immutable 背后的 L2 方案
参考URL: https://blog.csdn.net/makilisg/article/details/121137822
StarkWare：以太坊扩容最佳团队，80 亿美元高估了吗？
参考URL: https://mp.weixin.qq.com/s/VthPnsONmW8yywna0QzFQg