StarkWare帝国：探析StarkEx和StarkNet的翻新之旅

撰文：Yinan

StarkWare算作今朝估值80亿的公司，取得了 Vitalik、Paradigm、Sequioa 等本钱的倾力支柱，是扩容范畴估值最高的团队。此日就来探析一下StarkWare帝国及StarkEx以及StarkNet的改革之旅。

从 2018 年结束，StarkWare 开创性地应用 STARK 无效性证实来束缚以太坊的可扩充性课题。它推出了基于 SaaS 生意模子的 StarkEx，发觉了 Cairo 编程语言，并构建了 Starknet，这是第一个禁止编写自定义逻辑的损耗中的去焦点化收集。

StarkWare努力于正在席卷本领、数学、改革与产物委托的双重存眷；支柱其他驱策以太坊以及/或 STARK 的团队；和尽力使产物开源、去焦点化并埋头于将 STARK 算作众人产物。

他日，StarkWare 将努力于让 Starknet 成为一个由 Starknet Foundation 处置的无需答应的去焦点化无效性 rollup，并埋头于去焦点化 Starknet 的各个组成全体，比如 Prover、Sequencer 以及处置。

STARK 本领基于证实，全部来讲是齐全性证实。STARK 运用数学来确保齐全性，即使没有人监督，也能确保算计正确施行。这种本领的概念始于 László Babai、Lance Fortnow、Leonid Levin 以及 Mario Szegedy 于 1991 年的一篇文章，个中先容了利用简单切实算计机监控一组弗成靠超级算计机的概念。该本领被称为“PCP”，经过数学监控以及确保大型算计的齐全性。

STARK 本领是 PCP 本领的革新版本，可让小用户反省并确保大公司、垄断企业或当局的正确运作。区块链恢复了钱币调换的点对于点个性，清除了对于可托中介的须要。以太坊则将此概念推向更远，禁止建立变成社会经济根底的通用法式。

StarkWare 是 zk rollups 赛道内最佳的公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK & zk STARK 的毗连创造者）毗连制造，它为区块链行业供给基于 STARK 本领的束缚规划。今朝开垦了两款产物：StarkEx & StarkNet，均鄙人文中先容。

Eli Ben-Sasson：Co-Founder & 首席迷信家，以色列理工学院算计机专科的教授。Zcash 的开创迷信家，zkSNARKs 的创造者。

Alessandro Chiesa：Co-Founder & 首席迷信家，加州大学伯克利分校算计机专科的教授。Zcash 的开创迷信家，zk-SNARKs 的毗连创造者，libsnark 的当中开垦者。

Uri Kolodny：Co-Founder & CEO，Uri 是一个商业体味丰硕、擅长单干的陆续创业者。

Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾经正在 Intel、IBM 处事。

Oren Katz：工程副总裁。Hebrew 大学算计机专科结业，Tel Aviv MBA，20 年体味的资深工程师。

今朝公司一经估值 80 亿美元，取得了 Vitalik、Paradigm、Sequioa 等本钱的倾力支柱，是扩容范畴估值最高的团队。

一种基于以太坊区块链的利用一定的Layer-2扩充引擎，旨正在束缚以太坊等Layer-1区块链收集的可扩充性课题。StarkEx经过利用一种名为STARK证实的先辈明码学系统，完结了加紧、低老本的买卖，同时失当协安全性、隐私性以及自我保存。

它供给了一系列用于完结昂贵的链下算计的利用过程，将多笔买卖打包正在一个STARK证实中，然后正在链上施行验证，升高了每笔买卖的平衡燃料老本。StarkEx扩充引擎的处事原理，席卷批处置、验证以及更新、天生证实和链上验证四个方法。

StarkEx一经乐成摆设正在多个利用中，如dYdX、Immutable、Sorare、DeversiFi以及Celer。

StarkEx 以及 StarkNet 是由 StarkWare 开垦的两个分歧的本领，它们都利用 STARK 零学识证实本领，但有分歧的目的以及用途。

StarkEx：StarkEx 是一个针对于一定利用的 Layer-2 扩充引擎，主要存眷优化以太坊区块链上的简单利用法式的机能。它经过将多个买卖批量处置并正在链下施行验证，完结了更加紧、低老本的买卖。主要用于去焦点化买卖所（DEX）、NFT 墟市以及玩耍等。经过利用 STARK 证实本领，StarkEx 供给了安全、高效以及低老本的买卖感受。

StarkNet是一个无需答应的更为通用、齐全的 Layer-2 束缚规划，它为整体以太坊生态系统供给了一个去焦点化的算计平台，开垦者也许正在个中摆设用Cairo语言编写的智能合明天2下午约。StarkNet支柱与其他合约施行交互，禁止丰硕的协议配合，并可经过异步动态传播与以太坊合约施行交互。目的是供给一个可扩充、低老本且安全的境况，以便开垦者正在其上构建以及摆设智能合约。与 StarkEx 分歧，StarkNet 也许看作是一个周全的 Layer-2 操作系统，禁止开垦者建立各类去焦点化利用法式，而没有仅仅是针对于一定用途的束缚规划。

总之，StarkEx 是一个利用一定的 Layer-2 扩充引擎，主要存眷一定利用法式的机能优化，而 StarkNet 是一个更为通用、周全的 Layer-2 束缚规划，旨正在为整体以太坊生态系统供给一个去焦点化的算计平台。

Starknet是一个无需答应的去焦点化无效性折叠收集（也称为“ZK-Rollup”）。它算作以太后天3晚上坊上的L2收集运行，使一切dApp都能正在没有作用以太坊可配合性以及安全性的基础下完结无限扩充算计，这要归功于Starknet依附于最安全且最具可扩充性的加密证实系统 STARK。

Starknet合约以及Starknet操作系统利用Cairo编写 - 支柱摆设以及扩充一切用例，今天1早上不管生意逻辑若何。Starknet算作一种去焦点化的二层收集束缚规划，旨正在为去焦点化利用（dApp）供给更高的扩充性以及机能。经过正在以太坊上运行，它也许运用现有的根底办法以及安全性，同时供给更高的算计才略。

Cairo是一种专为Starknet妄图的编程语言，它旨正在简化智能合约的开垦以及摆设。经过利用Cairo，开垦人员也许轻便地为各类用例构建高度可扩充的利用法式，席卷金融、玩耍、供应链等。

Starknet 是一个 validity rollup，这意味着每个块内的施行都须要被证实，这便是 STARKs 派上用场的地点然而，STARK 证实也许束缚以多项式制约语言拟定的陈说，并且没有领会智能合约的施行。为了克服这个分歧，因而开垦了Cairo。

总的来讲，Starknet是一个充溢潜力的二层收集束缚规划，它也许使现有的dApp正在扩充性以及机能方面迈出主要一步。经过选择STARK加密证实系统以及Cairo编程语言，Starknet为开垦者供给了一个弱小且精巧的平台，以满意各类生意须要。

接下来会产生甚么？Starknet Alpha v0.11.0：结束向 Cairo 1.0 过渡

这边对于Starknet的音序器进一步阐明：

音序器是指StarkNet Sequencer，它是StarkNet的一全体，旨正在经过切换到Rust排序器、利用Rust CairoVM以及Papyrus全节点来昭著推广吞吐量（每秒买卖数目），进而变成“机能三人组”。

“机能三人组”是指StarkNet Sequencer的三个组成全体：Rust排序器、Rust CairoVM以及Papyrus全节点。个中，Rust排序器是StarkNet Sequencer的当中，它担任处置买卖并天生区块。Rust CairoVM是一个假造机，它也许正在StarkNet上运行智能合约。Papyrus全节点是StarkNet收集中的一个节点，它保存了StarkNet上的一切数据，并且也许处置买卖。这三个全体独特处事，也许昭著进步StarkNet的吞吐量（每秒买卖数目）。

对于 Cairo 1.0 的进一步语言革新

机能革新：正如许诺的那样，Starknet连续朝着显着进步 TPS 的方上前进。门路图中的下一步是过渡到Rust序列器，它是正在 Apache 2.0 答应下秘密开垦的。新的音序器将利用Rust CairoVM以及Papyrus全节点变成 Performance Trio。

链下DA

正在这个版本中，Starknet处置了买卖老本的算计全体。正在行将推出的版本中，将处置链上数据老本，这是现今平衡买卖的主要老本。

Starknet v0.11.0（今朝仅正在 Goerli 测试网上）

一旦 Goerli 测试期停止，Starknet v0.11.0 将正在主网上揭晓。

Starknet v0.10.3（22 月 12 日、12 月 12 日）

机能——将状态许诺算计与买卖施行脱节

推广starknet-class-hash敕令来算计已编译 Starknet 合约的类哈希

Starknet v0.10.2（22 年 11 月 29 日）

这个版本引入了音序器并行化！

一个新端点estimate_fee_bulk被推广到馈线网关。这将禁止同时估算多少笔买卖的用度，个中每笔买卖都是相对付利用前一笔买卖的了局状态施行的。

Starknet v0.10.1（22 年 10 月 25 日）

推广DeployAccount买卖（它将庖代 Deploy 买卖以摆设账户合约）。要利用它，你应该开始向你的账户地方推广渊博的资金来支拨买卖用度，然后你也许挪用 DeployAccount

将starknet deploy_accountCLI 敕令拆分为starknet new_account以及starknet deploy_account

瞻望以这种办法摆设的账户合约应该完结 validate_deployDeployAccount()出口点，它应该反省买卖的出面

革新 L1 用度算计：根据保存状态的分裂算计用度

API：entry_point_type从买卖信息中节略字段

Starknet v0.10.0（22 年 9 月 5 日）

此版本先容了 Starknet 帐户抽象妄图的下一步，稀奇是验证/施行结合。

Starknet v0.9.1（22 年 7 月 20 日）

API 改变

星网 CLI

Starknet v0.9.0（22 年 6 月 6 日）

该版本将合约类/实例范式引入 Starknet

以太坊账户组织

正在以太坊中，单个用户账户被称为外部拥有的账户（Externally Owned Accounts，EOAs）。

EOAs 与智能合约分歧，由于它们没有受代码掌握。EOA 是由一对于私钥以及公钥决定的。

账户的地方是根据这些密钥派生的，只要拥有私钥才华从账户提议买卖。虽然以太坊合约是“主动”的，即它们只可正在买卖中被挪用时产生改变，但 EOAs 也许提议买卖。

即使简捷，但 EOAs 有一个主要误差，即账户动作没有精巧性，以太坊协议规矩了 EOA 提议的买卖何时无效（出面规划是流动的）。稀奇是，对于公钥的掌握给了对于账户的全面掌握。即使从外貌上讲，这是一种安全的账户办理方式，但正在尝试中，它生存一些误差，比如要求您损坏种子短语的安全，同时使其对于您可拜候，并且钱包功能的精巧性有限。

EIP-4337 是一个针对于以太坊的妄图提案，总结了经过以太坊收集上的公用智能合约办理一切账户的账户抽象化，以进步精巧性以及可用性。您也许正在根底 EOA 功能的根底上推广自定义逻辑，进而将账户抽象化引入以太坊。

账户抽象化是甚么？

账户抽象化面前的设法是禁止正在账户办理方面更具精巧性，而没有是让它们的动作正在协议层面上决定。这也许经过引入账户合约来完结 - 拥有可编程逻辑的智能合约，确定用户的账户动作。

经过利用账户抽象化，您而今也许对于您的账户功能施行编程。

比如，你也许：

如今，Starknet供给了出面抽象化。将来，Starknet将丰硕现在的账户抽象化妄图。

决定无效出面的寄义，大概您的账户禁止与哪些合约互动。这被称为“出面抽象化”

用分歧的代币支拨买卖用度 - 这有时被称为“用度抽象化”

妄图自身的重放损坏体制，并禁止并行发送多个没有相干的买卖。将其与以太坊中利用的秩序nonce束缚规划施行较为，该束缚规划导致买卖本体上是秩序的，即使你想并行发送两个买卖，也必需等待第一个买卖的一些确认，然后再发送第二个买卖。不然，因为有效的nonce，第二笔买卖大概会被推辞。利用账户抽象化，也许议论绕过秩序nonce须要的分歧束缚规划。这被称为“nonce抽象化”。

利用账户抽象化自定义账户功能的两个示例

这些示例揭示了若何运用账户抽象化为用户供给更精巧、安全以及高度定制的钱包以及账户办理感受。经过编写自定义逻辑，用户也许根据其须要以及偏好定制账户功能，进而正在进步安全性的同时，也进步了易用性。

外交恢复 这是一个历程，当您丢掉钱包时，也许经过所选外交收集检索它，大大改善了钱包恢复的规范感受。

经过面部判别操作您的账户 借助出面抽象化，您也许利用手机的原窒碍件对于买卖施行出面，进而理论上弗成能接纳另一个用户的账户（即使正在手机自己被盗的状况下也是如许）。

Starknet 账户合约必需席卷以下两个函数

validate

execute

这些函数拥有分歧的想法，以确保只要账户一切者才华提议买卖，并且也许为你利用的资源收费。

Starknet 的账户类别受到以太坊 EIP-4337 的启发，个中，你而今利用拥有随便验证逻辑的智能合约账户，而没有是 EOA（外部拥有的账户）。

经过利用智能合约，正在账户完结中取得了全面的精巧性。

虽然正在协议级别上没有是逼迫性的，但社区开垦了一个更丰硕的规范账户接口。这个规范是由 OpenZeppelin 开垦的，与钱包团队以及其他当中 Starknet 开垦人员密切单干。

代币的影响：

买卖用度：

今朝，StarkNet 中的用度以以太币 (ETH) 支拨。但稍后，咱们瞻望用度将全面利用原生 StarkNet 代币支拨。为了支柱优秀的用户感受，主动化以及去焦点化的链上体制将禁止用户以 ETH 支拨用度。

质押：

某些对于 StarkNet 的活泼性以及安全性相当主要的办事大概须要质押 StarkNet 代币。这些办事大概席卷排序、正在到达 L1 最告终果以前完毕且自 L2 共鸣、STARK 证实办事以及数据可用性供应。

处置：

革新 StarkNet 的提案将须要一个最小的令牌支柱阈值，稍后定义。对于 StarkNet 的活泼性、安全性以及维护相当主要的协议的一切退换都须要直接或经过依赖施行投票。比如，StarkNet 操作系统的一切远大更新都须要代币持有者的同意。

总量：100亿、代币初始分配：代币经济学

17%— StarkWare 投资者

32.9%— 当中奉献者：StarkWare及其职工以及顾问，和StarkNet软件开垦单干火伴

StarkWare 授与基金会的50.1% ，用途以下：

9%—社区补给：用于惩罚为StarkNet处事并为其下层本领供给支柱的人员，比如往昔利用StarkEx L2系统的人员。主要的是，一切社区补给都将基于往昔已告竣的可验证处事。比如，对付往昔的StarkEx用户，分配将根据2022年6月1日以前产生的可验证StarkEx本领利用状况来决定。

9%—社区返利：全体用于支拨从以太坊转化到StarkNet的老本。为避让玩耍化，社区返利仅合用于正在返利体制颁布后产生的买卖。

12%—用于争论以及开垦、测试、摆设以及维护StarkNet协议的处事的援助。

10%—-策略储存，用于援助与基金会任务统一的生态系统震动。

2%—捐献给受到高度尊敬的机媾和构造，比如大学、非当局构造等，由StarkNet代币持有者以及基金会独特确定。

8.1%—未分配：基金会的未分配财政储存将用于进一步支柱StarkNet社区，全部支柱办法由社区确定。

为了使当中奉献者以及投资者的永恒激发与 StarkNet 社区的好处维持统一，并遵守去焦点化生态系统的常规，分配给当中奉献者以及投资者的一切代币将受到 4 年的锁按期，与线性释放以及一年危崖。

假设你是一位终端用户，只要正在StarkNet满意您现在须要时才利用它。将其用于您垂青的买卖以及利用，而没有是渴望他日取得StarkNet代币的回报。当社区补给发布时，它们将仅触及正在通告日期以前产生的快照，并根据其时可用的信息，过滤以及破除被以为是滥用以及安排收集的利用状况。当社区返利制度建立即，它们永久没有会合用于正在返利颁布以前产生的买卖，所以渴望他日返利而正在此日施行买卖是徒劳的。

基于下面代币经济学的归纳分解：

第一个9%的社区供应全体是大概空投给用户的，也便是说用户正在这4.5亿中以及为Starknet处事及供给本领支柱以及开垦的人一统去划分。

第二个9%的社区背工，用于后续返利法则颁布后的手续费贴补，颁布法则前刷手续费是没用的。

第三个10%的策略储存，是用于链上生态利用，分配给生态上的利用协议。

销售定制化本领引擎办事 StarkEx，直接向有扩容须要的客户收取办事费，本体上是定制化的 2B 办事。

打造去焦点化的 Layer2 收集 StarkNet，支柱 dApp 自主摆设，也许向用户收取 Layer2 的买卖用度，也也许经过 sequencer 的拍卖体制猎取 MEV 的价值，还也许正在他日发 token，用本领以及资金孵化 StarkNet 项目，经过 tokenomics 启动生态繁华。

StarkWare 是 zk rollups 赛道内最佳的公司之一，产物有StarkEX以及StarkNet。

StarkEx 是一款 Layer2 扩充引擎，为 dApp 供给本领办事。

StarkNet是一个无需答应的更为通用、齐全的 Layer-2 束缚规划。

团队成员有80多个，而且当中成员较为夺目，Eli Ben-Sasson是Zcash 的开创迷信家，zkSNARKs 的创造者，正在ZK-Rollup范畴有很是深的争论及作用力，且今朝估值到达80亿，像paradigm、Pantera、polychain以及V神等顶级VC以及集体均是StarkWare的资方。

正在生态利用下面，由于选择的是Cairo语言，因而并没有兼容EVM，因而正在生态繁华上进度会较为慢，今朝结束向 Cairo 1.0 过渡，朝着一个更高的TPS繁华，就算这样，不过今朝的利用感受并没有是十分阻塞，本领还有实际之间依然生存分歧，渴望以来看到Starknet更好的繁华。

相干链接：

Starknet docs：https://docs.starknet.io/documentation/

Starknet 文章：https://starkware.co/content/

Starkware Twitter：https://twitter.com/StarkWareLtd

Starknet Twitter：https://twitter.com/Starknet

Starknet Discord：https://discord.gg/qypnmzkhbc

Straknet Medium：https://medium.com/starkware

官方桥：https://starkgate.starknet.io/

StarkNet生态：https://www.starknet-ecosystem.com/

相干文章：深度剖析 StarkWare：以太坊扩容最好团队，80 亿美元高估了？