# 阅读笔记 | 《深度研究StarkWare:技术路线、发展历程与发展现状》 **Published by:** [Echoic](https://paragraph.com/@echoic/) **Published on:** 2022-05-21 **URL:** https://paragraph.com/@echoic/starkware ## Content 原文:https://www.chaincatcher.com/article/20704481、介绍基于技术: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基于具备图灵完备性的CairoAMM: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,发布测试网,发布主网 ## Publication Information - [Echoic](https://paragraph.com/@echoic/): Publication homepage - [All Posts](https://paragraph.com/@echoic/): More posts from this publication - [RSS Feed](https://api.paragraph.com/blogs/rss/@echoic): Subscribe to updates