Verification fails on aarch64-linux-gnu but passes on aarch64-apple-darwin #304
Description
Summary
WHIR verification fails on Linux aarch64 but passes on macOS aarch64 and synced Cargo.lock.
Proof generated on linux fails verification on linux
I also tested with proof generation on macos and verifier on linux aarch and it fails as well.
Environment
- Failing: Linux aarch64 (Ubuntu 22.04, Neoverse N1 CPU)
- Working: macOS aarch64 (Apple M4)
- Branch main
- Rust: nightly-2025-10-20
After enabling verifier_panics feature, the exact failing check is :
whir/src/protocols/whir/verifier.rs:270
verify!(poly_eval * weight_eval == the_sum)