阅读笔记 | 《深度研究StarkWare:技术路线、发展历程与发展现状》

原文:https://www.chaincatcher.com/article/2070448

1、介绍

基于技术:

  • STARK:scalable transparent argument of knowledge 可扩展的透明知识论证,零知识、透明、后量子

StarkWare提供两种服务:

  • StarkNet:一个无需许可的去中心化 ZK-Rollup。 任何开发人员都可以使用智能合约部署任何 dApp,并实现无限规模

  • StarkEx:独立的 ZK-Rollup SaaS(Software as a service 软件即服务)。DApp 可以建立在 StarkEx 服务的基础上,该服务支持一系列开箱即用的用例:NFT 铸造和交易、衍生品交易、AMM、现货交易、支付和 DeFi 池

STARK 的运行过程:

将计算和存储移至链下,建立链下服务,生成Stark证明计算的完整性。然后,证明将被放回链上,再进行验证,通过大部分计算工作在链下完成,节省了空间,同时保持计算的完整性和无信任假设。

2、时间线上的进展

成立公司:

  • 2018 年

StarkPay:

  • Starkware 2019 年3月推出

  • 基于STARK技术的支付可扩展性引擎,解决了Lightning、L2支付解决方案的许多缺点

  • 目标是提供一个可扩展的、资本效率高的非托管支付解决方案,不是必须在线

Immutable合作:

  • 2020年,Starkware宣布正式和Immutable合作

  • Immutable是建立在ETH上的卡牌游戏,Gods Unchained的创始团队

  • 把StarkWare的可扩展性引擎StarkEx带入区块链游戏和NFT领域

  • 使用 STARKs 来证明链下计算的任何游戏逻辑的完整性

Cairo:

  • 2020年8月,推出Cairo,图灵完备的生产级 STARK 系统

  • 2020年12月,迅速推出了升级版本,StarkEx2.0,转向通用的Cairo语言框架

  • 2020年12月,发布Cairo的工具链,包括编译器、Cairo虚拟机、Tracer代码调试器、集成开发环境扩展

StarkNet:

  • 2021年1月,基于之前的基础,开始正式构建StarkNet

  • 去中心化的、由STARK驱动的L2 ZK-Rollup

  • 基于具备图灵完备性的Cairo

AMM:

  • 2021年4月,提出由以太坊L2驱动的AMM设计,流动性保持在L1上,而用户在L2上进行交易

dYdX:

  • 在与dYdX团队密切合作几个月后,Starkware将dYdX的永久合约交易平台移植到StarkEx上运行

StarkEx3.0正式发布:

  • 2021年7月

StarkNet Alpha在主网上正式发布:

  • 2021年12月

  • 21年6月发布到公共测试网


感想:

  • Uri 的照片看起来有点乔布斯的感觉,以色列人,典型的聪明种族;面相看着非常精明、长寿、健康,这类人创业最不缺的就是精力,相信他可以带领 StarkWare 很多年。团队其他核心成员在技术都有很高的知识水准。除此之外,团队顾问Avi Wigderson获得了Abel Prize(数学界中等同于诺贝尔奖级别的奖项),零知识证明界的顶级专家。这个团队在技术上的人才水平绝对是顶级的。

  • 时间线上看,StarkWare 一步一个脚印,走得非常稳,交付能力强:先推出 StarkEx,和Immutable、dYdX搞合作;开发自己的编程语言 Cairo,在开发的各个层面上完善工具;后面再构建StarkNet,发布测试网,发布主网