前言
区块链技术实现了安全和去中心化的交易，彻底改变了包括金融、游戏和供应链管理等在内的多个行业。但区块链网络面临的主要挑战之一是可扩展性——快速且高效地处理大量交易的能力。这种可扩展性问题导致许多主流的区块链网络费用高额，且交易速度时间缓慢。要应对这一挑战，需要创新的解决方案，而StarkWare公司开发了一系列尖端技术来帮助解决这些问题。
本文探讨了什么是StarkWare、StarkWare的历史及其产品，包括ZK-STARK、StarkEx和StarkNet等。本文还调查了StarkWare、StarkNet代币和StarkNet基金会的应用程序和用例。
了解StarkWare
来源：Starkware
Starkware是一家科技公司，主要从事使用ZK-STARK技术开发密码证明系统，以提高区块链的可扩展性、安全性和隐私性。公司的目标是使用其技术在以太坊上构建L2区块链，以实现更快、更安全的交易，同时仍然保护用户的隐私。
Starkware使用了ZK-STARK技术，这一技术让一方能够证明其拥有特定信息而不泄露该信息，从而提高区块链交易的信任度和安全性。此外，该公司还提供了扩展解决方案，为用户带来了安全、快速且无缝的体验。
合作伙伴
StarkWare已与多家公司和组织协作，并建立了合作伙伴关系，这表明了其技术对区块链和密码学生态系统具有重要意义。值得注意的是，该公司与以太坊建立了合作关系，计划提供L2扩展解决方案，以提高以太坊网络的吞吐量和可扩展性，降低交易成本。此外，它也与Chainlink合作，试图将链下数据解决方案集成到自己的产品中。同时，它还与ConsenSys、dYdX和0x等其他实体展开了合作，这表明StarkWare与他人合作以实现其目标的决心。
StarkWare还与 Immutable X 建立了重要合作关系。Immutable X 专注于将以太坊网络上的不可替代代币 (NFT) 扩展解决方案作为L2解决方案。StarkWare与 Immutable X 建立合作关系，试图为以太坊网络上的NFT交易和其它交易提供速度更快、成本更低廉、更具可扩展性的解决方案。
StarkWare的历史
2018年，密码学、计算机科学和工程领域的专家团队创立了StarkWare公司。该团队成员有联合创始人Eli Ben-Sasson教授、Alessandro Chiesa教授、Michael Riabzev和Uri Kolodny等，他们均具有学术界和工业界的背景。2020年，该公司推出编程语言Cairo，这是其发展过程中的一个重要里程碑。StarkWare的第一个技术产品是StarkEx——一个专有的扩展引擎，于2020年6月在以太坊上推出。2021年11月晚些时候，StarkNet的Alpha在主网上推出，进一步扩大了公司在区块链领域的影响力。
此外，StarkWare还从红杉资本、Paradigm和Coinbase Ventures等投资者和合作伙伴处获得了大量资金，估值在2021年11月至2022年5月期间从20亿美元飙升至80亿美元。该公司一直致力于开发创新技术，以增强区块链的可扩展性、隐私性和安全性。
什么是ZK-STARK？
来源：StarkWare
可扩展的透明知识论证(Scalable Transparent ARguments of Knowledge)简称STARKs，是一种加密证明系统，能有效地证明和验证计算。其目的是提高区块链的可扩展性和隐私性，使大型计算能够在链下完成，这样成本更低；然后使用单个 STARK 证明在链上进行验证。STARK受后量子的保护，可抵抗量子计算机的攻击，因而成为有望解决区块链可扩展性和隐私问题的解决方案。
ZK-STARKs（零知识可扩展透明知识论证）由StarkWare创建，也是一种STARK，可强制执行区块链计算的集成度和隐私性。ZK-STARKs可实现将区块链将计算转移到单个链下STARK证明者，然后使用链上 STARK 验证者验证这些计算的集成度。这可同时批量处理数千笔交易，减少主区块链的负载并降低gas成本。 ZK-STARKs是透明的，不依赖于可信设置，因而比其他零知识证明系统更安全、更加去中心化。在StarkWare平台上，“STARK”和“ZK-STARK”可互换使用。
StarkWare产品
StarkWare提供StarkEx和StarkNet这两种主要产品作为扩展解决方案，两者均由该公司开发的一种编程语言Cairo提供支持。
Cairo
来源：Cairo
Cairo是一种高级编程语言，可为一般计算创建STARK可证明的程序，为StarkEx平台提供动力，以在以太坊主网上扩展应用程序。dYdX、Sorare、Immutable X、rhino.fi、Celer、Apeworx和Canvas等各种项目都使用了Cairo。此外，Cairo是StarkNet的原生智能合约语言。StarkNet是一种去中心化的有效性汇总（Validity-Rollup），旨在提高以太坊的可扩展性和隐私性。Cairo和StarkNet提供一种更有效的方式来验证区块链上的交易，有望解决以太坊网络面临的挑战。
StarkEx
来源： StarkWare
StarkWare的StarkEx是运行在以太坊主网上的L2可扩展性引擎。它提供了一个用于创建许可的专用扩展解决方案的框架。此解决方案使用STARK证明进行链下计算，成本低廉。StarkEx有一个用于扩展各种应用程序的有用应用程序流工具箱，支持一系列用例，如NFT铸造和交易、衍生品交易、AMM、现货交易、支付和DeFi 池等。dYdX、Immutable、Sorare和Celer等项目已在 StarkEx上部署了其应用程序，而StarkWare将继续添加更多应用程序流，以满足其客户和市场的需求。
StarkNet
来源：StarkNet
StarkNet是一个非许可的去中心化Validity-Rollup。它作为以太坊上的L2网络运行，让任何dApps都能在不影响以太坊的可组合性和安全性的情况下实现无限的计算规模。它在链下生成STARK证明，然后在链上验证这些证明，以此来支持扩展，同时保持L1以太坊的安全性。开发人员能使用 Starknet合约轻松部署任何业务逻辑，而StarkNet提供了以太坊级别的可组合性。
StarkNet是一个L2网络。任何用户或开发人员都可在该网络中部署以Cairo语言开发的智能合约，而StarkNet定序器批量交易并将其发送进行处理和证明。一个由大型开发人员组成的社区深度参与到StarkNet生态系统中，构建应用程序、工具和基础设施。
StarkEx和StarkNet的差异
StarkEx和StarkNet都是以太坊的扩容解决方案，且都基于STARK，但它们有不同的操作要求和互操作模式。StarkEx更适合适合StarkEx提供的APIs的自包含应用程序，而StarkNet更适合需要与其他协议同步交互或有超出StarkEx提供的需求的协议。这两种解决方案都提供可扩展性、低gas成本和安全性，但具体选择谁则取决于应用程序或协议的特定需求。
StarkWare的应用和用例
StarkWare的STARK技术扩展了区块链上的各种用例，包括NFT的大规模铸造、永续合约交易、现货交易、支付、DeFi策略、公平投票、新的AMM设计和数据管理等。借助图灵完备的编程语言Cairo，StarkWare可快速部署适用于任何用例的解决方案并处理所有项目规模。自2020年6月以来，StarkWare的解决方案StarkNet和StarkEx已在主网上结算了累计超过100B 美元的交易和数千万笔交易。
除各种用例之外，StarkWare的解决方案还在多个行业得到应用。例如，区块链足球游戏Sorare使用了StarkWare的技术，能以实惠的价格大量铸造NFT，从而节省了数百万美元的gas费。DeFi平台DeversiFi使用了StarkEx，能以比用户签署的更优价格结算交易，降低了最小订单量，并为交易者保密交易历史。此外，dYdX使用StarkEx为其永续合约提供支持，每天能处理数十亿美元的交易并将其业务增长了500倍。供应链监控、医疗信息管理、房地产记录保存和音乐版税跟踪等其他行业也可从StarkWare的解决方案中受益。
什么是StarkNet代币(STRK)？
最近，StarkWare在以太坊主网上部署了其原生代币StarkNet代币(STRK)。StarkNet 代币在 StarkNet生态系统的运作和发展中起着至关重要的作用，让用户能为网络的价值和战略方向做决定，并维护和保护网络的运营。该代币将用于进一步使生态系统去中心化，让用户能投票、抵押和支付费用。
但该公司已警告潜在投资者提防诈骗，因为这些代币目前并未出售。基金会需要时间来确定代币的分配机制。StarkWare股东、员工和独立合作伙伴软件开发商持有的代币的锁定期为四年，一年后开始逐步释放。需要注意的是，StarkNet代币是StarkNet生态系统的原生代币，且不代表StarkWare的股权或任何参与管理公司的权利。
StarkNet基金会
为推动将StarkNet构建为非许可、去中心化的Validity Rollup，网络已启动StarkNet基金会。该基金会由一个强大的跨学科七人委员会领导，每个成员都具有不同的背景和专业知识。该基金会专注于为蓬勃发展的StarkNet提供支持，实现StarkNet去中心化提案的愿景，并推动作为所有人公共利益的StarkNet共享技术的发展，在未来几年将保持这种状态。
该基金会将优先培育StarkNet用户社区，通过教育人们了解StarkNet的相关知识及技术来扩大社区，监督网络的持续发展并推进研究。它还将开发治理机制和建立去中心化排序和证明，以进一步促进StarkNet的去中心化。基金会使用初始代币供应量的50.1%启动，这确保网络资源有效部署以实现其目标。董事会成员使议案平衡、独立且体现了多学科的技能，而基金会是一个独立的实体，将为那些建设、使用和维护公共利益的人（即StarkNet协议）提供支持。
STRK代币经济学
来源： StarkWare Medium Platform
StarkNet代币的初始流通供应量为100亿枚。其动态供应量会随时间而增加，这取决于社区的决策。代币分配具体为，StarkWare投资者获得17%，核心贡献者获得32.9%，以及StarkWare授予基金会的50.1%——用于社区供应、社区回扣、研究和工作赠款、战略储备、捐赠和未分配的资金库。为让核心贡献者和投资者的利益与StarkNet社区的一致，对分配给这些群体的所有代币实行了4年线性释放的锁定期和一年的悬崖期。
使用StarkWare的好处
- 高可扩展性，每秒支持数千个事务
- 使用零知识证明保护隐私
- 降低了gas费用以提高成本效益
- 与各种区块链平台灵活集成
- 跨链交易的互操作性
- 通过高级加密算法实现高级别安全性
使用StarkWare的缺点
- 由于交易处理能力为中心化的，因而具有中心化风险。
- 实施具有复杂性，需要专业技能和知识。
- 潜在用可能缺乏理解或意识，因而上手很慢。
- 对交易类型（特别是那些需要高透明度的交易类型）有限制。
StarkWare的前景
StarkWare是零知识证明解决方案的领先供应商，可实现复杂密码算法支持的高吞吐量和低成本计算。公司的创新技术已对区块链领域带来了重大影响，未来前景一片光明。StarkWare的技术有潜力解决区块链行业面临的一些最紧迫挑战，例如可扩展性和数据隐私。行业在不断发展和演变，将对能够实现更快、更低廉和更安全交易的解决方案有很大的需求。
此外，StarkWare技术的潜在用例已在区块链以外的领域运用，例如人工智能和机器学习。这些行业在不断发展并将产生更多数据，这对安全和私有计算的需求只会增加。总的来说，StarkWare的未来充满希望。通过继续创新并与其他公司和组织合作，StarkWare有能力处于零知识证明技术的最前沿，并以令人期待的新方式推动其采用。
总结
StarkWare是一家科技公司，主要从事利用ZK-STARK技术开发密码证明系统，以提高区块链的可扩展性、安全性和隐私性。凭借ZK-STARKs，StarkWare让一方能够证明其拥有特定信息而不泄露该信息，从而提高区块链交易的信任度和安全性。StarkWare的产品Cairo、StarkEx和StarkNet为以太坊网络面临的挑战提供了有用的解决方案，提高了可扩展性、隐私和安全性，同时降低了成本。
StarkWare拥有来自投资者和合作伙伴的大量资金以及一支才华横溢的专家团队，将准备继续革新区块链行业，并推动区块链及其他领域的发展。