StarkEx is a framework for creating permissioned, application-specific scaling solutions. It is a toolbox of useful application flows that projects can use to achieve cost-effective off-chain computations. A STARK proof, which attests to the accuracy of the execution, is generated off-chain. Depending on the type of transaction, this proof can include up to 12,000–500,000 transactions. The proof is then sent to the STARK Verifier to be accepted on-chain, meaning one verification is needed for all the transactions, at an incredibly low amortized gas cost per transaction.