区块大小的证明功能现已在 Starknet 主网上线。 应用程序现在可以在单笔交易中证明高达 11 亿 L2 gas 的计算量。 解锁条件：开发者可以在链下运行超出常规交易限制的逻辑，然后在 Starknet 上进行验证，只需支付证明费用，而无需支付完整的执行费用。