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

By [Echoic](https://paragraph.com/@echoic) · 2022-05-21

---

> 原文：[https://www.chaincatcher.com/article/2070448](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，发布测试网，发布主网

---

*Originally published on [Echoic](https://paragraph.com/@echoic/starkware)*