Commit 2024-10-21 09:56 ff1b8867

chore: add test to keep powering in ZMod fast (#17996) Thanks to #8885 we can now evaluate powers in ZMod M much more efficiently for large M. To guard against reversion, we add a test that for a chosen 1024-bit prime and base we should satisfy Fermat's Little Theorem when #eval is used.