StarkNet的主要构成简介

OKX欧易app

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

APP下载   官网注册

本文将简要解释StarkNet中的重要组件,不涉及编码部分或过多技术细节,但希望读者对ZK-Rollup(Validity-Rollup)有基本了解。

由于StarkNet的系统设计中包含与零知识证明和Merkle Tree相关的数据结构,因此读者需要对零知识证明和Merkle Tree有初步了解,这将有助于阅读本文内容。未来我们也将继续深入讨论各个系统组件。

作者:ChiHaoLu(chihaolu.eth) @ imToken Labs

StarkNet OS(操作系统)是由Cairo开发的StarkNet原生语言编写的。类似于Solidity,它用于编写智能合约,并且是一种零知识证明语言,用于构建StarkNet核心操作系统和各种功能。

StarkNet OS包含了StarkNet链上的所有逻辑,例如账户状态定义、交易原理、合约执行,甚至包括位运算、哈希运算和本地签名算法等。操作系统需要在接收交易和合约输入后生成输出,并将该输出更新到StarkNet L2状态中。

为什么要使用零知识证明语言来编写StarkNet OS,而不是其他常见的编程语言呢?我们知道,扩容的一种方法是将复杂的计算放在Off-Chain,只需在On-Chain进行验证。StarkNet会将由Cairo编写的ZK-STARK程序的执行结果通过STARK-proof system进行证明,并在以太坊上进行验证。

我认为StarkNet的系统架构有三个重点:Sequencer、Prover&Verifier和L1 Core Contract。此外还有原生AA设计的User Account、Full Node、Fact Register等组件,但本文主要介绍前三个重点。

StarkNet的系统概述:StarkNet不需要矿工角色,但仍然需要一个角色来"验证交易"、"决定交易顺序"和"构建区块",这个角色就是Sequencer。

Sequencer是一个Off-Chain服务器,其工作流程的第一步是接收用户提交的交易(来自不同用户的多个交易),然后Sequencer决定交易顺序并构建L2区块。

Sequencer需要确认交易是由账户所有者授权的(由于StarkNet使用了原生AA账户系统,所以这里的确认可能不仅仅是验证签名的正确性,可能还涉及多签或其他验证逻辑)。通过StarkNet OS执行一次交易,接收输入并执行合约逻辑,生成输出。

Sequencer执行交易后会生成一个trace,并将这些执行过程的"过程见证"提供给Prover生成证明,告诉其他人:"我执行过这段代码"。

在接下来的Prover和Verifier验证成功后,Sequencer会更新L1 StarkNet Core Contract中的状态。

Prover也是一个Off-Chain服务器,其主要功能是接收Sequencer生成的代码执行过程trace,并生成相应的STARK proofs,然后交给L1上的Verifier Contract进行验证。验证通过后,将结果注册为fact供未来的L1 StarkNet Core Contract查询使用。

图像来源:Starkience推文

Verifier Contract在L1上负责验证所有这些内容是否合法,包括接受输入和STARK Proof来进行决策。

补充说明:目前StarkNet只有一个Prover,它不仅为StarkNet生成证明,还为运行在StarkWare自己的StarkEx rollup上的所有其他应用程序(如Immutable X、dYdX、Sorare等)生成证明。这就是为什么这项服务被称为Shared Prover或SHARP的原因。

StarkNet L1 Core Contract存储了L2状态的证明。当我们的trace通过Prover生成证明并在L1 Verifier Contract验证后,会告知L1 Core Contract这个"状态更新"。

本站所有软件信息均由用户上传发布,版权归原著所有。如有侵权/违规内容,敬请来信告知邮箱:764327034@qq.com,我们将及时撤销! 转载请注明出处:https://czxurui.com/zx/88208.html

打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2023年09月24日
下一篇 2023年09月24日

相关推荐

  • 比特币合约如何平仓,比特币合约已亏百分之160了不知道平不平仓

    一、什么是比特币期货合约比特币期货合约,通常是以比特币价格指数为标的的标准化合约。比特币交易所提供的比特币期货通常是以比特币进行交易的。期货是与现货相对的,现货是实实在在可以一手交钱一手交货的商品,而期货其实不是“货”,是承诺未来一个时间交“货”(标的)的

    2024-11-21 15:00:02
    3 0
  • 比特币智能合约怎么查,怎么查询所有区块链公链

    一、怎么查询所有区块链公链公链在哪里查询公链在浏览器查询。随着区块链的大热,越来越多的科技公司开始研究和开发区块链。在区块链迅速发展的同时,也有少部分项目方打着区块链的名号,在市面上进行招摇撞骗。如何判断公链真假,对于现在许多想要进行数字货币交易的群体来说

    2024-11-21 11:30:01
    4 0
  • 比原链钱包地址怎么写,如何查区块链合约地址信息

    一、区块链地址怎么查(区块链地址怎么查询平台)如何通过区块链资产地址(数字钱包地址)查看该地址的区块链资产(数字货币)?用区块链浏览器就可以查看。在搜索输入框内输入想查询的钱包地址,如果你输入的地址不完整,但是这个地址之前有在区块链上进行过ETH交易或者被查询

    2024-11-20 14:00:01
    3 0
  • 区块链 如何删除合约,什么叫区块链合约

    一、什么叫区块链合约区块链合约层是什么如果说数据、网络和共识三层,分别承担了区块链底层数据表示、数据传播和数据验证功能的话,合约层则是封装各类脚本代码、算法以及更为复杂的智能合约,是区块链系统实现灵活编程和操作数据的基础。作为一种自我执行的协议,智能合约被

    2024-11-20 01:30:01
    9 0
  • 虚拟货币地址怎么查询,如何查区块链合约地址信息

    一、如何知道是哪个区块链平台,怎么查询区块链是不是公链怎么查别人区块链信息1.如果是查询账户余额、账户的历史交易数据等信息,建议直接输入钱包地址查询;如果是查询某笔转账的相关信息,比如是否到账、进展如何,输入交易ID是最方便的。当然了,区块链浏览器不仅可以查询自己的

    2024-11-17 13:30:02
    9 0
  • 时代合约如何交易平台,什么是区块链合约交易

    一、如何知道期货是被骗了看投资之后亏损情况以及平台交易情况。1、根据资质来选择。一个正规的平台商是要求在相关交易所取得相关的资质证明的,所有大家选择平台的时候一定要得到他们的资质证明,没有证明的肯定都是假平台。2、服务很重要。期货的交易规则就是24小时T+0多空

    2024-11-16 01:30:02
    11 0

发表回复

8206
验证码

评论列表(0条)

    暂无评论

ok交易所
已有100万用户加入ok交易所

立即下载