1.1 STARKs
STARKs（Scalable, Transparent ARgument of Knowledge）是一种可以证明和验证计算的证明系统，旨在提高以太坊的扩展性。
它允许将大型计算从链上转移到链下以降低成本，为计算的正确性生成证明，然后在链上进行少量的计算来验证证明。即验证者通过在链上执行非常少的操作来判断链下完成的计算的完整性。
L2 通过STARKs技术将多笔交易打包在一起进行数以千计的计算，然后使用单个STARK证明在链上验证它们的有效性。
该批次内的所有交易共同分担链上处理的成本，从而在继承以太坊安全性的前提下降低了Gas成本，改善用户体验。这模式与共享的士的用户平摊路费相似。
SNARKs （Succinct，Non-Interactive，Argument，Knowledge）是一个简洁的非交互式的证明。STARKs 和 SNARKs 都是ZK Rollups 的解决方案。
SNARKs 和 STARKs 对比
相比 SNARKs, STARKs具有以下三个优势：
去信任
STARKs 公开可验证随机来取代SNARKs的可信设置，减少对参与人的依赖，提高协议安全性。
更强的扩展能力
STARK 具有验证的对数压缩特性，即使底层计算的复杂性呈指数级增长，STARKs依然保持了较低的证明和验证时间，而非像SNARKs 线性增长。
更高的安全保证
STARKs 使用抗碰撞哈希值进行加密，可抗量子计算的攻击。
但是STARKs 的证明尺寸比 SNARKs 大，因此L2交易量较低时就会难以分摊证明成本，出现较大的确认延迟。但是当证明规模增加，使用STARKT的边际成本会递减，适合大规模应用。此外，相对于SNARKs，目前STARKs采用率不足，基础工具还有待完善。
L2 Rollups 除了 ZK Rollups，还有Optimistic Rollups。以下是两种方案的对比。
以80亿美元估值完成1亿美元D轮融资的StarkWare提供了两种使用 STARK 扩展以太坊的解决方案：StarkEx 和 StarkNet。
1.2 StarkEx
StarkEx 是一个需要许可的、为特定应用程序定制的扩展解决方案的框架。项目可以使用StarkEx来进行低成本的链下计算，生成证明执行正确性的STARK证明。
这样的证明包含 12,000–500,000 笔交易。最后将证明发送到链上的 STARK 验证器，验证正确后接受状态更新。
StarkEx 提供了3种数据存储方式。在 ZK-Rollup 模式下，数据存储在链上，使数据去中心化，便于用户跟踪和监督。
然而，在链上发布数据的成本高。在 Validium 模式下，数据存储在链下，低成本且不会把数据公开暴露。
但需要数据可用性委员会来监督数据是否得到妥善处理。Volition 是一种混合数据可用性模式，用户可以选择将数据放在链上还是链下。
在 StarkEx 上部署的应用程序包括永久期权 dYdX、NFT L2 Immutable、体育数字卡牌交易市场 Sorare 和多链DeFi聚合器rhino.fi。
StarkEx 适用于独立运行且适合 StarkEx API 的协议。
1.3 StarkNet
StarkNet 是一个无需许可的L2，任何人员都可以在其中部署以Cairo语言开发的智能合约。部署在 StarkNet 上的合约之间可以进行交互来构建新的可组合协议。
与应用程序负责提交交易的 StarkEx 不同，StarkNet 的排序器批量交易并发送它们进行处理和证明。
StarkNet 更适合需要与其他协议同步交互或超出 StarkEx 应用范围的协议。随着StarkNet开发的进展，基于StarkEx的应用将能够移植到StarkNet，享受可组合性。
1.4 Cairo
Cairo 是用于 STARK 证明通用计算定制的编程语言, 使开发、审查和维护代码更简单、快捷，不受EVM限制，可以抛弃以太坊的历史负担做更复杂的计算如账户抽象，在游戏开发上也更加灵活，支持全链上游戏。
StarkNet 本身不支持EVM，但从 Solidity 到 Cairo 的转译器 Warp 将有助于以太坊原生项目移植到 StarkNet，成为大规模应用的基础设施。
1.5 SHARP(shared prover) 共享证明器
SHARP 技术允许来自 StarkEx 的不同应用以及 StarkNet 上发生的交易合并成一个证明，更快填满 STARK 证明的容量，提高交易处理速度并且分担验证 L1 证明的 gas 成本。
02
StarkNet 经济模型
StarkWare已经在链下铸造了100亿个StarkNet代币。但是这些代币并不代表StarkWare的股权，也不提供任何参与StarkWare的权利或赋予任何向StarkWare提出索赔的权利。
StarkNet代币可以作为原生代币支付Gas费用，相比其他使用ETH做给Gas费用的L2，StarkNet代币更能捕获生态价值，且降低了ETH这外生代币带来的冲击。
分配给核心贡献者和投资者的代币有一年的等待期和四年的锁定期，线性释放
创始人
Eli Ben-Sasson
Eli 是StarkWare的联合创始人兼总裁，也是其董事会主席。
自从2001年获得希伯来大学理论计算机科学博士学位以来，他一直在研究密码学和计算完整性的零知识证明。
Eli是STARK、FRI和Zerocash协议的共同发明人，也是Zcash公司的创始科学家。多年来，他在普林斯顿高等研究院、哈佛大学和麻省理工学院担任研究职位。
最近曾在以色列理工学院担任计算机科学教授，他离开该职位后和伙伴共同创立了StarkWare。
Uri Kolodny
Uri 是 StarkWare 的联合创始人兼首席执行官，也是其董事会成员。
他拥有希伯来大学计算机科学学士学位（优等生）和麻省理工学院斯隆管理学院的MBA学位。Uri是一位连续创业者，曾共同创立了几家科技公司，包括Mondria（开发用于大数据可视化的工具）。
之前，Uri还曾在两家以色列风险投资公司帮忙孵化项目，并在麦肯锡公司担任分析师。
05
竞争对手
StarkNet与 zkSync、Optimism、Arbitrum 因为其受到的关注度被称为L2的四大天王
