Airbender is built on AIR constraints compiled into DEEP STARK proofs over a Mersenne31 field, supporting recursive proving and precompiled circuits, while maintaining compatibility with EVM, EraVM and WASM through ZKsync OS

Quotes that support claims

The core proving engine is based on AIR constraints compiled into highly optimized DEEP STARK proofs over a Mersenne31 prime field. The system supports custom machine configurations, precompiled circuits (e.g. Blake2s/Blake3, big-integer arithmetic), and recursive proving modes.

It was built alongside ZKsync OS, our modular operating system for ZKsync Chains which is tailored to support a wide range of execution environments, including EVM, EraVM, and WASM