ARKE:Starkware技术架构与生态应用梳理_Cairo Finance

StarkWare

简介

StarkEx和StarkNet均为StarkWare团队开发的项目，前者类似Iaas，类比应用链，StarkWare帮助大型项目开发专有应用Rollup；后者则是可部署通用应用的Rollup。

截止目前，StarkWare已经完成6轮融资，共计2.73亿美元。尤其是最近一轮融资金额达到1亿美元，使其估值翻了两番，达到80亿。作为L2项目中估值最高的项目，本文特探讨Starkware的

技术

架构和生态应用。

StarkEx：专有ZKR引擎

简介

在去年和今年上半年，StarkWare通过提供扩容技术解决方案StarkEx创立了扩容即服务的商业模式，建立应用专有网络，服务业内头部客户

dYdX

、Sorare、ImmutableX、DeversiFi等。

整体架构

工作流包括以下四个环节

打包交易：链下服务器处理客户请求，将多个交易组合成一个“批次”，供StarkEx处理。

确认交易和更新状态：链下服务器确认交易合法，并以被压缩后的哈希形式更新系统状态。

为交易生成证明：完成上述流程后，SHARP会为交易生成STARK证明以确认交易的有效性。然后将证明和更新发送到链上Verifier

智能合约

，以确保交易的完整性。

链上验证证明：一旦STARK证明被验证，状态更新被提交并结算回以太坊主网。所有交易都是在链外处理和验证的，而其完整性的证明是在链上验证的。

SHARP是一个共享证明者，它同时为多个StarkEx客户\u002F应用提供证明生成服务——生成计算完整性声明的证明。

Verifier是部署在以太坊上的智能合约，用于验证来自StarkEx的交易的正确性。

StarkWareApplications

StarkEx应用程序是一系列支持可扩展和自我托管交易的应用程序，区分现货交易和杠杆交易。应用包括两个组件，智能合约和后端。

标准流程

用户发起交易，交易可以直接与智能合约交互

每个交易都有一个唯一的id，共同组成一个交易流，StarkEx应用将交易流传输到后端

后端将状态转换提交给SHARP，SHARP为状态转换生成证明

SHARP向验证者合约提交证明并在验证者完成验证后，验证者将之记录在VerifierFactRegistry，然后后端将在StarkEx智能合约上执行状态转换。

StarkEx智能合约检查状态转换是否符合预定义规则来确保状态转换的有效性。

参考链接：Introduction::StarkExDocumentation

高级概述

如下图所示，StarkEx系统旨在接受来自合作伙伴后端的用户交易。这些交易随后由StarkEx系统进行批处理和处理。结合前面智能合约和后端的介绍，整个StarkEx处理交易的过程和职责分工概述如下。

直播｜Elsa > 区块链企业钱包如何防护数字资产安全:金色财经 · 直播主办的《 币圈 “后浪” 仙女直播周》第8期20：00准时开始，本期“后浪”仙女太壹科技 首席品牌官 Elsa将在直播间聊聊“区块链企业钱包如何防护数字资产安全”，感兴趣的朋友扫码移步收听！[2020/7/12]

前端，StarkEx客户支持两类操作，链上和链下。前者是标准的以太坊交易，用户直接通过StaarkEx合约进行存款取款，后者是通过StarkEx引擎执行的操作，如dydx等。

订单验证，由StarkEx客户的后端设置并进行验证。

业务逻辑，客制化StarkEx合约来支持客户业务逻辑

交易流，传输到StarkEx的所有交易都使用称为tx_ids的连续标识符进行验证和索引，类似nonce的做法，

交易发送方，一旦StarkEx网关确认交易正确就会保证执行它，并且将在前端提前显示给用户，而不是等待链上最终确定。

错误处理，如果检测到无效交易，StarkEx系统将会向客户的专业端点报告错误，客户将会以另外的要执行的交易列表来代替无效交易，如空列表等。

批处理审核，任何批次在链上传输之前可以被客户审核，如果和预期状态转换和不一致，客户可以不批准或者回滚。

抗审查，如果客户审查用户请求，StarkEx允许用户直接通过StarkEx合约执行操作，客户必须在规定时间内向用户提供它，否则StarkEx合约将会冻结。

参考文档：StarkExPartnerIntegration::StarkExDocumentation

StarkNet：通用ZKR

简介

不同于为不同的应用定制

ZKRollup

的StarkEx，StarkNet是一个通用的ZKRollup，

开发者

可在StarkNet上部署应用。

基本介绍

在以太坊上，每提交一笔交易都需要所有节点检查、验证并执行交易来保证计算正确性，并将计算后的状态变化在网络中广播。

https:\u002F\u002Fethereum.org\u002Fzh\u002Fdevelopers\u002Fdocs\u002Fevm\u002F

StarkNet仅在链下执行计算并生成一个ZK证明，然后在链上验证该证明的正确性，最后把多个L2交易打包为以太坊上的一笔交易。因此，StarkNet上发生的交易成本可以被同一打包批次的其他

交易所

均摊，就像拼车一样，交易越多，成本越低。

除此之外，相比以太坊让每个节点完整执行交易的方法，StarkNet为交易生成ZK证明的方法可以大大提高网络运行速度、减少链上通信量、增加网络吞吐，因此StarkNet相比以太坊具有更高TPS和更低Gas。

简而言之，将验证计算正确性比喻为老师需要检查同学们是不是掌握了知识。以太坊的方法是检查每个同学是否能背诵整本教科书，而StarkNet的方法是让同学们做卷子。后者的效率更高，成本更低，但仍然保证

声音 | 美国商会Julie Stitzel：美国必须以不同方式思考如何将现有监管原则应用于数字资产:据Cointelegraph消息，美国商会资本市场竞争力中心副总裁Julie Stitzel表示，美国在金融部门通过和修改法律框架的历史导致了强有力的监管结构，使市场稳定并有效管理风险。尽管数字资产市场仍处于萌芽阶段，但存在着美国可能落后的风险和担忧——错过利用新兴技术培育创新、创造就业和增长经济的机会。作为世界上最大的经济体，美国必须以不同的方式思考如何将现有的监管原则应用于数字资产——包括加密货币。对数字资产进行适当分类，并确定有权监管和监督数字资产的联邦实体，这是为创新者提供监管清晰度的一种方式。[2019/8/5]

安全

。

EVM兼容

StarkNet网络本身不兼容EVM，而设计了另外一套ZK友好的CairoVM。

StarkNet没有和

Hermez

和Scroll一样针对以太坊操作码做ZK电路，而是自己做了一套更加ZK友好的汇编语言、AIR以及高级语言Cairo。

StarkNet属于

Vitalik

定义的type4级别——语言兼容的zkEVM。

https:\u002F\u002Fvitalik.eth.limo\u002Fgeneral\u002F2022\u002F08\u002F04\u002Fzkevm.html

尽管StarkNet本身不兼容EVM，但StarkNet仍然可以通过其他方式兼容以太坊。

1、Warp：将Solidity转译为Cairo语言的转译器

Warp是一个Solidity-Cairo转译器，目前已经由以太坊著名基础设施团队Nethermind开发完成。Warp可以把Solidity代码转译为Cairo，但转译后的Cairo程序往往需要修改并增添Cairo特性才能最大化执行效率。

2、Kakarot：一个用Cairo语言编写的zkEVM

Kakarot是一个用Cairo写的智能合约，目前部署在Starknet上，字节码等效EVM。目前处于测试阶段。以太坊应用可以通过部署到Kakarot的方式移植到StarkNet。

Kakarot可以：(a)执行任意EVM字节码，(b)按原样部署EVM智能合约，(c)调用Kakarot部署的EVM智能合约的功能

Kakarot是一个EVM字节码解释器。

目前已经支持EVM全部操作码。

https:\u002F\u002Fgithub.com\u002Fsayajin-labs\u002Fkakarot

工作原理

组成部分

StarkNet有五个组成部分。分别是在StarkNet上的Prover，Sequencer和全节点；以及部署在以太坊上的验证者和核心状态合约。

https:\u002F\u002Fdavid-barreto.com\u002Fstarknets-architecture-review\u002F#more-4602

动态 | Coinbase试验如何让用户更好地控制个人信息:据coindesk消息，Coinbase正在试验如何让用户更好地控制他们的个人信息。Coinbase身份团队的产品经理B Byrne表示：“正在创建依赖于Coinbase产品（如其移动钱包）与dapp资源管理器之间的桥梁。我正在观察dapps，哪些客户正在使用哪些dapps。这可能是一个很好的指标，表明我们的客户希望在链上开展哪些类型的活动。”[2018/12/6]

当我们在StarkNet上发起一个交易，一个链下服务器——排序器将会接收、排序、验证，并将它们打包到区块。执行交易，然后状态转换发送给StarkNetCore合约；

证明者将为交易生成证明，并发送给以太坊的验证者合约；

验证者将验证结果发送到以太坊上的StarkNetCore合约，并从StarkNetCore合约触发一组新的以太坊交易，以更新链上的全局状态以进行记录保存。状态事务作为“calldata”来发送，以节省L1事务gas。这些“metadata”可被StarkNet全节点解密。

全节点基本发挥存储功能。全节点存储状态改变、元数据、证明以及记录在StarkNet中的已被执行的所有事务，并跟踪系统的当前全局状态。在有必要的时候，全节点将解密“metadata”来重构StarkNet的历史。

参考StarkNet开发倡导者@barretodavid写的《StarkNet’sArchitectureReview》。

浏览器https:\u002F\u002Ftestnet.starkscan.co\u002F，L2动态出块，以太坊一小时结算

账户抽象与交易模型

不同于以太坊EOA+CA的双账户设计，StarkNet实现了原生账户抽象，只有一种账户设计，借鉴了EIP4337的精神，

下图为交易模型，

https:\u002F\u002Fcommunity.starknet.io\u002Ft\u002Fstarknet-account-abstraction-model-part-1\u002F781

原生账户抽象为账户可编程打开大门，StarkNet的开发倡导者@barretodavid提到StarkNet上实现手机硬

钱包

的思路。

以太坊上的EOA仅支持Secp256k1椭圆曲线上的签名方案ECDSA

大部分的智能手机都不支持以太坊的椭圆曲线。

所以移动钱包需要依靠软件签署交易，移动钱包因此是热钱包。

StarkNet原生账户抽象，支持多种椭圆曲线，签名验证高度可编程，因此基于StarkNet\u002FCairo的手机钱包完全可以变成硬钱包。

Cairo已经有一个nistp256的实现

https:\u002F\u002Fgithub.com\u002Fspartucus\u002Fnistp256-cairo

简单来讲就是直接调用手机的加密模块来对交易进行“硬签名”。

金色财经独家整理 贸易战对比特币走势影响如何？贸易战避险，比特币“效果不错”:

今日凌晨，中美史上最大贸易战打响，全球股市重挫，数字资产比特币走势如何再被讨论。重温早在3月2日Brian Kelly在CNBC的关于贸易战的言论：贸易战将加强美元贬值、物价上涨的预期，由于普遍担忧通胀，人们愿意投资比特币这样的“新黄金”、 “硬资产”（避险），“在贸易战中，比特币效果不错”。

Brian Kelly的观点发表于300亿美元贸易战规模预测下，而今600万“变本加厉”。中国已于今晨展开“反击”，外媒也普遍预测美国为长期输家。股市下跌将支撑黄金，金价在昨日由于加息和贸易战担忧下收于两周最高点，而比特币为何反而下跌？据CNBC称：比特币未守住9000美元关口或因日本对加密数字货币加强监管力度的政策可能。金色财经认为，由于政策目前仍为影响比特币的主要因素，在最晚今年7月份国际监管措施出台、政策逐步趋稳后，数字货币价格将逐渐与黄金涨跌保持相似的变动。[2018/3/23]

STARK

目前有许多不同的证明系统，如Halo、PLONK、Groth16、Groth09、

Marlin

、Plonky2等，它们都属于SNARK证明系统。证明系统存在一个证明者生成证明，一个验证者验证证明。而不同的ZK项目几乎都会使用不同的证明系统，StarkNet使用的STARK某种意义上属于一种特别的SNARK。

STARK相比SNARK有更多创新。它不需要和SNARK一样依赖“可信设置”。它还带有更简单的密码学假设，避免了对椭圆曲线、配对和指数知识假设的需要，纯粹依赖哈希和信息论，因此抗量子攻击。总体来讲STARK比SNARK更安全。

在扩展性方面，STARK的扩展性更强。证明生成速度具备线性扩展性，验证时间和证明大小具备对数扩展性。但缺点在于生成的证明尺寸更大。但随着证明规模增加，验证成本将会边际递减——这意味证明越大，总成本越低。

https:\u002F\u002Fconsensys.net\u002Fblog\u002Fblockchain-explained\u002Fzero-knowledge-proofs-starks-vs-snarks\u002F

总结一下，相比SNARK，STARK更安全，平均验证时间和证明大小将随着验证规模扩大而降低，缺点在于初始证明尺寸更大，因此更适合大规模应用。

扩展性详解

证明时间线性扩展：证明人花费的时间与哈希调用的数量呈近似线性关系。

在80比特的安全级，STARK每12288次哈希调用的证明者执行时间为1秒，得12288次\u002FS；而每98304次哈希调用需要10秒，得9830次\u002FS，因此，我们可以知道STARK的证明时间和哈希调用基本呈近似线性关系。如下图所示

https:\u002F\u002Feprint.iacr.org\u002F2021\u002F582.pdf

**验证和证明大小对数扩展：验证时间与哈希调用呈现对数关系。**如下图所示：

左图可以看出，当哈希调用从3072增加到49152，验证时间从40毫秒增加到60毫秒。而当哈希调用从49152增加到786432，验证时间仅从60毫秒增加到80毫秒。证明大小同理。因此，我们可得知，哈希调用次数越多，平均验证时间越短，平均证明大小也会更小。

动态 | Innosilicon将推出挖掘GRIN的ASIC矿机:据bitcoinexchangeguide报道，矿机公司Innosilicon宣布将于2019年夏末发布首款用于GRIN的ASIC矿机。[2019/1/31]

递归证明

任何通用的、简洁的知识系统的证明\u002F论证都可以用来递增地验证计算。这意味着一个计算可以产生一个证明，以证明该计算的前一个实例的正确性，这个概念被非正式地称为“递归证明组合"或者"递归STARKs”。

换句话说，一个递归STARK证明者可为一个陈述生成一个证明，即系统的状态可以从a移到a+1。因为证明者已经验证了一个证实a的计算完整性的(递归)证明，并且忠实地执行了状态a的计算，达到了新的状态a+1。简而言之，你可以理解该过程将a和a+1两个证明合并为了一个证明**。如下图所示：**

https:\u002F\u002Fmedium.com\u002Fstarkware\u002Frecursive-starks-78f8dd401025

CairoVM：验证计算正确性

CairoVM概述

有时候也通过StarkNetOS\u002FCairoOS的方式出现，是一个东西，不同于EVM执行计算，CairoVM本身仅为计算生成证明并验证正确性。

CairoVM是一个是一个采用冯诺依曼架构的CPUVM，其编程语言也叫Cairo，Cairo语言基于Cairo汇编，因此编译效率非常高。Cairo是CPUAlgebraicIntermediateRepresentation的首字母缩写。CairoVM包含单个AIR来验证这个「CPU」的指令集。

关于工作方式，它根据收到的输入的交易来更新系统的L2状态。促进StarkNet合约的执行。操作系统是基于Cairo的，本质上是使用STARK证明系统对其输出进行证明和验证的程序。StarkNet合约可用的具体系统操作和功能可作为对操作系统的调用。

Cairo语言概述

Cairo是StarkNet的智能合约语言，基于STARK设计，Cairo程序可生成STARK证明。

Cairo程序是汇编代码的集合，Cairo开发人员将以高级语言Cairo来编写智能合约而非Cairo汇编。当我们写了一个Cairo程序，Cairo编译器会将Cairo代码编译成Cairo汇编，Cairo汇编器将采用汇编代码生成Cairo字节码以在CairoVM执行，当他最终运行到真实机器上还需要编译为操作码和机器代码。

非确定性计算

Cairo程序的目标是验证某些计算是正确的，因此可以相比那些确定性计算走捷径。它意味着为了证明一个计算，验证者可以做一些不属于计算的额外工作。

例如，证明x=961的平方根y是在0,1,…,100的范围内。直接的方法是写一个复杂的代码，从961开始，计算它的根，并验证这个根是否在所要求的范围内。

伪代码如下：猜测y的值。计算y2并确保其结果等于x。验证y是否在范围内。并且，如果我们采取以下的计算方式。Y=SQRT(X)我们可以改为计算如下。Y*Y=X

我们可以看到，有两种可能的解决方案。+Y和-Y，而且有可能只有其中一个能满足其余的指令。

这意味着，如果没有一些额外的信息，一些开罗程序是无法有效执行的。这种信息由我们称之为提示的东西提供。提示是CairoRunner的特殊指令；用于解决不能轻易推导出数值的非确定性问题。理论上，提示可以用任何编程语言编写。在当前的Cairo实现中，提示是用Python写的。

关于确定性和非确定虚拟机，witness

Cairo在这里其实也会涉及到有确定性的CairoVM和非确定性的CairoVM。前者就是正经的zkVM，证明和验证；后者用于非确定性计算。

anacceptinginputtotheCairodeterministicmachine,thatconstitutesthewitnesstothenondeterministicmachine.

Cairo确定性VM的一个可接受的输入构成了非确定性VM的witness，

ZKP

需要将witness作为输入输出proof。

是一个并行状态机。

内存模型：只读非确定性

只读的非确定性内存，这意味着每个内存单元的值由证明者选择，它不能随时间改变，是不可变的。该指令只能从中读取。我们可以将之视为一次写入的存储器：可以向一个单元写一次值，但事后不能改变它。

而且它是连续的，如果有空会被任意值填充。

ROM优点包括

低成本，电路比RAM更简单

永存储，

不可篡改，数据不能修改和删除

内置函数：减少代码编译

开发者直接调用内置函数可以减少计算开销，优化开发体验，而不需要代码转换。添加内置函数不会影响CPU约束。这只是意味着相同的内存在CPU和内置函数之间共享，如图所示。

https:\u002F\u002Fmedium.com\u002F@pban\u002Fdemystifying-cairo-white-paper-part-i-b71976ad0108

Cairo体系结构没有指定一组特定的内置函数。可以根据需要在AIR中添加或删除内置函数。

CPU架构：灵活

更加灵活，可以通过软件编程的方式无限接近AISC的性能。以Cairo复刻其他虚拟机。

启动加载：从哈希加载程序

程序可以将另一个程序字节码写入内存，并让ProgramCounter指向该内存段，然后运行该程序。一个从哈希启动加载的用例是，一个被称为启动加载器的程序计算并输出另一个程序的字节码，然后像之前一样开始执行它。这样验证者只需要知道程序的哈希而非完整字节码。这有两个好处：

可扩展性，验证时间和程序大小呈现对数关系，正如STARK部分提到的。

隐私性，验证者可以验证程序是否正确执行而无需知道计算。

连续记忆：连续访问内存地址

Cairo有一个技术要求，程序访问的内存地址必须是连续的。例如，如果访问地址7和9，那么在程序结束之前也必须访问8。如果地址范围中存在小间隙，证明者将自动用任意值填充这些地址。通常，存在这样的间隙是低效的，因为这意味着内存在未被使用的情况下被消耗。引入太多的漏洞可能会使证明的生成对于诚实的证明者来说过于昂贵而无法执行。然而，这仍然没有违反可靠性保证——无论如何都不会产生错误的证明。

StarkNet生态

盘点StarkNet生态：

https:\u002F\u002Fh0m83hhc6r.feishu.cn\u002Fdocx\u002FdoxcnS3GGdXXc1PzKh9uTgTR73c

全链游戏

全链游戏——生产效率+消费体验的变革，基本上，有思考，有实践，有资金，最重要的是有一个富有活力的开发者社区。

Matchbox

DAO

：https:\u002F\u002Fmirror.xyz\u002Fmatchboxdao.eth

TheFutureofOn-ChainGaming：

https:\u002F\u002Fvolt.capital\u002Fblog\u002Fthe-future-of-on-chain-gaming

Game2.0：

https:\u002F\u002Fwww.guiltygyoza.xyz\u002F2022\u002F07\u002Fgame2

重点推荐Topology团队，Lootreamls。

合约钱包

合约钱包变成硬钱包的实现方法有两种。

共识层支持手机硬件。在StarkNet这样原生账户抽象的L2上，支持多种椭圆曲线，而不是和以太坊一样只支持ECDSA，因此可以让手机的加密芯片\u002F模块直接对交易签名。因此，在原生账户抽象的L2上，合约钱包可以和硬钱包一样直接通过硬件签署交易。

钱包层进行签名转录。在以太坊这样非原生账户抽象的网络上，合约钱包可以签名转录。像EIP-4337可以自定义验证逻辑，用户用手机硬件支持的算法签名后再转换为以太坊支持的ECDSA。

StarkNet的开发倡导者@barretodavid，提到的在StarkNet上实现手机硬钱包的思路。

以太坊上的EOA仅支持Secp256k1椭圆曲线上的签名方案ECDSA

大部分的智能手机都不支持以太坊的椭圆曲线。

所以移动钱包需要依靠软件签署交易，移动钱包因此是热钱包。

StarkNet原生账户抽象，支持多种椭圆曲线，签名验证高度可编程，因此基于StarkNet\u002FCairo的手机钱包完全可以变成硬钱包。

https:\u002F\u002Ftwitter.com\u002Fbarretodavid\u002Fstatus\u002F1563584823884935168

Cairo已经有一个(

)的实现。

合约钱包+全链游戏的耦合，开辟了钱包+

DeFi

之外的新场景。Argent、Cartridge.gg正在做。

链上AI

目前有2个机器学习项目，ML平台Giza和链上交易机器人StarkNet中文群还有另外一个。

ModulusLabs：https:\u002F\u002Fwww.moduluslabs.xyz\u002F

Giza-MachineLearningintheBlockchain：

https:\u002F\u002Fgizatech.xyz\u002F

StarkNetdecentralization:Kickingoffthediscussion

mirror.xyz：https:\u002F\u002Fcommunity.starknet.io\u002Ft\u002Fstarknet-decentralization-kicking-off-the-discussion\u002F711

总结下StarkNet与AI+ML为何如此登对？ZKP允许AIML链下计算，将生成证明交由他人验证。

应用范围包括：游戏、

预言机

、交易、反女巫、KYC、数据隐私；AI模型算力挖矿。

致谢

本文由HackerDojo资助和创作。HackerDōjo是由Hacker共建的加密、Web3前沿技术开源知识社区。

感谢创作者Maxlion及HackerDojo。

原地址：https:\u002F\u002Fcommunity.dorahacks.io\u002Ft\u002Fstarkware\u002F272

标签：RKNCAIROARKEKEXstarknet币价分析Cairo FinanceMarket Making Prookex币币交易教程

MANA热门资讯