Airbender outperforms rival zkVMs in benchmark tests, proving blocks 4–6x faster than SP1 Turbo and 8–11x faster than RiscZero in end-to-end proof generation, including recursion