Ivo Kubjas
Ivo Kubjas
> Thanks @jtguibas for the contribution. I have seen the PR before, but have delayed merging it due to #1297 touching same parts of the implementation. I'll discuss with @Tabaie...
Thanks for the report! Imo it completely makes sense. I think we're going to do it some time mid-term.
The PR is ready to review - but as it is based on BLS glue PR, then the review will we dismissed if the other one will be merged, so...
Merged `main` into this PR and there are no diffs. I additionally added unit tests to be able to debug directly on traces in case necessary.
P256 is already merged through Osaka HF. This PR now only adds unit test for being able to test directly on traces.
Plan for deletion - downstream is upgraded past this and this hotfix branch can be safely removed.
It could be useful - I think we could have different formatting options: * hex * int * small integer - if value is small when considered as a negative,...
It is possible, but we currently don't have it on the roadmap. I think it could be a suitable task for external contribution though.
> > For BLS12-377 we can perform this check using native arithmetic as we constrain s1, s2, λ to all be 127 bits and we never overflow the outer curve...
Thanks for the report. Indeed I think it should be possible to use larger canonical FFT domain for doing FFT on smaller domains (by computing the canonical basis from sliced...