原文作者：hiteshmahajan
原文编译：ChinaDeFi
StarkWare是一家ZK公司，专注于为以太坊规模化构建基于ZK的rollup解决方案。他们的第一款产品StarkEx于2020年推出，并于2021年11月发布了具有更多功能的StarkNet。
StarkEx是一个独立的ZK-rollupSaaS产品，通过智能合约为某些应用提供特定的用例，如交易(dYdX)、NFT(ImmutableX,Sorare)和DeFi(DiversiFi)。StarkNet是下一个迭代，是一个无需权限、去中心化和完全可组合的网络。可组合性指的是应用程序相互连接、协调和构建在彼此之上的能力。
技术
StarkWare构建了一个新技术，将数千笔交易压缩成一个名为STARK的单一有效性证明，并提交给以太坊L1。与SNARK相比，STARK主要有两个优势：
中央财经大学魏鹏举：推动文博行业数字化，深度融合区块链体系:12月22日，由中国人民大学指导、该校应用经济学院和创意产业技术研究院联合主办的第三届中国文化经济学术论坛在京举行。中央财经大学文化经济研究院院长魏鹏举在会上表示，在文博数字化方面，区块链的应用将越来越深入，实现文博资源由物理形态向数字时代的转化，是数字时代永续发展的“金矿”。
魏鹏举认为，要发挥整合文博数字资源的国家优势，文博数字资源总体掌握在公共机构手中，要对其进行整合。同时大力推进“区块链+”在文博文创领域的深度应用。以“十四五”国家文化大数据建设为契机，积极推进行业性文化数据资源的互联互通，推动文博行业数字化工程深度，融合我国自主可控的区块链体系。他介绍，区块链技术激活数字文化遗产研究，数字化是解决文博保护好、传承好和利用好的重要途径。全球高达60%的博物馆馆藏品面临缺乏专业维护、管理不善等问题，存在诸多风险。（封面新闻）[2021/12/23 7:58:55]
它不需要初始信任设置。
江卓尔：去中心化网络硬件能支撑的TPS不够，因此DEX深度不足&滑点损失问题无法避免:江卓尔发微博表示，1、为什么uniswap上的成交量越来越低了？本质上还是去中心化网络硬件能支撑的TPS（每秒交易次数）不够，因此Dex（去中心化交易所）深度不足&滑点损失问题无法避免。
2、世界上最重要的就是守恒定理，损失不可能凭空消失。AMM做市商（流动性挖矿）只是把用户的滑点损失，转化为农民的无常损失，因此又必须给农民发交易所“股权 / 代币 / 分红”，进而形成了一波庞氏资金盘。
3、但当庞氏破灭时，Dex还是不可能解决TPS不足的致命问题，因此Dex只能作为Cex（中心化交易所）的补充，去填补无法在Cex上币的大量代币的长尾市场。
4、在互联网络基础硬件TPS再提升100倍之前，Dex不可能挑战，更不用说取代Cex，这才是真相。
5、但注意把Dex和DeFi（去中心化金融）区分开来。DeFi有前途的赛道，是那些既需要去中心化，又对TPS要求不高的赛道，例如抵押借贷。
你让一个交易员挂单一次付1元主链手续费，撤单一次再付1元，他肯定受不了，但让一个抵押借贷者付1元主链手续费，那是完全可以接受的。并且去中心化可以解决抵押借贷商家跑路的风险，这是绝对的刚需。[2020/10/25]
有比SNARK更快的计算时间。由于所需的计算量更少，它可以将以太坊的可扩展性提高几个数量级。
四川省将推进区块链等与国有企业生产经营深度融合:近日，四川省政府办公厅印发《关于构建全省国资监管大格局协同推进国有企业改革发展的指导意见》。指导意见要求充分发挥国有企业在技术创新中的引领带动作用，加快推进产业数字化、数字产业化，协同推进5G、区块链、大数据、人工智能与国有企业生产经营深度融合。（金融界）[2020/4/24]
体系结构
StarkWare堆栈主要由共享证明者(SHARP)和验证者(存在于L1上)组成。SHARP捆绑了来自不同dapp的多个交易，并生成一个证明。然后它与L1上的验证者共享证明。这节省了成本，因为计算是在不同的应用程序之间共享的。验证者检查SHARP证明是否有效。如果是有效，那么它们将在FactRegistry共享。该应用程序可以与StarkEx接口或直接与SHARP(StarkNet应用程序)连接。
政策 | 中央印发《交通强国建设纲要》 要求推动区块链等新技术与交通行业深度融合:近日，中共中央、国务院印发了《交通强国建设纲要》，纲要提出，从2021年开始，到本世纪中叶，分两个阶段推进交通强国建设。纲要还提出将大力发展智慧交通，推动交通发展由依靠传统要素驱动向更加注重创新驱动转变。
据了解，《交通强国建设纲要》是交通领域近年来规格最高的顶层设计，而其中最大的亮点在于从中长期两个维度规划大力发展智慧交通，要求推动大数据、互联网、人工智能、区块链、超级计算等新技术与交通行业深度融合。构建综合交通大数据中心体系，深化交通公共服务和电子政务发展；构建适应交通高质量发展的标准体系，加强重点领域标准有效供给。[2019/9/25]
StarkNet的L2节点(序列器)将执行每一笔交易，并定期向以太坊主网更新状态。需要注意的是，StarkNet的交易最终性与L1绑定，这意味着L2节点必须同时验证StarkNet和以太坊。StarkNet引入了一个涉及到以太坊主网检查点的解决方案，使其能够非常快速地在rollup端实现有效的终结。因此，所有L2节点都包含一个L1完整节点。
声音 | 山东省财政厅副厅长：将推动区块链等和实体经济的深度融合:据北国网报道，在上海会计学院日前举办的“财经讲堂·济南站”上，山东省财政厅党组成员、副厅长陈祥志表示，我们会进一步的强化大数据思维，准确把握信息化和经济全球化的大势，通过国有资本的布局和结构调整，推动互联网、大数据、区块链、人工智能和实体经济的深度融合，发展数字经济，共享经济，培育新增长点，形成新动能。[2019/4/4]
此外，由于状态转换是由序列器「STARK-approved」的，从加密的角度来说，欺诈交易不可能在以太坊主网上被接受。这消除了存在于OR中的「挑战」周期的必要性。所有重建StarkNet状态所需的完整数据都发布在链上。
数据可用性
StarkNet使用Validium机制来实现数据可用性。它与ZK-rollup几乎相同，只是它保持数据在链下，而ZK-rollup和OptimisticRollup(OR)保持数据在链上。Validium只在L1上发布有效性证明，同时保持数据在链下。这使得Validium能够实现相当高的吞吐量，并降低每个交易的成本。
在链下存储数据的代价是，它需要对第三方的信任，这可能会阻止用户访问他们的余额。StarkWare的目标是通过数据可用性委员会(DAC)解决这个问题，该委员会由8个独立成员组成，他们拥有交易的副本。他们还需要通过使数据在任何时候都可用来维护这些数据。如果运营者阻止用户使用他们的资金，委员会成员将确认他们的请求是否有效。
StarkWare还计划实施一种Volition机制，用户可以选择是否需要在链上发送数据。它将数据可用性的决策从应用程序级别转移到用户级别，甚至对于单个交易也是如此。如果用户想要在链上发送一个包含所有数据的高价值NFT，他们可以支付额外的成本来将其转移到链上。这将通过ImmutableX和Sorare来实现。
Cairo编程语言
新技术带来新要求。Cairo是专门为STARK构建的一种图灵完备的编程语言。它在性能和可扩展性方面更好，但这是非常新的。许多开发人员不熟悉它，这使得现有的应用程序很难迁移到StarkNet上。由Nethermind开发的Warp是Cairotranspiler的EVM。Warp允许将Solidity合约无缝转换为Cairo。
Cairo语言的一个突破在于，它只允许一个验证者使用一个证明来确认许多不同程序执行的完整性。
StarkNetVsOR
与OR的7天等待时间相比，StarkNet不仅有更快的提款窗口，而且底层架构也有所不同。StarkNet使用的是「无状态」，你只需要在L1上存储整个状态的状态根，用户需要提供Merkle证明来访问特定的状态项。OR遵循一个「有状态」的解决方案，其中每个状态项都被记录在链上。这将导致更大的状态膨胀，并可能在未来被采用时会被证明不能很好地扩展。
就从可扩展性的角度来看，ZK-rollup比OR的性能更高，因为它们更有效地压缩数据，这意味着提交给L1时，它们的「批次大小」更小。OR的每笔交易都将数据发布到以太坊L1上，StarkEx只发布到以太坊L1以反映每个账户余额。由于这种方法，dYdX与L1的交互仅为Optimism的20%，相当于大约减少了90%的费用。
生态系统
StarkWare生态系统正在成长。随着在StarkNet上部署无需许可，许多开发者都表现出了兴趣。StarkEx的开放生态系统和丰富的文档使开发人员很容易实现它。在StarkNet上进行DeFiPooling是可能的。它允许用户在L2上存在，而DeFI仍然在它诞生的L1上，许多令人兴奋的东西正在被构建。StarkNet上已经出现了许多游戏和NFT游戏项目。
StarkNet将遵循与Optimism类似的路线：用一个序列器和有限的dapp白名单尽早启动网络，以控制启动和限制风险。最终，StarkWare希望将生态系统发展成一个StarkNet「宇宙」，同时还将网络、节点和基础设施去中心化。多个L3会在L2之上。此外，额外的层(L4等)可以建立在L3上的分形分层解决方案。
结论
StarkNet似乎解决了区块链的三难困境：可扩展性、去中心化和安全；三者可同时发生。它展示了使用ZK-rollup扩展以太坊的前景。以太坊已经拥抱了一个以rollup为中心的未来，用户在L2上交易，L1作为结算层。EIP-4488将进一步降低rollup的交易成本。拥有大量支持的StarkNet似乎是一个强大的L2未来竞争者，由于Cairo是一种不太受开发者欢迎的新语言，StarkWare能吸引多少人才还有待观察。对于Validium，我们必须信任L2的数据可用性。尽管存在这些挑战，StarkWare已经展示了如何使用STARK提供有效的解决方案来扩展以太坊。这是一个值得期待的项目。
原文链接
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。