StarkEx Docs V2 - Chinese
Website
Twitter
Github
English
Search…
引介
宏观概述
StarkEX 深度解析
链下状态
Cairo在StarkEx中的应用
程序流描述
永续特定流
StarkEx 合约
StarkEx特定概念
成为StarkEx的Oracle(中介价格)供应商
讯息编码
数据可用性模式
钱包
Powered By
GitBook
宏观概述
StarkEx是基于有效性证明的以太坊L2可扩展性解决方案。 它可以在
zkRollup或Validium数据可用性模式
下运行。
每个在StarkEx之上架构的应用程序都会定义自己的业务运行逻辑,并在
StarkEx服务
上运行。 该系统具有链上组件和链下组件。 链下组件持有状态,命令执行系统中的交易,并将状态更新发送到链上组件。 链上组件持有
状态
承诺,持有系统资产,并负责执行状态转换的有效性。
系统中的所有交易都通过
应用程序
执行,并发送到
StarkEx服务
。 StarkEx服务对交易进行批处理,并将批处理发送到
SHARP
(共享证明服务),生成一份证明来表明批处理的有效性。
SHARP
将STARK证明发送给
STARK验证器
进行验证。服务随后发送一份链上
状态更新
交易到
StarkEx合约
,仅在证明被验证器验证有效时,交易才会被接受。
用户以两种方式与系统交互-通过发送链上交易到
StarkEx合约
和发送链下交易到
应用程序
。
当用户想要使用该系统时,他们首先将starkKey
注册
到
StarkEx合约
中的以太坊地址。starkKey用于验证用户的链下交易。 然后,用户将其
资金存入
StarkEx合约
。 在
应用程序
接受存款后,用户可以在链下使用其资金。
用户将由starkKey签名的
转账
或
限价单
直接提交给
应用程序
。限价单被匹配在一起,并作为结算发送给
StarkEx服务
。转账行为照原样发送。不同类型的转账交易可以由
额外的逻辑
来执行。
为提取资金,用户应向
应用程序
提交链下
提款
请求。此请求被发送到
StarkEx服务
,一旦包含提款的状态更新被接受,用户就可以在链上获取其资金。
为了防止审查,如果用户的提款请求没有得到实现,他们可以使用
强制操作
来强制执行。
系统元件
StarkEx系统包含以下组件:
●
应用程序-
系统的操作员。 接收用户交易的链下组件,定义业务运行逻辑和执行的顺序。最终,它将交易发送到
StarkEx服务
。
●
StarkEx服务
-一个链下组件,负责批处理一组操作,根据这些操作更新系统状态。针对每一批,StarkEx服务将发送此批的操作(作为Cairo执行痕迹)到
SHARP
进行有效性证明,一旦证明被验证,它将新状态发布在链上。 状态由 Merkle tree呈现,其叶子是保险库。每个保险库的结构和内容根据所实施的特定业务逻辑而有所不同。更多详细信息,请参见
此处
。Merkle tree的根是未被提交到链上的状态承诺。
●
SHARP-
Cairo程序的共享证明服务。 它接收来自不同应用程序的证明请求,并输出证明以证明Cairo执行的有效性。输出的证明可以在多个证明请求之间共享。
●
STARK验证器-
这是一个链上组件,用于接收状态更新有效性证明并验证该证明是否有效。
●
StarkEx合约
-该合约有两个主要功能。 第一个是在确认有效性条件得以满足后更新系统状态。第二个功能是以自主托管方式管理在StarkEx中的进出资金,这意味着在任何情况下,用户都可以提取其资金。
Previous
引介
Next - StarkEX 深度解析
链下状态
Last modified
1yr ago
Copy link
Contents
系统元件