zkSync Era 核心的错误修复版本：增加了 airbender_prover 中证明的体大小限制。