Repository navigation
Add debug-only asserts to check the 2*p relaxed modular form #1429
Description
We allow fields to be over the modulus, up to 2p. Adding debug-only asserts would be good (partially) checked documentation
{{ message }}
We allow fields to be over the modulus, up to 2p. Adding debug-only asserts would be good (partially) checked documentation
Activity
ludamad commentedon Oct 21, 2025
I think if we do this, it makes sense to do it before the external audit. I lean in favour as the code is a lot easier to read and can be useful in debug to catch a malformed field > 2p being used @ledwards2225
notnotraju commentedon Feb 26, 2026
this is a great idea.
notnotraju commentedon Mar 5, 2026
/claudebox please do this.
AztecBot commentedon Mar 5, 2026
ClaudeBox: please do this. ... workflow run
feat: add debug-only asserts for 2p coarse modular form in field arit…
notnotraju commentedon Mar 13, 2026
done
Remove mutable comptime methods from 'make_functions_uncallable'