Mira: Building Trustless Verification for AI Outputs - Rollup News