EVM Verification of WHIR over a 31-bit FieldAlex KuzminA standalone WHIR verifier over the 31-bit KoalaBear field can verify a 2^22 polynomial opening on EVM with 100-bit Johnson-bound soundness for 5.65 MGas in software, or 4.33 MGas with experimental extension-field precompiles. The small field mainly saves calldata; execution remains dominated by extension-field row evaluation.
