4101648253
We ensure we are below the modulus by just using a zero final byte for each field element encoding. In the test, I do not understand why changing the final (zero) byte causes verification to succeed instead of failing. But this is why the change is now to the first byte. |
||
---|---|---|
.. | ||
Makefile | ||
ckzg.c | ||
fft.py | ||
kzg_proofs.py | ||
multicombs.py | ||
py_ecc_tests.py | ||
tests.py | ||
tiny_trusted_setup.txt |