Need to address overflow issues raised from code review of PR #14. Also, when using field arithmetic, the Z type in Cryptol is preferred --- it handles the modulo arithmetic automatically, and provides a fast exponentiation.
Tasks:
[x] In all instances where we use[384] and Integer types for field arithmetic, replace with Z type (see code review from #14)
Need to address overflow issues raised from code review of PR #14. Also, when using field arithmetic, the
Ztype in Cryptol is preferred --- it handles the modulo arithmetic automatically, and provides a fast exponentiation.Tasks:
[384]andIntegertypes for field arithmetic, replace withZtype (see code review from #14)x != 0 mod BLS_MODULUS(https://github.com/GaloisInc/ckzg-eip-4844-verification/pull/14#discussion_r1766911767)