StarkNet的主要构成简介

本文将扼要解说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这个”状况更新”。

此时快讯

【喜马拉雅当选中关村区块链产业联盟常务理事单位】金色财经报道，中关村区块链产业联盟在北京国家会议中心召开第二届第二次会员大会。在会议期间，还举行了联盟的理事会和监事会，来自会员单位以及政产学研用各界的专家和行业人士齐聚一堂，共同探讨区块链行业的发展趋势和实践。
中国信息通信研究院院长、联盟理事长余晓晖和中国信通院工业互联网与物联网研究所所长、联盟秘书长金键等行业专家领导在会议上发表了主旨演讲，为行业的健康发展提供了高质量有价值的指导。
喜马拉雅高级副总裁傅海波出席了此次大会，参加了数字地标共建生态联合体合作伙伴签约仪式。在当日活动中，喜马拉雅被当选中关村区块链产业联盟的常务理事单位。