StarkEx 是一个用于创建许可的、特定于应用程序的扩展解决方案的框架。 StarkEx 是一个包含有用应用程序流程的工具箱，项目可以使用它来实现廉价的链下计算。证明执行正确性的 STARK 证明是在链下生成的。这样的证明最多可以包括 12,000–500,000 笔交易（取决于交易类型）。然后将证明发送给 STARK 验证者以在链上被接受。这意味着对所有交易进行一次验证——每笔交易的摊销汽油成本极低。