天天看点

StarkNet Project Analysis

作者:白天鹅战略轰炸机

项目简介

StarkWare是基于STARK的零知识证明技术且专注于区块链行业开发的解决方案,致力于促进安全、无需信任和可扩展的区块链应用程序开发,以确保以太坊安全、快速和无缝的用户体验。

StarkWare已开发了StarkEx和StarkNet两个产品。

  • StarkEx是一个独立的许可Validity-Rollup(也称为“ZK-Rollup”)
  • StarkNet是一个无需许可的去中心化 ZK-Rollup

StarkNet 是一个基于 ZK-Rollup 技术的去中心化 L2 协议,ZK-Rollup 技术是一种安全机制,通过该机制,链下证明者使用的输入不会暴露在区块链上。

StarkNet 合约和 StarkNet 操作系统是使用Cairo编写的,它支持几乎所有业务逻辑的部署。

特色和优势

1. 在所有 L2 解决方案中体现的巨大交易总额和承载量,具有先发优势。

  • 截至2023/05/04,StarkWare项目当前累计交易额为9470亿美元,总锁定价值(TVL)为5.52亿
  • 和以丰富生态规模的Polygon项目相比,据其官网显示,Polygon当前累计交易总额为24.4亿美元

2. StarkWare 采用的STARK系统属于升级后的零知识证明算法,算法升级后让区块链具备更强的可扩展性。

  • 允许开发人员将链上的交易数据运算及部分数据的存储转移到链下计算
  • 链下批量处理后的数据再打包生成一个 STARK 证明
  • 将该证明发送至链上供任何利益相关方进行验证

团队开发的扩展技术项目StarkEx同时支持ZK-Rollup模式和Validium模式

  • ZK-Rollup数据可用性在链上
  • ZK-Rollup适用于数据安全性要求较高的支付和交易应用
  • Validium数据可用性在链下
  • Validium适合对信任要求没那么高的游戏dApp等高频应用

3. Cairo编程语言

  • 首个用于生成STARK证明的生产级平台,由团队开发,具有图灵完备、高效等特点
  • 能提高链上验证和链下证明服务的效率并降低成本
  • 深层意义在于可使用单一证明来断言不同程序执行的完整性

发展历史

  • 2018年,SatrkWare成立。
  • 2019年3月,推出StarkPay,一个基于STARK技术的支付可扩展性引擎,解决了Lightning,L2支付解决方案的许多缺点。
  • 2020年,Starkware正式和Immutable合作(Immutable是在ETH上的卡牌游戏)
  • 2020年6月,StarkEx正式部署在以太坊主网上。
  • 2020年8月,推出Cairo, 由StarkWare开发的图灵完备的生产级 STARK 系统。
  • 2020年12月,升级StarkEx2.0版本,转向通用的Cairo语言框架,发布Cairo的工具链,包括编译器/虚拟机/Tracer代码调试器/集成开发环境扩展,使开发人员能够编写更有效的代码来检查复杂、成本较高的的计算,提高可扩展性。
  • 2021年1月,构建一个去中心化的、由STARK驱动的L2 ZK-Rollup——StarkNet。
  • 2021年4月,StarkWare提出了由以太坊L2驱动的AMM(Automated Market Maker,自动做市商。AMM不需要订单薄,当用户向项目中添加交易对时,提供交易对的人被称为“流动性提供者” )设计,流动性保持在L1,但用户在L2上进行交易。
  • 2021年7月,StarkEx3.0正式发布。以太坊智能合约首次可以为StarkEx上资产提供服务,通过L1 Vaults与L2用户交易这些资产。
  • 2021年12月,StarkNet在主网上正式发布StarkNet Alpha,支持完全无需许可的通用计算智能合约。
  • 2022年6月23日,正式发布 StarkEx V4.5 版,支持 Volition、ERC-1155 和交易捆绑。
  • 2022年7月13日,StarkWare 计划 9月推出 StarkNet 代币,并在未来一年半内分发。
  • 2022年9月12日, StarkNet Alpha 0.10.0 版本正式上线主网。此版本引入了受 EIP-4337(通过 Entry Point 合约规范的账户抽象)启发的更改,包括验证和执行分离、添加 Nonce 字段以在协议级别强制执行事务唯一性等。
  • 2022年9月13日,推出 Cairo 1.0 版本,支持 StarkNet 的无许可网络要求。
  • 2022年11月10日,成立 StarkNet 基金会以推动 StarkNet 生态发展,并将通过研究治理机制等来帮助网络实现去中心化。
  • 2023年3月30日,Starknet Alpha v0.11.0 上线主网。
  • 2023年4月18日,发布 StarkEx V5.0 版本,引入多资产交易、铸造 ERC-1155 和 ERC-20 代币等功能。

团队背景

StarkWare 总部位于以色列内坦亚 Netanya,共有4位创始人。

  • 联合创始人兼总裁: Eli Ben-Sasson
  • 首席执行官:Uri Kolodny
  • 首席架构师:Michael Riabzev
  • 联合创始人:Alessandro Chiesa
StarkNet Project Analysis

左起:Eli Ben-Sasson、Alessandro Chiesa、Uri Kolodny、Michael Riabzev

融资信息

  • 2018/01,种子轮融资600万美金(V神、Paradigm、Pantera Capital PolyChain)
  • 2018/07,融资1200万美金(Ethereum Foundation)
  • 2018/10,A轮融资3000万美金(红杉、Paradigm、Scalar Capital、Multichain Capital、Intel Capital、Semantic Ventures、Pantera等参与投资)
  • 2021/03,B轮融资7500万美金(红杉、Wing Venture Capital、Paradigm、Pantera Capital继续参投,包括Three Arrows Capital、DCVC 等也参与了本次投资)
  • 2021/11,C轮融资5000万美金,估值20亿美元(红杉资本领投,Paradigm、三箭资本、Alameda Research 等知名加密风投机构参投)
  • 2022/05,D轮融资1亿美元,估值80亿美元(Greenoaks Capital、Tiger Global 等机构领投,所筹资金将用于产品和业务开发及生态系统的发展)

工作原理

  • 用户在 StarkNet 上发起一个交易,Starknet 中的排序器给交易排序,确认(validata)、出块后执行交易;
  • StarkNet 上的证明者给交易生成证明,并发送给以太坊的验证者;
  • 验证者将收到的证明作为 L1 交易在以太坊验证(validata),验证结果发送给同在以太坊上的 StarkNet Core 合约;
  • 当 StarkNet Core 合约确认验证者在链上成功确认其加密证明时,它会接收对 StarkNet 全局状态的更改。状态事务作为“calldata” (EIP-4844后为Blob)来发送,以节省 L1 事务 gas。这些“metadata”可被 StarkNet 全节点解密。

全节点基本扮演存储角色、状态改变、元数据、证明,并记录在 Rollup 中执行的所有事务,跟踪系统的当前全局状态。在有必要的时候,解密“metadata”来重构 StarkNet 的历史。

经济模型

StarkWare已经在链下铸造了100亿个代币。需要明确的是:这些StarkNet代币不代表StarkWare的股权,也不提供任何参与StarkWare或从StarkWare获得索赔的权利。随着协议铸造新代币,流通供应量将会随着时间增加,并根据社区在以后确定的时间表进行。因此,流通供应量可能不会保持固定状态。

StarkNet代币分配

  • 17% — StarkWare 投资者;
  • 32.9% — 核心贡献者(StarkWare团队/员工/顾问),以及StarkNet软件开发合作伙伴;
  • 9% — 社区供应。给予那些为 StarkNet 工作并为其底层技术提供动力或开发的人,例如给予之前测试 StarkEx L2 系统的人(所有社区规定都将基于过去执行的可验证工作。例如,如果社区规定将代币分配给过去的 StarkEx 用户,分配将根据2022年6月1日之前对 StarkEx 技术的可验证使用情况来确定)。
  • 9% — 社区返利。社区返利是指支付从以太坊加入 StarkNet 的部分费用(为防止游戏化,社区返利将仅适用于返利机制公布后发生的交易)。
  • 12% — 资助用于开发、测试、部署和维护 StarkNet 协议的研究和工作。
  • 10% — 战略储备。用于资助符合基金会使命的生态系统活动。
  • 2% — 根据 StarkNet 代币持有人和基金会的决定,捐赠给备受推崇的机构和组织,例如大学、非政府组织等。
  • 8.1%未分配 — 基金会的未分配金库已到位,以社区决定的方式进一步支持 StarkNet 社区。
StarkNet Project Analysis

行业分析

和StarkWare常用来比较的项目是zkSync。二者都采用了ZK Rollup技术解决扩容问题但又各有侧重。双方都对零知识证明算法进行了改进,zkSync更看重隐私,StarkWare更看重效率。

  • zkSync 方案采用了「zkSNARK 简明非交互式零知识证明」算法,即证明者和验证者只需交换相关证明,无需进行任何其它通信,在保护隐私方面更极致。
  • StarkWare 方案采用的是「zkSTAR 全透明式零知识证明算法」,将用户的链上数据转移到链下 STARK 证明器 (prover) 中进行计算验证(验证计算的完整性和可靠性),其最大的优势是数据处理速度很快,且数据越多,处理的速度越快。

在运营方式上:

  • zkSync 更去中心化运营,团队MatterLabs 甚至多次表示「自己被替代也无所谓」的态度,目的只在推动以太坊社区发展。其zkSync2.0 版本也将成为第一个兼容 EVM 的 ZK Rollup 扩容解决方案,意味者兼容EVM后的zkSync能够建设、扩展更多应用生态,吸引更多用户。
  • StarkWare 当前更偏向服务B端客户的项目,前期所提供的 StarkEx 产品只面向区块链开发商,尽管已经开发了 Layer2 扩容网络 StarkNet,但它的底层代码也不兼容以太坊虚拟机(EVM),导致以太坊应用方想要迁移就需要改动底层代码。

基本面分析

StarkNet 目标是性能和用户体验!团队表示这些里程碑将专注于将性能提升到新的高度,并提供无缝的用户体验。“到年底,我们将实现强大的网络,并在 2024 年过渡到无缝治理!”

可以看出包括无缝衔接的性能体验在内是StarkWare项目未来一段时间着力发展的点。

再从项目的交易量、总锁定价值、NFT铸造数量等数值可以看出StarkWare当前的基本状态。据官网显示,StarkWare项目当前总锁定价值(TVL)为5.52亿,累计交易额为9470亿美元,NFT铸造数量为10500。其累计交易额及TVL都处于Layer2项目当中的前列。

此外,技术实用性也是StarkWare的一大立足点。团队曾表示“要建立一个有持续性收入的企业,基于对现金流和收入的要求,创始团队做出的策略是,首先要开发可以满足需求的技术”。

基于这样的策略,StarkWare的知名度不如其它同类项目。另外在项目早期,SatekWare 所提供的产品 StarkEx 主要服务于开发商(to B),而不是普通用户(to C)。也因此,造就了DeFi领域知名的应用平台(如去中心化合约交易应用 dYdX)。

风险

StarkWare风险在于ZKP技术本身。由于数学工程的复杂性,STARKs距离商业化还有一段时间。另外就其ZKP类型而言,相对于STARK,包括Vitalik Buterin在内的人士从长远角度更看好SNARK。当StarkWare在未来蓬勃发展时,它如何在技术层面实现对用户隐私的绝对保护,这是一个考验。

扩展阅读:

  • 我创建了第一个Web3网页,很简单你也可以
  • DAO是一场人类社会运作关系的革新
  • IPFS是什么?看这篇文章就够了
  • web3和web3.0有何不同?
  • 内容好到炸!《从0到1:精通NFT》第一章

继续阅读