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.