在目前，以太坊的发展趋势正越来越倾向于模块化区块链。
在模块化区块链的架构下，以太坊上的交易计算和执行不再由主网来操作，这部分工作转移到链下的Layer 2上来完成，这种方案减轻了主网的负担，大大扩展了以太坊的性能。
未来以太坊主网只承担完成共识和数据可用性的工作，而承担了所有计算执行的 Layer 2 将变为一个类似云计算服务商的角色，正如现在的亚马逊云和阿里云等。
Rollup
在 layer 2 的扩容方案中，被认为最有前景的就是 Rollup。
Rollup 在以太坊链下完成交易的验证和计算，并把它们打包压缩后连同交易更新后新的状态根（State root）传回主网，从而减少对主网空间的占用。
Rollup 中又有两种实现方案，分别是 Optimistic Rollup 和 zk-Rollup 。其中：
Optimistic Rollup 采用欺诈证明（Fraud proof），首先假设上传到主链所有交易都是合法的，并设置挑战期，允许验证者提出证明来挑战有问题的交易，一旦证实有欺诈行为发生，就对欺诈者进行惩罚，对挑战者进行奖励。
StarkEx服务把这些交易打包执行后把包裹发送给SHARP（Shared prover，共享的证明服务），这个过程中的执行是由Cairo语言编写的程序完成的，值得一提的是，StarkWare通过Cairo这一图灵完备的语言，将所有智能合约的计算结果转化成了可证明的多项式方程，由此让智能合约与有效性证明兼容；
SHARP 是一个基于 Stark 的证明系统，由它来生成能证明这个批次交易有效性的证明；
SHARP 把 Stark 证明发给部署在 Layer 1 上的 Verifier，由 Verifier 来完成验证；
LayerZero宣布新增支持Scroll测试网:6月14日消息，跨链互操作性协议LayerZero在推特上宣布已在Scroll测试网上线，并在文档中列出endpoint信息。
此前6月8日消息，LayerZero发推称已新增支持Arbitrum Nova。[2023/6/15 21:37:24]
StarkEx Service 会发送一个链上状态更新交易给Layer 1上部署的StarkNet智能合约，这个智能合约只会在 Verifier 完成了证明之后才会接受这个新的状态变更。
产品
Starkware 目前有两款产品，分别是：
为应用提供定制化的 ToB 服务，运行在StarkEx上的应用可以自定义他们的业务逻辑。StarkEx服务于Defi和游戏等应用，能加快交易速度，降低交易费用，还可以通过ZK-Rollup 或 Validium 两种方案来实现数据可用性。
StarkNet 是一个无需许可的去中心化、抗审查的通用 layer 2 网络，任何用户和开发者都可以在上面部署使用Cario语言编写的智能合约。
这两种产品分别对应了两种不同的商业模式，前者为应用提供定制化服务并出售，而后者则提供无许可的通用服务然后收取网络上的交易费或者作为节点在交易费用优先的原则下抽取MEV。
StarkWare 联合创始人 Eli Sabasson 曾做过一个比喻，将 StarkEx 和 StarkNet 的分别比作为计算机和云，购买 StarkEx 就像拥有自己的定制化计算机，每个客户都拥有自己的扩容计算机。而 StarkNet 提供的是网络，是通用服务，所有人都可以支付费用并使用。
StarkNet 的工作过程如下图所示。它与 StarkEx 的最大区别是在 StarkNet 中由 Sequencer取代了 StarkEx Service 来承担验证交易有效性、打包交易、调用Cairo程序执行的工作，而SHARP 所承担的生成证明的工作，在 StarkNet 中由 Prover 负责。目前，Sequencer和Prover都由StarkWare官方团队来指定，这就带来了中心化的质疑。
Dymension Network在测试网部署支持IBC的Rollup:4月30日消息，旨在便利化模块化 Rollup 网络部署的网络 Dymension Network 在 35-C 测试网部署支持 IBC 的 Rollup。开发者可使用 Dymension Network 提供的兼容 EVM 的 Rollup 开发工具包开发应用。模块化区块链 EVM RollApp 将使用 EVMOS 作为 Gas 代币。[2023/4/30 14:35:38]
Roadmap
StarkNet曾经在他们的博客中发布过一张路线图，并表示他们会逐步实现去中心化。
在设想中，团队建设 StarkNet 的过程包括了四个阶段，分别是：
Step 0--基础建设
Step 1--Planets：单一操作者、单一app的rollup
Step 2--Constellations：单一操作者、多个app的rollup
Step 3--Universe：去中心化的操作者、多个app的rollup
在Step 1中，一个 StarkNet 实例上（一个rollup）只运行一个应用，开发者关注于如何在StarkNet这个扩容网络上实现自己的业务逻辑。
下一步将支持在同一个 StarkNet 实例上运行多个应用，并且这些应用将可以共享同一个全局 Layer 2 状态。这将实现不同应用程序之间的互操作性，以及由于规模经济的提高而降低的gas成本。在这个阶段，StarkNet 将成为一个功能齐全的框架，在以太坊之上运行具有任意业务逻辑的多个应用程序，每个实例由单个操作者运行。从用户的角度来看，StarkNet 用起来和以太坊很像，只是可扩展性更好。
Rollup Finance 与 OKX 钱包达成官方合作:4月26日消息，Rollup Finance 和 OKX 钱包宣布正式合作，允许用户连接他们的 OKX 钱包网络扩展以访问 Rollup Finance 并使用基于 zkSync Era 的去中心化永续合约。同时，Rollup Finance 在其官方推特透露即将开启与 OKX 钱包的联合活动。[2023/4/26 14:28:52]
最后一个阶段是 StarkNet 对操作者进行去中心化的阶段。在这个阶段中，团队主要做两件事：（1）使用rollup来实现更好的共识机制以及（2）利用经济模型来对贡献者和操作者进行激励，吸引更多参与者来实现网络的去中心化。
Cairo（CPU Algebraic Intermediate Representation，CPU代数中介码）是Starkware用来为一般计算生成STARK证明的图灵完备的编程语言。应用开发者可以用 Cairo 定义任何的业务逻辑并完成链下证明和链上验证，而无需手动生成复杂的电路或AIR（代数中介码）。
通过 Cario 编程语言，任何计算命题都可以进行快速、安全的编码证明。一个由 Cario 写成的应用程序可以证明其对应的执行逻辑，而一个 Cario 应用程序也可以集成多个 Cario 应用程序，形成 SHARP。
SHARP（共享证明器）可以聚合几个独立的 Cario 应用程序的交易，并在同一个 STARK 证明中使用。使用 STARK 证明，提出证明所需的时间与执行语句所需的时间大致呈线性关系。验证证明所需的时间与提出证明的时间则是对数关系。
由于验证时间远小于证明时间，就可以实现递归验证：一个Cairo程序可以验证多笔交易的正确性，同样也可以编写一个Cairo程序来验证多个Stark证明。由于只需要对数时间来实现验证，这样的递归验证可以极大程度地减少验证时间。
Starkware团队推出了Cairo的通用证明服务(Generic Proof Service，GPS)，开发者可以使用这项服务用Cairo语言构建自己的应用。他们可以把自己包含业务逻辑的Cairo代码发送给GPS来证明，并在链上验证它们。
以太坊扩容项目Scroll完成5000万美元融资:金色财经报道，以太坊扩容项目Scroll宣布在新一轮融资中筹集了 5000 万美元。本轮融资的投资者包括Polychain Capital、红杉中国、贝恩资本 Crypto、摩尔资本管理公司、OKX Ventures、Variant Fund、Newman Capital、IOSG Ventures 和启明创投。
据知情人士表示，该轮融资使 Scroll 的估值达到 18 亿美元。
Scroll 此前在两轮融资中筹集了3300 万美元，当时并未披露其估值。新一轮融资使 Scroll 迄今的总融资额达到 8300 万美元。[2023/3/7 12:45:36]
由于GPS 支持使用一个证明来断言不同多个应用程序执行的完整性，从而使这些应用程序能够分摊证明验证的 gas 费用。
团队和融资
Starkware的团队来自以色列，主要成员是有自希伯来大学和以色列理工背景的计算机科学及密码学开发者，可以说是零知识证明领域实力最强的团队。
从Starkware的官网上可以看到，这个团队目前有成员77人，外加7名学科顾问和5名其他顾问。主要成员包括：
Eli Ben-Sasson：Co-Founder & 首席科学家，希伯来大学理论计算机科学博士学位，长期从事<span data- letter-spacing: 0pt;vertical-align: baseline;">计算完整性、密码学和零知识证明方面的研究。以色列理工学院计算机专业的教授。Zcash 的创始科学家，zkSNARK、zkSTARK 的发明者。
Uri Kolodny：Co-Founder & CEO，希伯来大学计算机科学学士，是一个商业经验丰富、善于合作的连续创业者。
Alessandro Chiesa：Co-Founder & 首席科学家，加州大学伯克利分校计算机专业的教授。Zcash 的创始科学家，zk-SNARKs 的联合发明者，简洁零知识证明的领先开源库 libsnark 的核心开发者。
彭博社：Gary Wang对于SBF来说是比Caroline Ellison更危险的证人:12月26日消息，彭博社近日刊文分析称，与Alameda Research前首席执行官Caroline Ellison相比，FTX联合创始人Gary Wang对FTX的重要性要大得多，这使他成为SBF更危险的证人。此前SBF将FTX的倒闭归咎于Caroline Ellison，但这一辩护被Gary Wang的认罪协议削弱了。纽约前联邦检察官Sarah Paul表示：“我预计SBF将更难声称他不知道Gary Wang的所作所为。让这两名合作证人在审判中指证他，这将是非常有力的。”
Gary Wang和SBF的关系非常密切。Gary Wang和SBF第一次见面是在高中的数学夏令营，他们在麻省理工学院是室友。他们在加州伯克利合租一所房子时开始开发FTX，Gary Wang为于2019年推出的交易所编写代码。两人一起生活在香港，最近在巴哈马群岛。SBF拥有Alameda公司90%的股份，而Gary Wang只拥有10%的股份。Gary Wang一直担任Alameda的首席执行官，直到去年年底任命Caroline Ellison为首席执行官。
根据CFTC的指控，Gary Wang帮助创建了基础代码，使Alameda能够在FTX “保持无限的信用额度”，Wang还帮助创建了其他途径，使Alameda在平台上进行交易时具有不公平的优势，包括更快的执行时间。法律专家表示，转移到Alameda的钱很难解释为管理不善，而不是欺诈，他前同事的证词可能对SBF造成毁灭性打击。在其他案件中，面对这样的证人，被告试图扭转局面，把合作者描绘成真正的坏人，现在撒谎是为了保全自己。
此前12月22日消息，Alameda前CEO和FTX联创已分别对美检察官提出的刑事指控和美CFTC提出的欺诈指控认罪；美SEC指控Caroline Ellison和Gary Wang欺诈FTX投资者，两人已经同意两项和解协议。[2022/12/26 22:07:56]
Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。
Oren Katz：工程副总裁。希伯来大学计算机专业毕业，特拉维夫大学MBA，20 年经验的资深工程师。
在融资方面，StarkWare 共披露了七轮融资，涉及投资 45 笔，对外披露融资额 2.73 亿美元，2022 年，D 轮融资估值 79 亿美元，投资人包括Paradigm，Sequoia Capital和Pantera Capital等机构以及Vitalik。
Starkware在今年七月中旬的博客中发布了他们的代币经济模型。原本计划于9月发行其代币，但是后又发布消息推迟发币时间，截至本文发布的时间，仍然没有官宣发币。
StarkNet 代币将主要具有 3 个使用场景，分别是支付 StarkNet 网络费用、质押以参与网络共识、社区治理投票。
交易费用：目前，StarkNet 中的费用以 ETH 支付。但接下来，该项目预计费用将仅使用原生 StarkNet 代币支付。为了支持良好的用户体验，自动化和去中心化的链上机制将允许用户以 ETH 支付费用。
质押：对 StarkNet 的活跃性和安全性至关重要的某些服务可能需要质押 StarkNet 代币。这些服务可能包括排序、在达到 L1 最终性之前达成临时 L2 共识、STARK 证明服务和数据可用性供应。预计这些服务将在 2023 年实现去中心化。
治理：改进 StarkNet 的提案将需要一个最低的代币持有阈值。对于对 StarkNet 的活跃性、安全性和维护至关重要的协议的所有更改，都需要直接或通过委托进行投票。例如，StarkNet 操作系统的所有重大更新都需要获得代币持有者的批准。
StarkNet 代币初始发行量为 100 亿枚，17% ?分配给 StarkWare 投资者，32.9% 分配给核心贡献者，50.1% 分配给基金会。同时，该代币具有增发机制，新的铸造代币和交易费用的一部分将授予给核心基础设施开发人员和智能合约开发人员。
分配给基金会的51%具体用途为：
9% ?——生态开发者，使用者和社区。包括在 6 月 1 日前与 StarkEx 有过交互的部分用户。
9% ?——社区退款（Rebates）——StarkNet 代币的退款，以部分支付从以太坊加入 StarkNet 的成本。
12%? ——资助用于开发、测试、部署和维护 StarkNet 协议的研究者和工作者。
10% ——战略储备，用于资助符合基金会使命的生态系统活动。
2% ?——捐赠给相关领域杰出的的机构和组织，如大学、非政府组织等，由 StarkNet 代币持有者和基金会决定。
8.1%未分配——以进一步支持 StarkNet 社区，具体方式由社区决定。
考虑到去中心化生态系统的惯例分配和社区的长期利益，给投资者和核心贡献者的49.9%将有 4 年的锁定期，并且将会采用 1 年的 Cliff（悬崖期）和线性的方式释放代币。
从代币分配可以看出，StarkNet 代币奖励优先考虑核心基础设施和 dApp 的开发人员，而较少倾向于普通用户。
运营数据
StarkEx 这个 toB 产品由于推出较早，且Scale as a service 的模式相对成熟，已经积累了一些用户，如dYdX（目前已出走），Immutable X，rhino.fi，celer 和 Sorare。根据官网显示的数据，StarkEx上累计的交易金额达到了7320亿美元，目前的TVL是4.61亿美元。
另一个产品StarkNet，根据 www.starknet-ecosystem.com 网站上的数据，目前生态中大约有100多个应用，其中数量最多的是Defi（45个）、NFT(24个）和基础设施（18个）。
比较知名的项目中，AAVE 和 Maker 都将部署到StarkNet上，两天前（10月29日）刚刚官宣了Aave与StarkWare的第一阶段跨链合作已完成开发。该阶段是Aave v2在以太坊上的aToken跨链至StarkNet的智能合约基础设施，允许网络用户在StarkNet获取跨链aToken。而早在6月份，Maker已经上线了DAI在主网和StarkNet之间的转账。
值得一提的是，此前在 StarkEx 中占据主要TVL的 dYdX 在6月出走，选择了基于Cosmos SDK的独立区块链来推出v4版本的产品。这次事件一定程度上影响了投资人对layer 2和Starkware的信心。
从此次出走事件中也可以看出，真正拥有用户和影响力的应用在选择底层基础设施上拥有更多的话语权和主动权，它们并不依赖于某个单一的底层链，可以主动选择其他的底层公链，甚至自己搭建符合自己需求的应用链。
过去“胖协议瘦应用”的叙事或许会被重新定义。对于各种底层基础设施的项目来说，如何抓住自己生态中的优质应用，做好留存，也成为了当前需要重新思考的问题，毕竟，要捕获更多价值就要捕获更多用户，而真正与用户交互的是应用而不是底层，用户并不关心底层技术实现的原理，只会随着应用迁移而迁移。
结语
拥有强大技术团队的Starkware目前正按照他们的规划逐步开发产品：10月26日，他们官宣了已使用 STARK 证明编程语言 Cairo 写出编写完成 ZK-EVM。
同时他们也面临着一些挑战，比如zk-STARK 目前技术难度比较高，开发速度慢，开发人员少，这给生态应用的发展和留存带来了很多困难。dYdX的出走带走了项目中多数的TVL，暴露出底层基础设施对上层优质应用绑定能力不足的窘境，也让人们看到了优质应用在挑选底层链时强势的话语权。
但是由于技术的优越性，长期来说，我们仍然看好zk-rollup和STARK的发展。后期随着代币释放带来的激励效果以及网络逐渐转向去中心化，Stakware仍将会是Rollup赛道最有力的竞争者之一。
IOBC Capital
企业专栏
阅读更多
金色早8点
1435Crypto
区块律动BlockBeats
吴说区块链
金色财经
比推 Bitpush News
blockin
Block unicorn
Foresight News
Odaily星球日报
Bankless
DeFi之道
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。